License single eBooks

Your results

View Cart

Web Services and Formal Methods

9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Maurice H. ter Beek; Niels Lohmann

978-3-642-38230-7

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€90 €81
10% OFF
Hybrid Systems Biology

6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

Milan Češka; Nicola Paoletti

978-3-030-28042-0

2019
Edition 1
€100 €90
10% OFF
Dependable Computer Systems and Networks

Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3–7, 2023, Brunów, Poland

Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk

978-3-031-37720-4

2023
Edition 1
- Presents recent research in Complex Systems and Dependability
- Provides general aspects and dependability of systems, networks theory, and communication technology
- Covers proceedings of the Eighteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX)
€380 €342
10% OFF
Relativistic Astrophysics and Cosmology – Einstein’s Legacy

Proceedings of the MPE/USM/MPA/ESO Joint Astronomy Conference Held in Munich, Germany, 7-11 November 2005

Bernd Aschenbach; Vadim Burwitz; Günther Hasinger; Bruno Leibundgut

978-3-540-74713-0

2007
Edition 1
- Up-to-date reference on the theory of gravity, relativistic astrophysics and cosmology
€180 €162
10% OFF
Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Peter Baumgartner; Reiner Hähnle; Joachim Posegga

978-3-540-49235-1

1995
Edition 1
€100 €90
10% OFF
Advances in Multimedia Modeling

15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings.

Benoit Huet; Alan Smeaton; Ketan Mayer-Patel; Yannis Avrithis

978-3-540-92892-8

2009
Edition 1
€100 €90
10% OFF
Artificial Intelligence Applications and Innovations

6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010, Proceedings

Harris Papadopoulos; Andreas S. Andreou; Max Bramer

978-3-642-16239-8

2010
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€180 €162
10% OFF
Information Security and Digital Forensics

First International Conference, ISDF 2009, London, United Kingdom, September 7-9, 2009, Revised Selected Papers

Dasun Weerasinghe

978-3-642-11530-1

2010
Edition 1
€100 €90
10% OFF
Computer Animation and Social Agents

37th International Conference, CASA 2024, Wuhan, China, June 5–7, 2024, Revised Selected Papers, Part I

Nadia Magnenat Thalmann; Xinrong Hu; Bin Sheng; Daniel Thalmann; Tao Peng; Weiliang Meng; Jin Huang; Lei Zhu; Xiong Wei

978-981-96-2681-6

2025
Edition 1
€160 €144
10% OFF
Electronic Participation

13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7–9, 2021, Proceedings

Noella Edelmann; Csaba Csáki; Sara Hofmann; Thomas J. Lampoltshammer; Laura Alcaide Muñoz; Peter Parycek; Gerhard Schwabe; Efthimios Tambouris

978-3-030-82824-0

2021
Edition 1
€100 €90
10% OFF
Service-Oriented and Cloud Computing

5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Marco Aiello; Einar Broch Johnsen; Schahram Dustdar; Ilche Georgievski

978-3-319-44482-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems

International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers

Tom Wagner; Omer F. Rana

978-3-540-47772-3

2001
Edition 1
€100 €90
10% OFF
Interactive Storytelling

14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7–10, 2021, Proceedings

Alex Mitchell; Mirjam Vosmeer

978-3-030-92300-6

2021
Edition 1
€180 €162
10% OFF
Human Language Technology. Challenges of the Information Society

Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers

Zygmunt Vetulani; Hans Uszkoreit

978-3-642-04235-5

2009
Edition 1
€100 €90
10% OFF
Computer Science - Theory and Applications

Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings

Edward A. Hirsch; Alexander A. Razborov; Alexei Semenov; Anatol Slissenko

978-3-540-79709-8

2008
Edition 1
€100 €90
10% OFF
Responsive Computing

A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

Miroslaw Malek

978-1-4615-2786-2

1994
Edition 1
€180 €162
10% OFF
History of Computing: Software Issues

International Conference on the History of Computing, ICHC 2000 April 5–7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany

Ulf Hashagen; Reinhard Keil-Slawik; Arthur L. Norberg

978-3-662-04954-9

2002
Edition 1
- An invited group of well-known historians, sociologists, and computer scientists were invited to present papers and comments about issues in the history of software
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth

IFIP WG 5.7 International Conference, APMS 2015, Tokyo, Japan, September 7-9, 2015, Proceedings, Part I

Shigeki Umeda; Masaru Nakano; Hajime Mizuyama; Nironori Hibino; Dimitris Kiritsis; Gregor von Cieminski

