License single eBooks

Your results

View Cart

Computer Aided Verification

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Kousha Etessami; Sriram K. Rajamani

978-3-540-31686-2

2005
Edition 1
€180 €162
10% OFF
Advanced Network Technologies and Computational Intelligence

First International Conference, ICANTCI 2024, Punjab, India, April 5–6, 2024, Proceedings, Part I

Jaiteg Singh; S. B. Goyal; Manoj Kumar; Ruchi Mittal

978-3-031-86069-0

2025
Edition 1
€180 €162
10% OFF
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems

4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005, Proceedings

Raouf Boutaba; Kevin Almeroth; Ramon Puigjaner; Sherman Shen; James P. Black

978-3-540-32017-3

2005
Edition 1
€280 €252
10% OFF
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Alessandro Aldini

978-3-031-66021-4

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
€80 €72
10% OFF
Smart Grid and Internet of Things

Third EAI International Conference, SGIoT 2019, TaiChung, Taiwan, December 5-6, 2019, Proceedings

Der-Jiunn Deng; Ai-Chun Pang; Chun-Cheng Lin

978-3-030-49610-4

2020
Edition 1
€130 €117
10% OFF
Advances in Applied Economics, Business and Development

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

Qingyuan Zhou

978-3-642-23020-2

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
COTS-Based Software Systems

First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings

John Dean; Andree Gravel

978-3-540-45588-2

2002
Edition 1
€100 €90
10% OFF
Smart Grid and Internet of Things

4th EAI International Conference, SGIoT 2020, TaiChung, Taiwan, December 5–6, 2020, Proceedings

Yi-Bing Lin; Der-Jiunn Deng

978-3-030-69514-9

2021
Edition 1
€220 €198
10% OFF
Logic for Programming, Artificial Intelligence, and Reasoning

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe; Andrei Voronkov

978-3-540-31650-3

2005
Edition 1
€180 €162
10% OFF
Electronic Commerce and Web Technologies

First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings

Kurt Bauknecht; Sanjay Kumar Madria; Günther Pernul

978-3-540-44463-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Database and Expert Systems Applications

4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993. Proceedings

Vladimir Marik; Jiri Lazansky; Roland Wagner

978-3-540-47982-6

1993
Edition 1
€180 €162
10% OFF
Business Process Management Workshops

BPM 2019 International Workshops, Vienna, Austria, September 1–6, 2019, Revised Selected Papers

Chiara Di Francescomarino; Remco Dijkman; Uwe Zdun

978-3-030-37453-2

2019
Edition 1
€100 €90
10% OFF
Managing Knowledge in a World of Networks

15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings

Steffen Staab; Vojtech Svatek

978-3-540-46365-8

2006
Edition 1
€100 €90
10% OFF
Eruptive Solar Flares

Proceedings of Colloquium No. 133 of the International Astronomical Union Held at Iguazú, Argentina, 2–6 August 1991

Zdenek Svestka; Bernard V. Jackson; Marcos E. Machado

978-3-540-46794-6

1992
Edition 1
€180 €162
10% OFF
Advances in Knowledge Discovery and Data Mining

6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002. Proceedings

Ming-Syan Cheng; Philip S. Yu; Bing Liu

978-3-540-47887-4

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Security Standardisation Research

Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings

Lidong Chen; David McGrew; Chris Mitchell

978-3-319-49100-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Haut als endokrines ErfolgsorganGestagene Geriatrische Endokrinologie des Mannes

Gestagene. Geriatrische Endokrinologie des Mannes. 17. Sym- posion, Hamburg, 4.-6. März 1971

Joachim Kracht

978-3-642-95216-6

1971
Edition 1
€201 €181
10% OFF
Mathematical Foundations of Computer Science 1999

24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings

Miroslaw Kutylowski; Leszek Pacholski; Tomasz Wierzbicki

978-3-540-48340-3

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Automata, Languages, and Programming

