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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac; Radoslav Ivanov; Guy Katz; Nina Narodytska; Laura Nenzi

978-3-031-21222-2

2022
Edition 1

€130 €117
10% OFF
Computer Aided Systems Theory – EUROCAST 2005

10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada Arencibia

978-3-540-31829-3

2005
Edition 1

€180 €162
10% OFF
Hydrometallurgy ’94

Papers presented at the international symposium ‘Hydrometallurgy ’94’ organized by the Institution of Mining and Metallurgy and the Society of Chemical Industry, and held in Cambridge, England, from 11 to 15 July, 1994

Institution of Mining & Metallurgy

978-94-011-1214-7

1994
Edition 1

€100 €90
10% OFF
Big Data Technologies and Applications

10th EAI International Conference, BDTA 2020, and 13th EAI International Conference on Wireless Internet, WiCON 2020, Virtual Event, December 11, 2020, Proceedings

Zeng Deze; Huan Huang; Rui Hou; Seungmin Rho; Naveen Chilamkurti

978-3-030-72802-1

2021
Edition 1

€100 €90
10% OFF
Information Technology for Management: New Ideas and Real Solutions

14th Conference, AITM 2016, and 11th Conference, ISM 2016, held as Part of FedCSIS, Gdansk, Poland, September 11-14, 2016, Revised Selected Papers

Ewa Ziemba

978-3-319-53076-5

2017
Edition 1

€100 €90
10% OFF
Ontologies-Based Databases and Information Systems

First and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers

Martine Collard

978-3-540-75474-9

2007
Edition 1

€100 €90
10% OFF
Generalized Quantifiers and Computation

9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures

Jouko Väänänen

978-3-540-46583-6

1999
Edition 1

€100 €90
10% OFF
New Trends in Image Analysis and Processing – ICIAP 2017

ICIAP International Workshops, WBICV, SSPandBE, 3AS, RGBD, NIVAR, IWBAAS, and MADiMa 2017, Catania, Italy, September 11-15, 2017, Revised Selected Papers

Sebastiano Battiato; Giovanni Maria Farinella; Marco Leo; Giovanni Gallo

978-3-319-70742-6

2017
Edition 1

€100 €90
10% OFF
Optical Networks

Design and Modelling / IFIP TC6 Second International Working Conference on Optical Network Design and Modelling (ONDM’98) February 9-11, 1998 Rome, Italy

Giancarlo de Marchis; Roberto Sabella

978-0-387-35398-2

1999
Edition 1

€180 €162
10% OFF
Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Dirk Beyer; Chantal Keller

978-3-030-31157-5

2019
Edition 1

€100 €90
10% OFF
Histocompatibility Testing 1984

Report on the Ninth International Histocompatibility Workshop and Conference Held in Munich, West Germany, May 6–11, 1984 and in Vienna, Austria, May 13–15, 1984

E.D. Albert; M.P. Baur; W.R. Mayr

978-3-642-69770-8

1984
Edition 1

€180 €162
10% OFF
Defense against Bioterror: Detection Technologies, Implementation Strategies and Commercial Opportunities

Proceedings of the NATO Advanced Research Workshop on Defense against Bioterror: Detection Technologies, Implementation Strategies and Commercial Opportunities, held in Madrid, Spain from 8 to 11 April 2004

Dennis Morrison; Fred Milanovich; Dmitri Ivnitski; Thomas R. Austin

978-1-4020-3384-1

2005
Edition 1

€180 €162
10% OFF
Production Research

10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I

Daniel Alejandro Rossit; Fernando Tohmé; Gonzalo Mejía Delgadillo

978-3-030-76307-7

2021
Edition 1

€100 €90
10% OFF
North Sea Oil and Gas Reservoirs—II

Proceedings of the 2nd North Sea Oil and Gas Reservoirs Conference organized and hosted by the Norwegian Institute of Technology (NTH), Trondheim, Norway, May 8–11, 1989

A.T. Buller

978-94-009-0791-1

1990
Edition 1

€180 €162
10% OFF
Applications of Evolutionary Computation

EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Cecilia Di Chio; Alexandros Agapitos; Stefano Cagnoni; Carlos Cotta; Francisco Fernández de Vega; Gianni A. Di Caro; Rolf Drechsler; Anikó Ekárt; Anna I. Esparcia-Alcázar; Muddassar Farooq; W.B. Langdon; Juan-J. Merelo-Guervós; Mike Preuss; Hendrik Richter; Sara Silva; Anabela Simões; Giovanni Squillero; Ernesto Tarantino; Andrea Tettamanzi; Julian Togelius; Neil Urquhart; Sima Uyar; Georgios N. Yannakakis

978-3-642-29178-4

2012
Edition 1

€100 €90
10% OFF
Enterprise, Business-Process and Information Systems Modeling

19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings

Jens Gulden; Iris Reinhartz-Berger; Rainer Schmidt; Sérgio Guerreiro; Wided Guédria; Palash Bera

978-3-319-91704-7

