License single eBooks

Your results

View Cart

Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Wolfgang Grieskamp; Thomas Santen; Bill Stoddart

978-3-540-40911-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information

9th International Conference, UCAmI 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings

Juan M. García-Chamizo; Giancarlo Fortino; Sergio F. Ochoa

978-3-319-26401-1

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Wundheilung des Auges und ihre Komplikationen / Wound Healing of the Eye and its Complications

Symposion der Deutschen Ophthalmologischen Gesellschaft vom 30. März bis 1. April 1979 in Tübingen

G.O.H. Naumann; B.P. Gloor

978-3-642-80498-4

1980
Edition 1
€181 €163
10% OFF
Intelligent Systems

Proceedings of 4th International Conference on Machine Learning, IoT and Big Data (ICMIB 2024), Volume 1

Siba K. Udgata; Srinivas Sethi; George Ghinea; Sanjay Kumar Kuanar

978-981-96-3797-3

2025
Edition 1
- Discusses the outcomes of ICMIB 2024, held in Gunupur, India
- Presents recent research in the field of machine learning and big data
- Serves as a reference resource for researchers and practitioners in academia and industry
€419 €377
10% OFF
Experimental Algorithms

14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Evripidis Bampis

978-3-319-20086-6

2015
Edition 1
€100 €90
10% OFF
Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro; José Fiadeiro

978-3-319-70848-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€130 €117
10% OFF
Intelligent Decision Technologies 2019

Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1

Ireneusz Czarnowski; Robert J. Howlett; Lakhmi C. Jain

978-981-13-8311-3

2020
Edition 1
- Includes recent research on intelligent decision technologies
- Highlights the interdisciplinarity of intelligent decision technologies, connecting computer science with the development of artificial intelligence; information systems with the development of decision support systems; and engineering with the development of systems
- Addresses such diverse areas as finance, linguistics, management and transportation
€400 €360
10% OFF
Data Mining and Big Data

Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61845-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Complex, Intelligent and Software Intensive Systems

Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 1

Leonard Barolli; Tomoya Enokido; Isaac Woungang

978-3-031-96099-4

2025
Edition 1
- Presents recent research on complex, intelligent, and software intensive systems
- Includes the proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems
- Written by experts in the field
€400 €360
10% OFF
Product-Focused Software Process Improvement

18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Michael Felderer; Daniel Méndez Fernández; Burak Turhan; Marcos Kalinowski; Federica Sarro; Dietmar Winkler

978-3-319-69926-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Dynamical Phenomena at Surfaces, Interfaces and Superlattices

Proceedings of an International Summer School at the Ettore Majorana Centre, Erice, Italy, July 1–13, 1984

Fabrizio Nizzoli; Manuel Cardona; Karl-Heinz Rieder; Roy F. Willis

978-3-642-82535-4

1985
Edition 1
€180 €162
10% OFF
Low-Voltage Low-Power Analog Integrated Circuits

A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Volume 8, No. 1 (1995)

Wouter A. Serdijn

978-1-4615-2283-6

1995
Edition 1
€180 €162
10% OFF
e-Infrastructure and e-Services for Developing Countries

13th EAI International Conference, AFRICOMM 2021, Zanzibar, Tanzania, December 1-3, 2021, Proceedings

Yahya H. Sheikh; Idris A. Rai; Abubakar D. Bakar

978-3-031-06374-9

2022
Edition 1
€180 €162
10% OFF
Frontiers in Algorithmics

First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings

Franco P. Preparata; Qizhi Fang

978-3-540-73814-5

2007
Edition 1
€100 €90
10% OFF
Service-Oriented Computing

23rd International Conference, ICSOC 2025, Shenzhen, China, December 1–4, 2025, Proceedings, Part I

Marco Aiello; Shuiguang Deng; Juan-Manuel Murillo; Ilche Georgievski; Boualem Benatallah; Zhongjie Wang

978-981-95-5012-8

2026
Edition 1
€160 €144
10% OFF
Proceedings of the Second ISAAC Congress

Volume 1: This project has been executed with Grant No. 11–56 from the Commemorative Association for the Japan World Exposition (1970)