978-3-319-22756-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Mobile Multimedia Communications

7th International ICST Conference, MOBIMEDIA 2011, Calgari, Italy, September 5-7, 2011, Revised Selected Papers

Luigi Atzori; Jaime Delgado; Daniel Giusto

978-3-642-30419-4

2012
Edition 1
- Fast conference proceeding
- Up to date results
- State-of-the-art report
€100 €90
10% OFF
Magnetic Field Effect on Biological Systems

based on the Proceedings of the Biomagnetic Effects Workshop held at Lawrence Berkeley Laboratory University of California, on April 6–7, 1978

T. S. Tenforde

978-1-4615-9143-6

1979
Edition 1
€100 €90
10% OFF
Logic Programming in Action

Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

Gerard Comyn; Norbert E. Fuchs; Michael J. Ratcliffe

978-3-540-47312-1

1992
Edition 1
€100 €90
10% OFF
Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Miriam Leeser; Geoffrey Brown

978-0-387-34801-8

1990
Edition 1
€100 €90
10% OFF
Advances in Services Computing

9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings

Lina Yao; Xia Xie; Qingchen Zhang; Laurence T. Yang; Albert Y. Zomaya; Hai Jin

978-3-319-26979-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Benchmarking, Measuring, and Optimizing

14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Ana Gainaru; Ce Zhang; Chunjie Luo

978-3-031-31180-2

2023
Edition 1
€110 €99
10% OFF
Grid and Cooperative Computing

Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II

Minglu Li; Xian-He Sun; Qianni Deng; Jun Ni

978-3-540-24680-0

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Theory of Cryptography

Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings

Shai Halevi; Tal Rabin

978-3-540-32732-5

2006
Edition 1
€180 €162
10% OFF
DNA Computing

10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

Claudio Ferretti; Giancarlo Mauri; Claudio Zandron

978-3-540-31844-6

2005
Edition 1
€100 €90
10% OFF
Evolutionary Multi-Criterion Optimization

13th International Conference, EMO 2025, Canberra, ACT, Australia, March 4–7, 2025, Proceedings, Part II

Hemant Singh; Tapabrata Ray; Joshua Knowles; Xiaodong Li; Juergen Branke; Bing Wang; Akira Oyama

978-981-96-3538-2

2025
Edition 1
€114 €103
10% OFF
Languages and Compilers for Parallel Computing

23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Keith Cooper; John Mellor-Crummey; Vivek Sarkar

978-3-642-19595-2

2011
Edition 1
- unique visibility
- state-of-the-art research
- fast-track conference proceedings
€100 €90
10% OFF
Group Decision and Negotiation: A Multidisciplinary Perspective

20th International Conference on Group Decision and Negotiation, GDN 2020, Toronto, ON, Canada, June 7–11, 2020, Proceedings

Danielle Costa Morais; Liping Fang; Masahide Horita

978-3-030-48641-9

2020
Edition 1
€100 €90
10% OFF
Autonomous Systems – Self-Organization, Management, and Control

Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008

Bernd Mahr; Huanye Sheng

978-1-4020-8889-6

2008
Edition 1
- Brings together the state of the art in the field of autonomous systems
- Springer has published the previous proceedings in the past and this volume will keep the readership of the earlier volumes up-to-date
€180 €162
10% OFF
Theory of Cryptography

20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part II

Eike Kiltz; Vinod Vaikuntanathan

978-3-031-22365-5

2022
Edition 1
€320 €288
10% OFF
Advances in Quantitative Ethnography

6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part II

Yoon Jeon Kim; Zachari Swiecki

978-3-031-76332-8

2024
Edition 1
€150 €135
10% OFF
Advances in Microwave and Radio Frequency Processing

Report from the 8th International Conference on Microwave and High-Frequency Heating held in Bayreuth, Germany, September 3-7, 2001

M. Willert-Porada

978-3-540-32944-2

2006
Edition 1
- Contains selected topics from the 8th International Conference of microwave and high frequency heating
- Deals with application of radiation of 300 MHz to 300 GHz frequency to synthesis, heating or ionisation of matter, and also with generation, transmission and detection of microwave radiation
- Written from experts as an overview for non-experts and for the synergy of specialists in different fields
- Includes supplementary material: sn.pub/extras
€578 €520
10% OFF
The Practice of Enterprise Modeling

5th IFIP WG 8.1 Working Conference, PoEM 2012, Rostock, Germany, November 7-8, 2012, Proceedings

