License single eBooks

Your results

View Cart

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho; Peter Csaba Ölveczky

978-3-319-29510-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part V

Huayong Yang; Honghai Liu; Jun Zou; Zhouping Yin; Lianqing Liu; Geng Yang; Xiaoping Ouyang; Zhiyong Wang

978-981-99-6495-6

2023
Edition 1
€180
Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

Andy Schürr; Dániel Varró; Gergely Varró

978-3-642-34176-2

2012
Edition 1
- High quality selected paper
- Unique visibility
- State of the art research
€90
Fast Software Encryption

17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 Revised Selected Papers

Seokhie Hong; Tetsu Iwata

978-3-642-13858-4

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies

First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

Bo Chen; Mike Paterson; Guochuan Zhang

978-3-540-74450-4

2007
Edition 1
€100
Web Technologies and Applications

16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings

Lei Chen; Yan Jia; Timos Sellis; Guanfeng Liu

978-3-319-11116-2

2014
Edition 1
€100
Extended Reality

International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part IV

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71713-0

2024
Edition 1
€114
Intelligent Networked Things

5th China Conference, CINT 2022, Urumqi, China, August 7-8, 2022, Revised Selected Papers

Lin Zhang; Wensheng Yu; Haijun Jiang; Yuanjun Laili

978-981-19-8915-5

2022
Edition 1
€180
Large-Scale Scientific Computing

13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers

Ivan Lirkov; Svetozar Margenov

978-3-030-97549-4

2022
Edition 1
€180
Advances in Cryptology - ASIACRYPT 2008

14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008

Josef Pawel Pieprzyk

978-3-540-89255-7

2008
Edition 1
€100
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Manjunath Gorentla Venkata; Neena Imam; Swaroop Pophale

978-3-319-73814-7

2018
Edition 1
€80
Smart Card Research and Advanced Applications

13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers

Marc Joye; Amir Moradi

978-3-319-16763-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Technikphilosophie in der Diskussion

Ergebnisse des deutsch-amerikanischen Symposiums in Bad Homburg (W. Reimers-Stiftung) 7.–11. April 1981

Friedrich Rapp; Paul T. Durbin

978-3-322-89413-7

1982
Edition 1
€201
Middleware 2012

ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings

Priya Narasimhan; Peter Triantafillou

978-3-642-35170-9

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Emerging Technology Trends in Electronics, Communication and Networking

Third International Conference, ET2ECN 2020, Surat, India, February 7–8, 2020, Revised Selected Papers

Shilpi Gupta; Jignesh N. Sarvaiya

978-981-15-7219-7

2020
Edition 1
€100
Coherence and Quantum Optics VII

Proceedings of the Seventh Rochester Conference on Coherence and Quantum Optics, held at the University of Rochester, June 7–10, 1995

J.H. Eberly; L. Mandel; E. Wolf

978-1-4757-9742-8

1996
Edition 1
€400
The Semantic Web

Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings

Jeff Z. Pan; Huajun Chen; Hong-Gee Kim; Juanzi Li; Zhe Wu; Ian Horrocks; Riichiro Mizoguchi; Zhaohui Wu

978-3-642-29923-0

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Computer Vision – ECCV 2012

12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012. Proceedings, Part IV

Andrew Fitzgibbon; Svetlana Lazebnik; Pietro Perona; Yoichi Sato; Cordelia Schmid

978-3-642-33765-9

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€180
Advances in Neural Computation, Machine Learning, and Cognitive Research III

Selected Papers from the XXI International Conference on Neuroinformatics, October 7-11, 2019, Dolgoprudny, Moscow Region, Russia

Boris Kryzhanovsky; Witali Dunin-Barkowski; Vladimir Redko; Yury Tiumentsev

978-3-030-30425-6

2020
Edition 1
- Reports on advanced theories and applications of artificial neural networks
- Focuses on problems in neuroscience, systems biophysics, cognitive research and adaptive control
- Merges topics in neurobiology, machine learning and evolutionary programming
€280
Communication Systems and Networks

10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers

Subir Biswas; Animesh Mukherjee; Mun Choon Chan; Sandip Chakraborty; Abhinav Kumar; Giridhar Mandyam; Rajeev Shorey

978-3-030-10659-1

2019
Edition 1
€100
Social Robotics

15th International Conference, ICSR 2023, Doha, Qatar, December 3–7, 2023, Proceedings, Part II

Abdulaziz Al Ali; John-John Cabibihan; Nader Meskin; Silvia Rossi; Wanyue Jiang; Hongsheng He; Shuzhi Sam Ge

978-981-99-8718-4

2024
Edition 1
€150
Blockchain and Trustworthy Systems

Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers

Zibin Zheng; Hong-Ning Dai; Xiaodong Fu; Benhui Chen

978-981-15-9213-3

2020
Edition 1
€180
Modeling and Simulation in Engineering, Economics, and Management

International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013, Proceedings

María Ángeles Fernández-Izquierdo; María Jesús Muñoz-Torres; Raúl León

978-3-642-38279-6

2013
Edition 1
- Proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management
€90
Parallel Computational Technologies

11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

Leonid Sokolinsky; Mikhail Zymbler

978-3-319-67035-5

2017
Edition 1
€100
Dynamic Data-Driven Environmental Systems Science

First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers

Sai Ravela; Adrian Sandu

978-3-319-25138-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Mobile Computing, Applications, and Services

5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers

Gerard Memmi; Ulf Blanke

978-3-319-05452-0

2014
Edition 1
€100
Hyperfine Interactions (C)

Proceedings of the International Conference on the Applications of the Mössbauer Effect, (ICAME 2001) September 2–7, 2001, Oxford, U.K.