Heinrich G.W. Begehr; R.P. Gilbert; Joji Kajiwara

978-1-4613-0269-8

2000
Edition 1
€400 €360
10% OFF
Multimedia Communications, Services and Security

5th International Conference, MCSS 2012, Krakow, Poland, May 31--June 1, 2012. Proceedings

Andrzej Dziech; Andrzej Czyzewski

978-3-642-30721-8

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
XXVI Brazilian Congress on Biomedical Engineering

CBEB 2018, Armação de Buzios, RJ, Brazil, 21-25 October 2018 (Vol. 1)

Rodrigo Costa-Felix; João Carlos Machado; André Victor Alvarenga

978-981-13-2119-1

2019
Edition 1
- Presents the proceedings of the Brazilian Congress on Biomedical Engineering (CBEB 2018)
€280 €252
10% OFF
Iteration Theory and its Functional Equations

Proceedings of the International Symposium held at Schloß Hofen (Lochau), Austria, September 28 - October 1, 1984

Roman Liedl; Ludwig Reich; György Targonski

978-3-540-39749-6

1985
Edition 1
€69 €62
10% OFF
Web Information Systems Engineering – WISE 2015

16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II

Jianyong Wang; Wojciech Cellary; Dingding Wang; Hua Wang; Shu-Ching Chen; Tao Li; Yanchun Zhang

978-3-319-26187-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings

Andre A. Cire

978-3-031-33271-5

2023
Edition 1
€180 €162
10% OFF
Security and Privacy in Digital Economy

First International Conference, SPDE 2020, Quzhou, China, October 30 – November 1, 2020, Proceedings

Shui Yu; Peter Mueller; Jiangbo Qian

978-981-15-9129-7

2020
Edition 1
€180 €162
10% OFF
Learning Technology for Education Challenges

12th International Workshop, LTEC 2024, Kaohsiung, Taiwan, July 29 – August 1, 2024, Proceedings

Lorna Uden; Dario Liberona

978-3-031-61678-5

2024
Edition 1
€240 €216
10% OFF
Component-Based Software Engineering

9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Ian Gorton; George T. Heinemann; Ivica Crnkovic; Heinz W. Schmidt; Judith A. Stafford; Clemens Szyperski; Kurt Wallnau

978-3-540-35629-5

2006
Edition 1
€100 €90
10% OFF
Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Warren A. Jr. Hunt; Steven D. Johnson

978-3-540-40922-9

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Advanced Information Networking and Applications

Proceedings of the 40-th International Conference on Advanced Information Networking and Applications (AINA-2026), Volume 1

Leonard Barolli; Winston K. G. Seah; Isaac Woungang

978-3-032-23260-1

2026
Edition 1
- Presents recent research in information networking and applications
- Gathers the proceedings of the 40th International Conference on Advanced Information Networking and Applications
- Written by experts in the field
€459 €413
10% OFF
Artificial Intelligence in Business

Applications and Ethical Considerations in the Digital Age. Proceedings of the 19th SICB “Artificial Intelligence in Business”, Volume 1

Abdul Razzak Alshehadeh; Ihab Ali El-Qirem; Ghaleb Awad Elrefae

978-3-031-96622-4

2026
Edition 1
- Presents cutting-edge research at the intersection of AI and business operations
- Showcases how artificial intelligence revolutionizes modern business practices
- Results of the 19th Scientific Annual International Conference for Business SICB: Artificial Intelligence in Business
€400 €360
10% OFF
Live Food in Aquaculture

Proceedings of the Live Food and Marine Larviculture Symposium held in Nagasaki, Japan, September 1–4, 1996

A. Hagiwara; T.W. Snell; E. Lubzens; C.S. Tamaru

978-94-017-2097-7

1997
Edition 1
€280 €252
10% OFF
Software Composition

10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Sven Apel; Ethan Jackson

978-3-642-22045-6

2011
Edition 1
- Fast track proceedings
€100 €90
10% OFF
Information Security and Cryptology

Second SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings

Helger Lipmaa; Moti Yung; Donghai Lin

978-3-540-49610-6

