License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

View Cart

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Didier Bert; Jonathan P. Bowen; Steve King; Marina Waldén

978-3-540-44880-8

2003
Edition 1

€180 €162
10% OFF
Linear Operators and Approximation II / Lineare Operatoren und Approximation II

Proceedings of the Conference held at the Oberwolfach Mathematical Research Institute, Black Forest, March 30–April 6, 1974 / Abhandlungen zur Tagung im Mathematischen Forschungsinstitut Oberwolfach, Schwarzwald, vom 30. März bis 6. April 1974

BUTZER; NAGY

978-3-0348-5991-2

1974
Edition 1

€187 €168
10% OFF
Emerging Technology Trends in Internet of Things and Computing

First International Conference, TIOTC 2021, Erbil, Iraq, June 6–8, 2021, Revised Selected Papers

Panos Liatsis; Abir Hussain; Salama A. Mostafa; Dhiya Al-Jumeily

978-3-030-97255-4

2022
Edition 1

€160 €144
10% OFF
The Semantic Web – ISWC 2023

22nd International Semantic Web Conference, Athens, Greece, November 6–10, 2023, Proceedings, Part II

Terry R. Payne; Valentina Presutti; Guilin Qi; María Poveda-Villalón; Giorgos Stoilos; Laura Hollink; Zoi Kaoudi; Gong Cheng; Juanzi Li

978-3-031-47243-5

2023
Edition 1

€200 €180
10% OFF
Neural Information Processing

31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2–6, 2024, Proceedings, Part I

Mufti Mahmud; Maryam Doborjeh; Kevin Wong; Andrew Chi Sing Leung; Zohreh Doborjeh; M. Tanveer

978-981-96-6576-1

2025
Edition 1

€146 €131
10% OFF
Inductive Logic Programming

27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Nicolas Lachiche; Christel Vrain

978-3-319-78090-0

2018
Edition 1

€100 €90
10% OFF
NASA Formal Methods

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings

Nathaniel Benz; Divya Gopinath; Nija Shi

978-3-031-60698-4

2024
Edition 1

€260 €234
10% OFF
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

€90 €81
10% OFF
Business Intelligence

4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures

Esteban Zimányi; Ralf-Detlef Kutsche

978-3-319-17551-5

2015
Edition 1

€419 €377
10% OFF
MFDBS 91

3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991

Bernhard Thalheim; Janos Demetrovics; Hans-Detlef Gerhardt

978-3-540-47348-0

1991
Edition 1

€100 €90
10% OFF
Comets to Cosmology

Proceedings of the Third IRAS Conference, Held at Queen Mary College, University of London, July 6-10, 1987

Andrew Lawrence

978-3-540-39067-1

1988
Edition 1

€160 €144
10% OFF
Processing and Fabrication of Advanced Materials, Volume 3

Proceedings of the 29th International Conference on Processing and Fabrication of Advanced Materials (29th PFAM) September 6–8, 2023

Ajay Kumar; T. S. Srivatsan; Mamilla Ravi Sankar; N. Venkaiah; S. Seetharamu

978-981-97-5967-5

2024
Edition 1

€500 €450
10% OFF
Information Security and Cryptology

12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers

Kefei Chen; Dongdai Lin; Moti Yung

978-3-319-54705-3

2017
Edition 1

€100 €90
10% OFF
Artificial Neural Networks and Machine Learning – ICANN 2016

25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Alessandro E.P. Villa; Paolo Masulli; Antonio Javier Pons Rivero

978-3-319-44778-0

2016
Edition 1

€100 €90
10% OFF
United States-Japan Seminar on Host-Guest Chemistry

Proceedings of the U.S.-Japan Seminar on Host-Guest Chemistry, Miami, Florida, U.S.A, 2–6 November 1987

George W. Gokel; Kenji Koga

978-94-009-0969-4

1989
Edition 1

€100 €90
10% OFF
Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Manuel V Hermenegildo; Pedro Lopez-Garcia

978-3-319-63139-4

2017
Edition 1

€100 €90
10% OFF
Trustworthy Global Computing

Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Gilles Barthe; Cédric Fournet