42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Magnús M. Halldórsson; Kazuo Iwama; Naoki Kobayashi; Bettina Speckmann

978-3-662-47672-7

2015
Edition 1
€180 €162
10% OFF
Advances in Mobile Computing and Multimedia Intelligence

21st International Conference, MoMM 2023, Denpasar, Bali, Indonesia, December 4–6, 2023, Proceedings

Pari Delir Haghighi; Ismail Khalil; Gabriele Kotsis; Ngurah Agus Sanjaya ER

978-3-031-48348-6

2023
Edition 1
€110 €99
10% OFF
Advances in Filtering and Optimal Stochastic Control

Proceedings of the IFIP-WG 7/1 Working Conference Cocoyoc, Mexico, February 1-6, 1982

W. H. Fleming; L. G. Gorostiza

978-3-540-39517-1

1982
Edition 1
€180 €162
10% OFF
Diophantine Approximation

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

David Masser; Francesco Amoroso; Yuri V. Nesterenko; Umberto Zannier; Hans Peter Schlickewei; Wolfgang M. Schmidt; Michel Waldschmidt

978-3-540-44979-9

2003
Edition 1
€100 €90
10% OFF
Combinatorial Optimization and Applications

17th International Conference, COCOA 2024, Beijing, China, December 6–8, 2024, Proceedings, Part I

Donglei Du; Lu Han; Dachuan Xu

978-981-96-4445-2

2025
Edition 1
€320 €288
10% OFF
Deductive and Object-Oriented Databases

Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings

Stefano Ceri; Katsumi Tanaka; Shalom Tsur

978-3-540-48212-3

1993
Edition 1
€100 €90
10% OFF
Computational Kinematics ’95

Proceedings of the Second Workshop on Computational Kinematics, held in Sophia Antipolis, France, September 4–6, 1995

J.-P. Merlet; Bahram Ravani

978-94-011-0333-6

1995
Edition 1
€100 €90
10% OFF
Genetic and Evolutionary Computing

Proceedings of the Eleventh International Conference on Genetic and Evolutionary Computing, November 6-8, 2017, Kaohsiung, Taiwan

Jerry Chun-Wei Lin; Jeng-Shyang Pan; Shu-Chuan Chu; Chien-Ming Chen

978-981-10-6487-6

2018
Edition 1
- Highlights the latest research presented at the 11th International Conference on Genetic and Evolutionary Computing (ICGEC 2017)
- Presents novel methods in areas including swarm intelligence, artificial intelligence, information hiding, and data mining techniques
- Offers a valuable resource for realistic applications in the respective areas
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
Systems, Software and Services Process Improvement

24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings

Jakub Stolfa; Svatopluk Stolfa; Rory V. O'Connor; Richard Messnarz

978-3-319-64218-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Knowledge Science, Engineering and Management

15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part II

Gerard Memmi; Baijian Yang; Linghe Kong; Tianwei Zhang; Meikang Qiu

978-3-031-10986-7

2022
Edition 1
€200 €180
10% OFF
Multi-Agent-Based Simulation XV

International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Francisco Grimaldo; Emma Norling

978-3-319-14627-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94 €85
10% OFF
Interactive Systems. Design, Specification, and Verification

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Philippe Palanque; Fabio Paterno

978-3-540-44675-0

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computing Science, Communication and Security

5th International Conference, COMS2 2024, Mehsana, Gujarat, India, February 6–7, 2024, Proceedings

Nirbhay Chaubey; Noor Zaman Jhanjhi; Sabu M. Thampi; Satyen Parikh; Kiran Amin

978-3-031-75170-7

2025
Edition 1
€180 €162
10% OFF
Mathematical Optimization Theory and Operations Research

23rd International Conference, MOTOR 2024, Omsk, Russia, June 30–July 6, 2024, Proceedings

Anton Eremeev; Michael Khachay; Yury Kochetov; Vladimir Mazalov; Panos Pardalos