Kurt Sandkuhl; Ulf Seigerroth; Janis Stirna

978-3-642-34549-4

2012
Edition 1
- Fast track proceedings
€100 €90
10% OFF
Advances in Visual Computing

15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5–7, 2020, Proceedings, Part I

George Bebis; Zhaozheng Yin; Edward Kim; Jan Bender; Kartic Subr; Bum Chul Kwon; Jian Zhao; Denis Kalkofen; George Baciu

978-3-030-64556-4

2020
Edition 1
€180 €162
10% OFF
Intensivtherapie im Alter

Bericht über das Symposion über Anaesthesie und Intensivtherapie im Alter am 6. und 7. Oktober in Mainz

K. Lang; R. Frey; M. Halmagyi

978-3-662-00953-6

1974
Edition 1
€201 €181
10% OFF
Advancements in Smart Computing and Information Security

Second International Conference, ASCIS 2023, Rajkot, India, December 7–9, 2023, Revised Selected Papers, Part I

Sridaran Rajagopal; Kalpesh Popat; Divyakant Meva; Sunil Bajeja

978-3-031-58604-0

2024
Edition 1
€479 €431
10% OFF
Simulation Science

Third International Workshop, SimScience 2025, Clausthal-Zellerfeld, Germany, May 7–9, 2025, Revised Selected Papers

Nina Merkert; Alexander Herzog

978-3-032-29720-4

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Not published yet

Available from
2026-07-28
Turbulence, Dynamos, Accretion Disks, Pulsars and Collective Plasma Processes

First Kodai-Trieste Workshop on Plasma Astrophysics held at the Kodaikanal Observatory, India, August 27 - September 7, 2007

S.S. Hasan; R. Gangadhara; V. Krishan

978-1-4020-8868-1

2008
Edition 1
- Provides and up to date review of the field
- Each chapter presents research problems and contains a pedagogical component
- Includes supplementary material: sn.pub/extras
€400 €360
10% OFF
HCI International 2015 - Posters’ Extended Abstracts

International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I

Constantine Stephanidis

978-3-319-21380-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Geographical Information Systems Theory, Applications and Management

6th International Conference, GISTAM 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers

Cédric Grueau; Robert Laurini; Lemonia Ragia

978-3-030-76374-9

2021
Edition 1
€150 €135
10% OFF
Trust Management VII

7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013, Proceedings

Carmen Fernandez-Gago; Fabio Martinelli; Siani Pearson; Isaac Agudo

978-3-642-38323-6

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Group Theory in Non-Linear Problems

Lectures Presented at the NATO Advanced Study Institute on Mathematical Physics, held in Istanbul, Turkey, August 7–18, 1972

P. Barut

978-94-010-2144-9

1974
Edition 1
€100 €90
10% OFF
Progress in Cryptology – LATINCRYPT 2012

2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012, Proceedings

Alejandro Hevia; Gregory Neven

978-3-642-33481-8

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
e-Business and Telecommunications

6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers

Mohammad S. Obaidat; Joaquim Filipe

978-3-642-20077-9

2011
Edition 1
- Fast-track conference proceedings.
- State-of-the-art research.
- Up-to-date results
€100 €90
10% OFF
Natural Language Processing and Chinese Computing

14th National CCF Conference, NLPCC 2025, Urumqi, China, August 7–9, 2025, Proceedings, Part III

Xian-Ling Mao; Zhaochun Ren; Muyun Yang

978-981-95-3349-7

2026
Edition 1
€180 €162
10% OFF
Security and Privacy in Cyber-Physical Systems and Smart Vehicles

Second EAI International Conference, SmartSP 2024, New Orleans, LA, USA, November 7–8, 2024, Proceedings

Xiali Hei; Luis Garcia; Taegyu Kim; Kyungtae Kim

978-3-031-93354-7

2025
Edition 1
€120 €108
10% OFF
Extreme Programming and Agile Methods - XP/Agile Universe 2002

Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings

Don Wells; Lauris Williams

978-3-540-45672-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Recent Trends in Image Processing and Pattern Recognition

6th International Conference, RTIP2R 2023, Derby, UK, December 7–8, 2023, Revised Selected Papers, Part I

KC Santosh; Aaisha Makkar; Myra Conway; Ashutosh K. Singh; Antoine Vacavant; Anas Abou el Kalam; Mohamed-Rafik Bouguelia; Ravindra Hegadi

978-3-031-53082-1

2024
Edition 1
€180 €162
10% OFF

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.