978-3-540-78663-4

2008
Edition 1

€100 €90
10% OFF
Risks and Security of Internet and Systems

18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6–8, 2023, Revised Selected Papers

Abderrahim Ait Wakrime; Guillermo Navarro-Arribas; Frédéric Cuppens; Nora Cuppens; Redouane Benaini

978-3-031-61231-2

2024
Edition 1

€130 €117
10% OFF
Future Security

7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings

Nils Aschenbruck; Peter Martini; Michael Meier; Jens Tölle

978-3-642-33161-9

2012
Edition 1

€100 €90
10% OFF
Computational Aspects of Complex Analysis

Proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26 – August 6, 1982

K.E. Werner; L. Wuytack; E. Ng

978-94-009-7121-9

1983
Edition 1

€100 €90
10% OFF
Software Security - Theories and Systems

Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Kokichi Futatsugi; Fumio Mizoguchi; Naoki Yonezaki

978-3-540-37621-7

2004
Edition 1

€100 €90
10% OFF
Big Data Benchmarking

5th International Workshop, WBDB 2014, Potsdam, Germany, August 5-6- 2014, Revised Selected Papers

Tilmann Rabl; Kai Sachs; Meikel Poess; Chaitanya Baru; Hans-Arno Jacobson

978-3-319-20233-4

2015
Edition 1

€80 €72
10% OFF
Trustworthy Global Computing

9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Matteo Maffei; Emilio Tuosto

978-3-662-45917-1

2014
Edition 1

€80 €72
10% OFF
Processing and Fabrication of Advanced Materials, Volume 1

Proceedings of the 29th International Conference on Processing and Fabrication of Advanced Materials (29th PFAM) September 6–8, 2023

Ajay Kumar; T. S. Srivatsan; Mamilla Ravi Sankar; N. Venkaiah; S. Seetharamu

978-981-97-5959-0

2024
Edition 1

€500 €450
10% OFF
Parallel Computational Technologies

12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Leonid Sokolinsky; Mikhail Zymbler

978-3-319-99673-8

2018
Edition 1

€100 €90
10% OFF
Large-Scale Scientific Computing

8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers

Ivan Lirkov; Svetozar D. Margenov; Jerzy Wasniewski

978-3-642-29843-1

2012
Edition 1

€100 €90
10% OFF
Artificial Neural Networks and Machine Learning – ICANN 2022

31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part I

Elias Pimenidis; Plamen Angelov; Chrisina Jayne; Antonios Papaleonidas; Mehmet Aydin

978-3-031-15919-0

2022
Edition 1

€100 €90
10% OFF
Advances in Computer Graphics

38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6–10, 2021, Proceedings

Nadia Magnenat-Thalmann; Victoria Interrante; Daniel Thalmann; George Papagiannakis; Bin Sheng; Jinman Kim; Marina Gavrilova

978-3-030-89029-2

2021
Edition 1

€200 €180
10% OFF
Ambient Assisted Living and Active Aging

5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Chris Nugent; Antonio Coronato; Jose Bravo

978-3-319-03092-0

2013
Edition 1

€100 €90
10% OFF
Automata, Languages and Programming

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

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

978-3-642-14162-1

2010
Edition 1

€180 €162
10% OFF
Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Shaoying Liu; Zhenhua Duan

978-3-319-31220-0

2016
Edition 1

€100 €90
10% OFF
Wahlen und Wahlkampf in Rheinland-Pfalz

Beiträge für die politische Bildungsarbeit aus Anlaß der Landtags- und Bundestagswahlen am 6. März 1983

Ulrich Sarcinelli

978-3-663-11797-1

1984
Edition 1

€140 €126
10% OFF
Information Hiding

7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005, Revised Selected Papers

Mauro Barni; Jordi Herrera Joancomartí; Stefan Katzenbeisser; Fernando Pérez-González

978-3-540-31481-3

2005
Edition 1

€100 €90
10% OFF
Communication Technologies for Vehicles

8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings

Mohamed Kassab; Marion Berbineau; Alexey Vinel; Magnus Jonsson; Fabien Garcia; José Soler

