License single eBooks

Your results

View Cart

Intelligent Transport Systems

7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Ana Lucia Martins; Joao C. Ferreira; Alexander Kocian; Ulpan Tokkozhina; Berit Irene Helgheim; Svein Bråthen

978-3-031-49379-9

2024
Edition 1
€150 €135
10% OFF
Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Bernhard Beckert; Ferruccio Damiani; Dilian Gurov

978-3-642-31762-0

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€90 €81
10% OFF
Testbeds and Research Infrastructures for the Development of Networks and Communications

14th EAI International Conference, TridentCom 2019, Changsha, China, December 7-8, 2019, Proceedings

Honghao Gao; Kuang Li; Xiaoxian Yang; Yuyu Yin

978-3-030-43215-7

2020
Edition 1
€100 €90
10% OFF
Future Access Enablers for Ubiquitous and Intelligent Infrastructures

5th EAI International Conference, FABULOUS 2021, Virtual Event, May 6–7, 2021, Proceedings

Dragan Perakovic; Lucia Knapcikova

978-3-030-78459-1

2021
Edition 1
€100 €90
10% OFF
Computational Modeling of Objects Represented in Images

Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings

Reneta P. Barneva; Valentin E. Brimkov; Herbert A. Hauptman; Renato M. Natal Jorge; Joao Tavares

978-3-642-12712-0

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art results
€100 €90
10% OFF
Algorithms and Data Structures

14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings

Frank Dehne; Jörg-Rüdiger Sack; Ulrike Stege

978-3-319-21840-3

2015
Edition 1
€100 €90
10% OFF
Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Sergei Artemov; Anil Nerode

978-3-030-36755-8

2020
Edition 1
€100 €90
10% OFF
Intelligent Information and Database Systems

6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I

Ngoc-Thanh Nguyen; Boonwat Attachoo; Bogdan Trawinski; Kulwadee Somboonviwat

978-3-319-05476-6

2014
Edition 1
€180 €162
10% OFF
Molecular Recognition and Inclusion

Proceedings of the Ninth International Symposium on Molecular Recognition and Inclusion, held at Lyon, 7–12 September 1996

A.W. Coleman

978-94-011-5288-4

1998
Edition 1
€400 €360
10% OFF
e-Infrastructure and e-Services for Developing Countries

8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings

Tegawendé F. Bissyande; Oumarou Sie

978-3-319-66742-3

2018
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
UNIX

Eine Einführung in Begriffe und Kommandos von UNIX — Version 7, bis System V.3

Angelika Amon; Jürgen Gulbins

978-3-642-97109-9

1988
Edition 3
€201 €181
10% OFF
Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Aarti Gupta; Sharad Malik

978-3-540-70545-1

2008
Edition 1
€180 €162
10% OFF
Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Cyrille Artho; Peter Csaba Ölveczky

978-3-319-17581-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Smart Grid and Internet of Things

9th EAI International Conference, SGIoT 2025, Taichung, Taiwan, December 6–7, 2025, Proceedings

Der-Jiunn Deng; Jyh-Cheng Chen

978-3-032-34048-1

2027
Edition 1
Not published yet

Available from
2026-08-30
Security and Privacy in New Computing Environments

Third EAI International Conference, SPNCE 2020, Lyngby, Denmark, August 6-7, 2020, Proceedings

Ding Wang; Weizhi Meng; Jinguang Han

978-3-030-66922-5

2021
Edition 1
€100 €90
10% OFF
Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Ugo Montanari; Donald Sannella; Roberto Bruni

978-3-540-75336-0

2007
Edition 1
€100 €90
10% OFF
Algorithms and Data Structures

16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings

Zachary Friggstad; Jörg-Rüdiger Sack; Mohammad R Salavatipour

978-3-030-24766-9

2019
Edition 1
€100 €90
10% OFF
Generative and Transformational Techniques in Software Engineering II

International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

Ralf Lämmel; Joost Visser; João Saraiva

978-3-540-88643-3

2008
Edition 1
€419 €377
10% OFF
Artificial Life and Computational Intelligence

First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Stephan Chalup; Alan D. Blair; Marcus Randall

978-3-319-14803-8

2015
Edition 1
€100 €90
10% OFF
Requirements Engineering: Foundation for Software Quality

20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Camille Salinesi; Inge van de Weerd

978-3-319-05843-6

2014
Edition 1
€100 €90
10% OFF
Regulation of Cerebral Blood Flow and Metabolism. Neurosurgical Treatment of Epilepsy. Rehabilitation in Neurosurgery

Proceedings of the 37th Annual Meeting of the Deutsche Gesellschaft für Neurochirurgie, Bonn, May 4–7, 1986

Rolf Wüllenweber; Margareta Klinger; Mario Brock

978-3-642-71793-2

1987
Edition 1
€320 €288
10% OFF
Rapid Methods and Automation in Microbiology and Immunology