2006
Edition 1
€100 €90
10% OFF
Database and Expert Systems Applications

14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik; Werner Retschitzegger; Olga Stepankova

978-3-540-45227-0

2003
Edition 1
€180 €162
10% OFF
Theory and Practice of Model Transformations

First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Antonio Vallecillo; Jeff Gray; Alfonso Pierantonio

978-3-540-69927-9

2008
Edition 1
€100 €90
10% OFF
Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

978-3-642-21691-6

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Passive and Active Measurement

17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

Thomas Karagiannis; Xenofontas Dimitropoulos

978-3-319-30505-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Steffen Hölldobler; Carsten Lutz; Heinrich Wansing

978-3-540-87803-2

2008
Edition 1
€100 €90
10% OFF
Innovative Technologies and Learning

4th International Conference, ICITL 2021, Virtual Event, November 29 – December 1, 2021, Proceedings

Yueh-Min Huang; Chin-Feng Lai; Tânia Rocha

978-3-030-91540-7

2021
Edition 1
€220 €198
10% OFF
Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller

978-3-319-06251-8

2014
Edition 1
€100 €90
10% OFF
Analysis

Band 1: Ein Lernbuch für den sanften Wechsel von der Schule zur Uni

Ehrhard Behrends

978-3-322-96378-9

2004
Edition 2
- Analysis verständlich und motivierend dargestellt und von Studenten mitentwickelt
€486 €437
10% OFF
Ambient Intelligence for Health

First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings

José Bravo; Ramón Hervás; Vladimir Villarreal

978-3-319-26508-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Testbeds and Research Infrastructures for the Development of Networks and Communities

13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

Honghao Gao; Yuyu Yin; Xiaoxian Yang; Huaikou Miao

978-3-030-12971-2

2019
Edition 1
€80 €72
10% OFF
Theory of Cryptography

17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

Dennis Hofheinz; Alon Rosen

978-3-030-36030-6

2019
Edition 1
€100 €90
10% OFF
Critical Information Infrastructures Security

First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006

Javier Lopez

978-3-540-69084-9

2006
Edition 1
€100 €90
10% OFF
Advances in Simulation of Wing and Nacelle Stall

Results of the Closing Symposium of the DFG Research Unit FOR 1066, December 1-2, 2014, Braunschweig, Germany

Rolf Radespiel; Reinhard Niehuis; Norbert Kroll; Kathrin Behrends

978-3-319-21127-5

2016
Edition 1
- Reports on advanced findings in the field of flight simulation
- Provides readers with a good balance of theories, models and experimental work
- Offers a comprehensive report on the state-of-the-art in the field
€400 €360
10% OFF
Database Systems for Advanced Applications

15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I

Hiroyuki Kitagawa; Yoshiharu Ishikawa; Wenjie Li; Chiemi Watanabe

978-3-642-12026-8

2010
Edition 1
- Fast track conference proceedings
- State of the art research
- Unique visibility
€180 €162
10% OFF
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings

Weiru Liu

978-3-642-22152-1

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€180 €162
10% OFF
Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1–5, 2025, Proceedings, Part I

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12287-2

2026
Edition 1
€146 €131
10% OFF
Communication-Based Systems

Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Günter Hommel

978-94-015-9608-4

2000
Edition 1
€180 €162
10% OFF
Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Ralf Hinze; Janis Voigtländer

978-3-319-19797-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Die Onkologie

Teil 1: Epidemiologie - Pathogenese - Grundprinzipien der Therapie; Teil 2: Solide Tumoren - Lymphome - Leukämien

Wolfgang Hiddemann; Claus R. Bartram; H. Huber

978-3-662-06670-6

2004
Edition 1
- Das komplette onkologische Wissen auf höchstem Qualitätsniveau
- Praxis und Grundlagen in einem Werk
- Exzellente Abbildungen, übersichtliche Struktur
- Anschaulich, einprägsam, lern- und praxisgerecht
- Includes supplementary material: sn.pub/extras
€187 €168
10% OFF
The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Paola Bonizzoni; Vasco Brattka; Benedikt Löwe

978-3-642-39053-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€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.