978-3-031-62792-7

2024
Edition 1
€300 €270
10% OFF
Advances in Cryptology – EUROCRYPT 2001

International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6–10, 2001, Proceedings

Birgit Pfitzmann

978-3-540-44987-4

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis

978-3-642-14165-2

2010
Edition 1
€180 €162
10% OFF
Multidisciplinary Information Retrieval

Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011, Proceedings

Allan Hanbury; Andreas Rauber; Arjen De Vries

978-3-642-21353-3

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Applied Intelligence

Third International Conference, ICAI 2025, Nanning, China, November 6–9, 2025, Proceedings, Part I

De-Shuang Huang; Chuanlei Zhang; Wei Chen; Bo Li; Qinhu Zhang; Haiming Chen; Yijie Pan

978-981-95-7087-4

2026
Edition 1
€240 €216
10% OFF
Advances in Education and Management

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

Mark Zhou

978-3-642-23062-2

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

20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Zhipeng Cai; Alexander Zelikovsky; Anu Bourgeois

978-3-319-08783-2

2014
Edition 1
€100 €90
10% OFF
Logic Programming

20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

Bart Demoen; Vladimir Lifschitz

978-3-540-27775-0

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
User Interface Management and Design

Proceedings of the Workshop on User Interface Management Systems and Environments Lisbon, Portugal, June 4–6, 1990

David A. Duce; M. Rui Gomes; F. Robert A. Hopgood; John R. Lee

978-3-642-76283-3

1991
Edition 1
€180 €162
10% OFF
Computer-Human Interaction

8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008, Proceedings

Seongil Lee; Hyunseung Choo; Sungdo Ha; In Chul Shin

978-3-540-70585-7

2008
Edition 1
€100 €90
10% OFF
Progress in Artificial Life

Third Australian Conference, ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings

Marcus Randall; Hussein A. Abbass; Janet Wiles

978-3-540-76931-6

2007
Edition 1
€100 €90
10% OFF
Discovery Science

18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings

Nathalie Japkowicz; Stan Matwin

978-3-319-24282-8

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

Contributions to the Third International Workshop on Gerontechnology, IWoG 2020, October 5-6, 2020, Évora, Portugal

José García-Alonso; César Fonseca

978-3-030-72567-9

2021
Edition 1
- Reports on smart technologies for elderly care and monitoring
- Describes methods to improve clinical workflows
- Covers applications and assessment of health technologies in different contexts
€400 €360
10% OFF
Innovative Konzepte für die Ausbildung

6. GI-Fachtagung Informatik und Schule INFOS ’95 Chemnitz, 25.–28. September 1995

Sigrid Schubert

978-3-642-79968-6

1995
Edition 1
€201 €181
10% OFF
Computational Linguistics and Intelligent Text Processing

15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I

Alexander Gelbukh

978-3-642-54906-9

2014
Edition 1
€100 €90
10% OFF
Conceptual Modeling - ER 2006

25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings

David W. Embley; Antoni Olivé; Sudha Ram

978-3-540-47227-8

2006
Edition 1
€180 €162
10% OFF
Principles and Practice of Semantic Web Reasoning

Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings

Hans J. Ohlbach; Sebastian Schaffert

978-3-540-30122-6

2004
Edition 1
€100 €90
10% OFF
Information Integration and Web Intelligence

25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023, Proceedings

Pari Delir Haghighi; Eric Pardede; Gillian Dobbie; Vithya Yogarajan; Ngurah Agus Sanjaya ER; Gabriele Kotsis; Ismail Khalil

978-3-031-48316-5

2023
Edition 1
€180 €162
10% OFF
MultiMedia Modeling

23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings, Part I

Laurent Amsaleg; Gylfi Þór Guðmundsson; Cathal Gurrin; Björn Þór Jónsson; Shin’ichi Satoh

978-3-319-51811-4

2017
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.