2018
Edition 1

€100 €90
10% OFF
Aspects of Signal Processing

With Emphasis on Underwater Acoustics Part 1 Proceedings of the NATO Advanced Study Institute held at Portovenere, La Spezia, Italy 30 August–11 September 1976

G. Tacconi

978-94-010-1223-2

1977
Edition 1

€400 €360
10% OFF
Functional Analysis, Holomorphy, and Approximation Theory

Proceedings of the Seminario de Analise Functional Holomorfia e Teoria da Aproximacao, Universidade Federal do Rio de Janeiro, Brazil, August 7-11, 1978

S. Machado

978-3-540-38529-5

1981
Edition 1

€94 €85
10% OFF
Disruptive Innovation in a Digitally Connected Healthy World

23rd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2024, Heerlen, The Netherlands, September 11–13, 2024, Proceedings

Rogier van de Wetering; Remko Helms; Ben Roelens; Samaneh Bagheri; Yogesh K. Dwivedi; Ilias O. Pappas; Matti Mäntymäki

978-3-031-72234-9

2024
Edition 1

€180 €162
10% OFF
Smart and Sustainable Collaborative Networks 4.0

22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings

Luis M. Camarinha-Matos; Xavier Boucher; Hamideh Afsarmanesh

978-3-030-85969-5

2021
Edition 1

€438 €394
10% OFF
Computer Networks and IoT

First International Artificial Intelligence Conference, IAIC 2023, Nanjing, China, November 25–27, 2023, Revised Selected Papers, Part III

Hai Jin; Yi Pan; Jianfeng Lu

978-981-97-1332-5

2024
Edition 1

€160 €144
10% OFF
Advances in Conceptual Modeling - Foundations and Applications

ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings

Jean-Luc Hainaut; Elke Al. Rundensteiner; Markus Kirchberg; Michaela Bertolotto; Mathias Brochhausen; Phoebe Chen; Samira Sisaid Cherfi; Martin Doerr; Hyoil Han; Sven Hartmann; Jeffrey Parsons; Geert Poels; Colette Rolland; Eric Yu; Esteban Zimlanyi

978-3-540-76292-8

2007
Edition 1

€100 €90
10% OFF
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability

25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers

Theodor Wyeld; Paul Calder; Haifeng Shen

978-3-319-16940-8

2015
Edition 1

€94 €85
10% OFF
On the Move to Meaningful Internet Systems: OTM 2008

OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Proceedings, Part II

Zahir Tari

978-3-540-88873-4

2008
Edition 1

€100 €90
10% OFF
Advances in Conceptual Modeling - Challenging Perspectives

ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings

Carlos A. Heuser; Günther Pernul

978-3-642-04947-7

2009
Edition 1

€100 €90
10% OFF
Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko

978-3-319-25945-1

2015
Edition 1

€100 €90
10% OFF
PRICAI 2024: Trends in Artificial Intelligence

21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18–24, 2024, Proceedings, Part III

Rafik Hadfi; Patricia Anthony; Alok Sharma; Takayuki Ito; Quan Bai

978-981-96-0122-6

2025
Edition 1

€146 €131
10% OFF
Agent Computing and Multi-Agent Systems

10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers

Aditya Ghose; Guido Governatori; Ramakoti Sadananda

978-3-642-01639-4

2009
Edition 1

€100 €90
10% OFF
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications

11th International Conference on Future Data and Security Engineering, FDSE 2024, Binh Duong, Vietnam, November 27–29, 2024, Proceedings, Part I

Tran Khanh Dang; Josef Küng; Tai M. Chung

978-981-96-0434-0

2024
Edition 1

€150 €135
10% OFF
From Earth’s Ecosystems to Exoplanets

Proceedings of the 4th International Conference on BioGeoSciences: Modeling Natural Environments (November 15-17, 2023,Cayo Santa María, Villa Clara, Cuba)

Rolando Cardenas; Lien Rodríguez; Vladimir Mochalov; Osmel Martin

978-3-032-09724-8

2026
Edition 1

€559 €503
10% OFF

Not published yet

Available from
2026-03-11
PRICAI 2022: Trends in Artificial Intelligence

19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10–13, 2022, Proceedings, Part III

Sankalp Khanna; Jian Cao; Quan Bai; Guandong Xu

978-3-031-20868-3

2022
Edition 1

€180 €162
10% OFF
Urknall und Evolution des Kosmos - Fortschritte in der Kosmologie

Gemeinsame Sitzung der Klasse für Geisteswissenschaften und der Klasse für Natur-, Ingenieur- und Wirtschaftswissenschaften am 2. November 1983 in Düsseldorf

Wolfgang Priester

978-3-322-90064-7

1984
Edition 1

€201 €181
10% OFF
Service-Oriented Computing - ICSOC 2014 Workshops

WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers

Farouk Toumani; Barbara Pernici; Daniela Grigori; Djamal Benslimane; Jan Mendling; Nejib Ben Hadj-Alouane; Brian Blake; Olivier Perrin; Iman Saleh Moustafa; Sami Bhiri