978-3-319-17765-6

2015
Edition 1

€94 €85
10% OFF
Database and Expert Systems Applications

13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002. Proceedings

Abdelkader Hameurlain; Rosine Cicchetti; Roland Traunmüller

978-3-540-46146-3

2002
Edition 1

€180 €162
10% OFF
Intelligent Robotics and Applications

18th International Conference, ICIRA 2025, Okayama, Japan, August 6–9, 2025, Proceedings, Part II

Takayuki Matsuno; Honghai Liu; Lianqing Liu; Zhouping Yin; Xiangyang Zhu; Weihong Ren; Zhiyong Wang; Yixuan Sheng

978-981-95-2098-5

2026
Edition 1

€160 €144
10% OFF
Advanced Environments, Tools, and Applications for Cluster Computing

NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

Dan Grigoras; Alex Nicolau; Bernard Toursel; Bertil Folliot

978-3-540-47840-9

2002
Edition 1

€100 €90
10% OFF
Wireless and Satellite Systems

7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers

Prashant Pillai; Yim Fun Hu; Ifiok Otung; Giovanni Giambene

978-3-319-25479-1

2015
Edition 1

€100 €90
10% OFF
Artificial General Intelligence

4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Jürgen Schmidhuber; Kristinn R. Thorisson; Moshe Looks

978-3-642-22887-2

2011
Edition 1

€100 €90
10% OFF
ICT in Education, Research, and Industrial Applications

8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Vadim Ermolayev; Heinrich C. Mayr; Mykola Nikitchenko; Aleksander Spivakovsky; Grygoriy Zholtkevych

978-3-642-35737-4

2013
Edition 1

€100 €90
10% OFF
Digital Forensics and Cyber Crime

12th EAI International Conference, ICDF2C 2021, Virtual Event, Singapore, December 6-9, 2021, Proceedings

Pavel Gladyshev; Sanjay Goel; Joshua James; George Markowsky; Daryl Johnson

978-3-031-06365-7

2022
Edition 1

€170 €153
10% OFF
Artificial Intelligence and Digitalization for Sustainable Development

10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings

Bereket H. Woldegiorgis; Kibret Mequanint; Mekuanint A. Bitew; Teketay B. Beza; Abdulkerim M. Yibre

978-3-031-28725-1

2023
Edition 1

€160 €144
10% OFF
Nordic Contributions in IS Research

8th Scandinavian Conference on Information Systems, SCIS 2017, Halden, Norway, August 6-8, 2017, Proceedings

Susanne Stigberg; Joakim Karlsen; Harald Holone; Cathrine Linnes

978-3-319-64695-4

2017
Edition 1

€100 €90
10% OFF
Service-Oriented Computing

22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II

Walid Gaaloul; Michael Sheng; Qi Yu; Sami Yangui

978-981-96-0808-9

2025
Edition 1

€130 €117
10% OFF
Pattern Recognition and Image Analysis

Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II

Joan Martí; José Miguel Benedí; Ana Maria Mendonça; Joan Serrat

978-3-540-72849-8

2007
Edition 1

€180 €162
10% OFF
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

€100 €90
10% OFF
Advances in Brain Inspired Cognitive Systems

14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part II

Amir Hussain; Bo Jiang; Jinchang Ren; Mufti Mahmud; Erfu Yang; Aihua Zheng; Chenglong Li; Shuqiang Wang; Zhi Gao; Zhicheng Zhao

978-981-96-2885-8

2025
Edition 1

€114 €103
10% OFF
Neural Information Processing

13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46480-8

2006
Edition 1

€220 €198
10% OFF
Neural Information Processing

31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2–6, 2024, Proceedings, Part I

Mufti Mahmud; Maryam Doborjeh; Kevin Wong; Andrew Chi Sing Leung; Zohreh Doborjeh; M. Tanveer

978-981-96-6948-6

2025
Edition 1

€180 €162
10% OFF
Advances in Neural Networks – ISNN 2020

17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings

Min Han; Sitian Qin; Nian Zhang

978-3-030-64221-1

2020
Edition 1

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