Fourth International Symposium on Rapid Methods and Automation in Microbiology and Immunology, Berlin, June 7–10, 1984

K.-O. Habermehl

978-3-642-69943-6

1985
Edition 1
€180 €162
10% OFF
Information Security and Privacy

19th Australasian Conference, ACISP 2014, Wollongong, NSW, Australia, July 7-9, 2014. Proceedings

Willy Susilo; Yi Mu

978-3-319-08344-5

2014
Edition 1
€100 €90
10% OFF
Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Sharon Shoham; Yakir Vizel

978-3-031-13185-1

2022
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Advances in Databases and Information Systems

Second East European Symposium, ADBIS '98, Poznan, Poland, September 7-10, 1998, Proceedings

Witold Litwin; Tadeusz Morzy; Gottfried Vossen

978-3-540-68309-4

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Advances in Bionanomaterials

Selected Papers from the 2nd Workshop in Bionanomaterials, BIONAM 2016, October 4-7, 2016, Salerno, Italy

Stefano Piotto; Federico Rossi; Simona Concilio; Ernesto Reverchon; Giuseppe Cattaneo

978-3-319-62027-5

2018
Edition 1
- Reports on innovative methods for the design of bionanomaterials
- Bridges the gap between wet-lab research and computational methods
- Discusses materials in medicine, biological materials, semi-artificial materials and smart materials
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
The Cosmic Dynamo

Proceedings of the 157th Symposium of the International Astronomical Union, Held in Potsdam, Germany, September 7–11, 1992

F. Krause; K.-H. Rädler; G. Rüdiger

978-94-011-0772-3

1993
Edition 1
€280 €252
10% OFF
Wired/Wireless Internet Communication

11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings

Vassilis Tsaoussidis; Andreas J. Kassler; Yevgeni Koucheryavy; Abdelhamid Mellouk

978-3-642-38401-1

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€90 €81
10% OFF
Text, Speech and Dialogue

15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012, Proceedings

Petr Sojka; Aleš Horak; Ivan Kopecek; Karel Pala

978-3-642-32790-2

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

International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part III

Mark Zhou

978-3-642-23065-3

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€180 €162
10% OFF
Artificial Intelligence and Soft Computing

17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I

Leszek Rutkowski; Rafał Scherer; Marcin Korytkowski; Witold Pedrycz; Ryszard Tadeusiewicz; Jacek M. Zurada

978-3-319-91253-0

2018
Edition 1
€180 €162
10% OFF
Software Architecture

9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Danny Weyns; Raffaela Mirandola; Ivica Crnkovic

978-3-319-23727-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Bericht über die Untersuchungen des Berliner Leitungswassers in der Zeit vom 1. Juni 1885 bis 1. April 1886 ausgeführt im hygienischen Institut der Universität Berlin

Robert Koch

978-3-662-40103-3

1887
Edition 1
€187 €168
10% OFF
Scientific Basis for Nuclear Waste Management

Volume 1 Proceedings of the Symposium on “Science Underlying Radioactive Waste Management,” Materials Research Society Annual Meeting, Boston, Massachusetts, November 28–December 1, 1978

Gregory J. McCarthy

978-1-4615-9107-8

1979
Edition 1
€180 €162
10% OFF
IoT-Enabled Energy Efficiency Assessment of Renewable Energy Systems and Micro-grids in Smart Cities

Harnessing the Power of IoT to Create Sustainable and Efficient Urban Environments Volume 1

Mustapha Hatti

978-3-031-60629-8

2024
Edition 1
- Includes recent research on Artificial Intelligence in Renewable Energetic Systems
- Features the proceedings of the 7th International Conference on Artificial Intelligence in Renewable Energetic Systems
- Written by experts in the field
€459 €413
10% OFF
Advances in Artificial-Business Analytics and Quantum Machine Learning

Select Proceedings of the 3rd International Conference, Com-IT-Con 2023, Volume 1

KC Santosh; Sandeep Kumar Sood; Hari Mohan Pandey; Charu Virmani

978-981-97-2508-3

2024
Edition 1
- Discusses applications of new, emerging techniques for practitioners and researchers
- Highlights trends, perspectives, and prospects in cloud and parallel computing
- Includes selected papers from the 3rd International Conference on COM-IT-CON 2023
€340 €306
10% OFF
Artificial Intelligence and its Practical Applications

Proceedings of the 2nd International Conference on Artificial Intelligence (I2COMSAPP’25), Volume 1

Yahya Mohamed Elhadj; Anis Koubaa; Farid Meziane; Mohamed Deriche; Mohamed Ould-Elhassen Aoueileyine

978-3-032-22032-5

2026
Edition 1
- Presents recent research on Artificial Intelligence and its Practical Applications in the Digital Economy
- Covers proceedings of the 2nd International Conference on Artificial Intelligence (I2COMSAPP’25)
- Written by respected experts in the field
€400 €360
10% OFF
Rechnen an spanenden Werkzeugmaschinen. Ein Lehr- und Handbuch zum Gebrauch in Werkstatt, Büro und Schule