978-3-319-22885-3

2015
Edition 1

€100 €90
10% OFF
PRICAI 2024: Trends in Artificial Intelligence

21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18–24, 2024, Proceedings, Part IV

Rafik Hadfi; Patricia Anthony; Alok Sharma; Takayuki Ito; Quan Bai

978-981-96-0125-7

2025
Edition 1

€146 €131
10% OFF
Recent Advances in Intelligent Information Hiding and Multimedia Signal Processing

Proceeding of the Fourteenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, November, 26-28, 2018, Sendai, Japan, Volume 2

Jeng-Shyang Pan; Akinori Ito; Pei-Wei Tsai; Lakhmi C. Jain

978-3-030-03748-2

2019
Edition 1

€438 €394
10% OFF
Data Science and Information Security

First International Artificial Intelligence Conference, IAIC 2023, Nanjing, China, November 25–27, 2023, Revised Selected Papers, Part II

Hai Jin; Yi Pan; Jianfeng Lu

978-981-97-1280-9

2024
Edition 1

€160 €144
10% OFF
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE

OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part I

Zahir Tari

978-3-540-32116-3

2005
Edition 1

€180 €162
10% OFF
Smart Cities

6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers

Sergio Nesmachnow; Luis Hernández Callejo

978-3-031-52517-9

2024
Edition 1

€150 €135
10% OFF
International Conference on Applied Technologies

5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22–24, 2023, Revised Selected Papers, Part III

Miguel Botto-Tobar; Marcelo Zambrano Vizuete; Sergio Montes León; Pablo Torres-Carrión; Benjamin Durakovic

978-3-031-58950-8

2024
Edition 1

€260 €234
10% OFF
Biological Nitrogen Fixation Associated with Rice Production

Based on selected papers presented in the International Symposium on Biological Nitrogen Fixation Associated with Rice, Dhaka, Bangladesh, 28 November– 2 December, 1994

Mustafizur Rahman; Azit Kumar Podder; Charles van Hove; Z.N. Tahmida Begum; Thierry Heulin; Anton Hartmann

978-94-015-8670-2

1996
Edition 1

€280 €252
10% OFF
Computer Applications for Modeling, Simulation, and Automobile

International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Tai-hoon Kim; Carlos Ramos; Jemal Abawajy; Byeong-Ho Kang; Dominik Slezak; Hojjat Adeli

978-3-642-35248-5

2012
Edition 1

€100 €90
10% OFF
Interactive Storytelling

12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19–22, 2019, Proceedings

Rogelio E. Cardona-Rivera; Anne Sullivan; R. Michael Young

978-3-030-33894-7

2019
Edition 1

€100 €90
10% OFF
AI 2023: Advances in Artificial Intelligence

36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28–December 1, 2023, Proceedings, Part I

Tongliang Liu; Geoff Webb; Lin Yue; Dadong Wang

978-981-99-8388-9

2024
Edition 1

€180 €162
10% OFF
Advanced Technologies for Sustainable Systems

Selected Contributions from the International Conference on Sustainable Vital Technologies in Engineering and Informatics, BUE ACE1 2016, 7-9 November 2016, Cairo, Egypt

Yehia Bahei-El-Din; Maguid Hassan

978-3-319-48725-0

2017
Edition 1

€100 €90
10% OFF
PRICAI 2021: Trends in Artificial Intelligence

18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8–12, 2021, Proceedings, Part II

Duc Nghia Pham; Thanaruk Theeramunkong; Guido Governatori; Fenrong Liu

978-3-030-89363-7

2021
Edition 1

€180 €162
10% OFF
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II

Zahir Tari

978-3-540-76843-2

2007
Edition 1

€180 €162
10% OFF
Data Quality and Trust in Big Data

5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papers

Hakim Hacid; Quan Z. Sheng; Tetsuya Yoshida; Azadeh Sarkheyli; Rui Zhou

978-3-030-19143-6

2019
Edition 1

€100 €90
10% OFF
Digital-for-Development: Enabling Transformation, Inclusion and Sustainability Through ICTs

12th International Development Informatics Association Conference, IDIA 2022, Mbombela, South Africa, November 22–25, 2022, Revised Selected Papers

Patrick Ndayizigamiye; Hossana Twinomurinzi; Billy Kalema; Kelvin Bwalya; Mncedisi Bembe

978-3-031-28472-4

2023
Edition 1

€160 €144
10% OFF
Pattern Recognition and Computer Vision

8th Asian Conference on Pattern Recognition, ACPR 2025, Gold Coast, QLD, Australia, November 10–13, 2025, Proceedings, Part II

Christian Wallraven; Ran He; Brian Lovell; Prithwi Chakraborty

978-981-95-4398-4

2026
Edition 1

€160 €144
10% OFF
Pearl 2000

Echtzeitbetriebssysteme und LINUX Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 23./24. November 2000

Peter Holleczek

978-3-642-59575-2

2000
Edition 1

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