Michael F. Thomas; John M. Williams; Terence C. Gibb

978-94-010-0281-3

2002
Edition 1
€280
Nuclear Magnetic Resonance Spectroscopy in Molecular Biology

Proceedings of the Eleventh Jerusalem Symposium on Quantum Chemistry and Biochemistry Held in Jerusalem, Israäl, April 3–7, 1978

A. Pullman

978-94-009-9882-7

1978
Edition 1
€180
Advances in Fashion and Design Research

Proceedings of the 5th International Fashion and Design Congress, CIMODE 2022, July 4-7, 2022, Guimarães, Portugal

Ana Cristina Broega; Joana Cunha; Hélder Carvalho; Bernardo Providência

978-3-031-16773-7

2023
Edition 1
- Reports on research and practice in design, fashion, and fashion communication
- Describes digital and sustainable strategies for the fashion industry
- Highlights new strategies for fashion design, marketing, training and education
€400
Risks and Security of Internet and Systems

17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers

Slim Kallel; Mohamed Jmaiel; Mohammad Zulkernine; Ahmed Hadj Kacem; Frédéric Cuppens; Nora Cuppens

978-3-031-31108-6

2023
Edition 1
€220
Languages, Methodologies, and Development Tools for Multi-Agent Systems

Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

Mehdi Dastani; Amal El Fallah Seghrouchni; Joao Leite; Paolo Torroni

978-3-642-13338-1

2010
Edition 1
€100
Mathematical Modeling for Data Science

N2ADS, Athens, Greece, April, 7–8, 2025 and M2A25, Marrakech, Morocco, February, 18–20, 2025

Abdesslem Bentbib; Khalide Jbilou; Marilena Mitrouli

978-3-032-20505-6

2026
Edition 1
- Covers hot topics in data science
- Considers applications in engineering, industry, environment, medical imaging
- Provides mathematical foundation of machine learning
Not published yet

Available from
2026-05-04
Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

978-3-540-48257-4

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
High-Speed Electronics

Basic Physical Phenomena and Device Principles Proceedings of the International Conference, Stockholm, Sweden, August 7–9, 1986

Bengt Källbäck; Heinz Beneking

978-3-642-82979-6

1986
Edition 1
€180
Web, Web-Services, and Database Systems

NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers

Akmal Chaudhri; Mario Jeckle; Erhard Rahm; Rainer Unland

978-3-540-36560-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II

Wray Buntine; Marko Grobelnik; Dunja Mladenic; John Shawe-Taylor

978-3-642-04174-7

2009
Edition 1
€180
Computer Vision – ECCV 2012

12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III

Andrew Fitzgibbon; Svetlana Lazebnik; Pietro Perona; Yoichi Sato; Cordelia Schmid

978-3-642-33712-3

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€180
Experimental Algorithms

10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings

Panos M. Pardalos; Steffen Rebennack

978-3-642-20662-7

2011
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the art report
€100
Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

James L. Rash; Christopher A. Rouff; Walter Truszkowski; Diana Gordon; Michael G. Hinchey

978-3-540-45484-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Intelligent Computing Systems

5th International Symposium, ISICS 2024, Sharjah, United Arab Emirates, November 6–7, 2024, Proceedings

Asad Safi; Anabel Martin-Gonzalez; Carlos Brito-Loeza; Victor Castañeda-Zeman

978-3-031-82931-4

2025
Edition 1
€150
Computer Security - ESORICS 2014

19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part I

Miroslaw Kutylowski; Jaideep Vaidya

978-3-319-11203-9

2014
Edition 1
€100
Knowledge Science, Engineering and Management

18th International Conference, KSEM 2025, Macao, China, August 4–7, 2025, Proceedings, Part VI

Tianqing Zhu; Wanlei Zhou; Congcong Zhu

978-981-95-3072-4

2026
Edition 1
€160
A Geography of Public Relations Trends

Selected Proceedings of the 10th Public Relations World Congress “Between People and Power”, Amsterdam 3 – 7 June 1985

E. Denig; A. van der Meiden

978-94-017-0575-2

1985
Edition 1
€100
Computational Intelligence Methods for Bioinformatics and Biostatistics

14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Massimo Bartoletti; Annalisa Barla; Andrea Bracciali; Gunnar W. Klau; Leif Peterson; Alberto Policriti; Roberto Tagliaferri

978-3-030-14160-8

2019
Edition 1
€100
Human Centered Computing

4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers

Yong Tang; Qiaohong Zu; José G. Rodríguez García

978-3-030-15127-0

2019
Edition 1
€100
Agile Methods

7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers

Tiago Silva da Silva; Bernardo Estácio; Josiane Kroll; Rafaela Mantovani Fontana

978-3-319-55907-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computer Vision -- ECCV 2006

9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV

Aleš Leonardis; Horst Bischof; Axel Pinz

978-3-540-33839-0

2006
Edition 1
€180
Neural Information Processing

20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

Minho Lee; Akira Hirose; Zeng-Guang Hou; Rhee Man Kil

978-3-642-42042-9

2013
Edition 1
- Up-to-date results
- State-of-the-art research
- Fast-track conference proceedings
€100
System Modeling and Optimization

23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

Adam Korytowski; Maciej Szymkat; Kazimierz Malanowski; Wojciech Mitkowski

978-3-642-04802-9

2009
Edition 1
€400
Computing Science, Communication and Security

Second International Conference, COMS2 2021, Gujarat, India, February 6–7, 2021, Revised Selected Papers

Nirbhay Chaubey; Satyen Parikh; Kiran Amin

978-3-030-76776-1

2021
Edition 1
€100

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.