Band 1: Hauptzeiten, Getriebeberechnungen, Gewindeherstellung, Hinterdrehen, Teilkopfarbeiten, Zahn- und Kettenräder

Franz Riegel

978-3-662-30389-4

1958
Edition 4
€168 €151
10% OFF
Techno-Societal 2020

Proceedings of the 3rd International Conference on Advanced Technologies for Societal Applications—Volume 1

Prashant M. Pawar; R. Balasubramaniam; Babruvahan P. Ronge; Santosh B. Salunkhe; Anup S. Vibhute; Bhuwaneshwari Melinamath

978-3-030-69921-5

2021
Edition 1
€638 €574
10% OFF
The Impact of the 4th Industrial Revolution on Engineering Education

Proceedings of the 22nd International Conference on Interactive Collaborative Learning (ICL2019) – Volume 1

Michael E. Auer; Hanno Hortsch; Panarit Sethakul

978-3-030-40274-7

2020
Edition 1
- Presents the proceedings of the 22nd International Conference on Interactive Collaborative Learning, held in Bangkok, Thailand on 25–28 September 2019,
- Shares the latest trends as well as practical experiences in interactive collaborative learning and engineering pedagogy
- Presents recent research on interactive collaborative learning
€400 €360
10% OFF
Intelligent and Fuzzy Systems

Digital Acceleration and The New Normal - Proceedings of the INFUS 2022 Conference, Volume 1

Cengiz Kahraman; A. Cagri Tolga; Sezi Cevik Onar; Selcuk Cebi; Basar Oztaysi; Irem Ucal Sari

978-3-031-09173-5

2022
Edition 1
- Presents recent research in Intelligent and Fuzzy Techniques
- Addresses proceedings of the Intelligent and Fuzzy Techniques INFUS 2022 Conference
- Provides interdisciplinary research between fuzzy and intelligent systems and real complex systems
€578 €520
10% OFF
Computer Animation and Simulation ’98

Proceedings of the Eurographics Workshop in Lisbon, Portugal, August 31 - September 1, 1998

Bruno Arnaldi; Gerard Hegron

978-3-7091-6375-7

1999
Edition 1
- State of the art in these topics
€100 €90
10% OFF
Numerical Analysis

Proceedings of the Biennial Conference Held at Dundee, June 28 - July 1, 1977

G.A. Watson

978-3-540-35972-2

1978
Edition 1
€50 €45
10% OFF
Futureproofing Engineering Education for Global Responsibility

Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL2024), Volume 1

Michael E. Auer; Tiia Rüütmann

978-3-031-85652-5

2025
Edition 1
- Presents recent research on interactive collaborative learning
- Collects the proceedings of the 27th International Conference on Interactive Collaborative Learning
- Written by experts in the field
€380 €342
10% OFF
Techno-Societal 2018

Proceedings of the 2nd International Conference on Advanced Technologies for Societal Applications - Volume 1

Prashant M. Pawar; Babruvahan P. Ronge; R. Balasubramaniam; Anup S. Vibhute; Sulabha S. Apte

978-3-030-16848-3

2020
Edition 1
€578 €520
10% OFF
Techno-societal 2022

Proceedings of the 4th International Conference on Advanced Technologies for Societal Applications—Volume 1

Prashant M. Pawar; Babruvahan P. Ronge; Ranjitsinha R. Gidde; Meenakshi M. Pawar; Nitin D. Misal; Anupama S. Budhewar; Vrunal V. More; P. Venkata Reddy

978-3-031-34644-6

2024
Edition 1
€638 €574
10% OFF
Communications, Signal Processing, and Systems

Proceedings of the 12th International Conference on Communications, Signal Processing, and Systems: Volume 1

Wei Wang; Xin Liu; Zhenyu Na; Baoju Zhang

978-981-99-7505-1

2024
Edition 1
- Examines system approaches for communications and signal processing
- Includes the latest developments in communications, signal processing, and systems
- Promotes the integration of algorithms and systems, software, and hardware
€679 €611
10% OFF
Technologie der Werkstoffe

für Studenten des Maschinenbaus und der Verfahrenstechnik ab 1. Semester

Jürgen Ruge

978-3-322-84025-7

1989
Edition 5
€201 €181
10% OFF
Proceedings of the 4th International Conference on Advances in Communication Technology and Computer Engineering (ICACTCE’24)

Transforming Industries: Harnessing the Power of Artificial Intelligence and the Internet of Things. Volume 1

Celestine Iwendi; Zakaria Boulouard; Natalia Kryvinska

978-3-031-94620-2

2025
Edition 1
- Collects recent advances in Communication Networks and Computational Intelligence
- Proceedings of the fourth International Conference on Advances in Communication Technology and Computer Engineering
- Written by experts in the field
€439 €395
10% OFF
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings

Martin Gogolla; Cris Kobryn

978-3-540-45441-0

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
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.