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

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Christiano Braga; Narciso Martí-Oliet

978-3-319-15075-8

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€80 €72
10% OFF
Advances in Bioinformatics and Computational Biology

11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

Ronnie Alves

978-3-030-01722-4

2018
Edition 1
€100 €90
10% OFF
Human-Computer Interaction – INTERACT 2023

19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I

José Abdelnour Nocera; Marta Kristín Lárusdóttir; Helen Petrie; Antonio Piccinno; Marco Winckler

978-3-031-42280-5

2023
Edition 1
€180 €162
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part V

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78169-8

2025
Edition 1
€160 €144
10% OFF
White Dwarfs

Proceedings of the 9th European Workshop on White Dwarfs Held at Kiel, Germany, 29 August – 1 September 1994

Detlev Koester; Klaus Werner

978-3-540-49202-3

1995
Edition 1
€100 €90
10% OFF
Pattern Recognition and Artificial Intelligence

Third International Conference, ICPRAI 2022, Paris, France, June 1–3, 2022, Proceedings, Part II

Mounîm El Yacoubi; Eric Granger; Pong Chi Yuen; Umapada Pal; Nicole Vincent

978-3-031-09282-4

2022
Edition 1
€280 €252
10% OFF
Software Engineering Education

8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995. Proceedings

Rosalind L. Ibrahim

978-3-540-49167-5

1995
Edition 1
€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78201-5

2025
Edition 1
€160 €144
10% OFF
Cyber Security, Cryptology, and Machine Learning

6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 – July 1, 2022, Proceedings

Shlomi Dolev; Jonathan Katz; Amnon Meisels

978-3-031-07689-3

2022
Edition 1
€180 €162
10% OFF
System Analysis and Modeling: Theory and Practice

7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

Oystein Haugen; Rick Reed; Reinhard Gotzhein

978-3-642-36757-1

2013
Edition 1
- Up-to-date results in system analysis and modeling
- Fast-track conference proceedings
- State-of-the-art research
€90 €81
10% OFF
Security and Privacy in the Age of Ubiquitous Computing

IFIP TC11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, Japan

Ryoichi Sasaki; Eiji Okamoto; Hiroshi Yoshiura

978-0-387-25660-3

2005
Edition 1
- Presents the most up-to-date research on information security issues including practical applications
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
Computer Science and Education. Teaching and Curriculum

18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1–7, 2023, Proceedings, Part II

Wenxing Hong; Geetha Kanaparan

978-981-97-0791-1

2024
Edition 1
€160 €144
10% OFF
Inhalts- und Schrankenbestimmungen des Grundeigentums zum Schutz der natürlichen Lebensgrundlagen

Das Verhältnis von Art. 14 Abs. 1 und 2 GG zu Art. 20a GG

Daniela Blasberg

978-3-540-77739-7

2008
Edition 1
- Analyse des Konflikts zwischen Grundeigentum und Umweltschutz
- Includes supplementary material: sn.pub/extras
€366 €329
10% OFF
Artificial Intelligence for Communications and Networks

4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

Yasushi Kambayashi; Ngoc Thanh Nguyen; Shu-Heng Chen; Petre Dini; Munehiro Takimoto

978-3-031-29126-5

2023
Edition 1
€130 €117
10% OFF
Heat Pump Fundamentals

Proceedings of the NATO Advanced Study Institute on Heat Pump Fundamentals, Espinho, Spain, September 1–12, 1980

J. Berghmans

978-94-009-6818-9

1983
Edition 1
€100 €90
10% OFF
Theory of Cryptography

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

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12293-3

2026
Edition 1
€146 €131
10% OFF
Advances in Automation and Robotics, Vol.2

Selected papers from the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011

Gary Lee

978-3-642-25646-2

2012
Edition 1
- Latest research on Automation and Robotics
- Selected papers from the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011
- Written by leading experts in the field
€400 €360
10% OFF
Algorithms and Models for the Web-Graph

Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006, Revised Papers

William Aiello; Andrei Broder; Jeannette Janssen; Evangelos Milios

978-3-540-78808-9

2008
Edition 1
€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXIV

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78383-8

2025
Edition 1
€160 €144
10% OFF
Selecta Mathematica I

Maschinenerzeugte 0-1 Folgen. Rot und Schwarz. Das Äquivalenzprinzip.Die kombinatorischen arcsin-Gesetze. Der Heiratssatz

K. Jacobs; E.S. Andersen; G. Baxter; J.P. Imhof

978-3-642-95113-8

1969
Edition 1
€486 €437
10% OFF
Knowledge Science, Engineering and Management

4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings

Yaxin Bi; Mary Anne Williams

978-3-642-15280-1

2010
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€180 €162
10% OFF
Weightlessness—Physical Phenomena and Biological Effects

Proceedings of the Symposium on Physical and Biological Phenomena Under Zero G Conditions Held July 1, 1960 at Hawthorne, California

Elliot T. Benedikt

978-1-4899-6279-9

1961
Edition 1
€100 €90
10% OFF
Advances in Intelligent Systems

Selected papers from 2012 International Conference on Control Systems (ICCS 2012), March 1-2, Hong Kong

Gary Lee

978-3-642-27869-3

2012
Edition 1
- Latest research on Control Systems
- Selected papers from from 2012 International Conference on Control System (ICCS 2012), March 1-2, Hong Kong
- Written by leading experts in the field
€400 €360
10% OFF
Concept Lattices and Their Applications

Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

Sadok Ben Yahia; Engelbert Mephu Nguifo; Radim Belohlavek

978-3-540-78921-5

2008
Edition 1
€100 €90
10% OFF
Social Robotics

8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings

Arvin Agah; John-John Cabibihan; Ayanna M. Howard; Miguel A. Salichs; Hongsheng He

978-3-319-47437-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Natural Language Processing and Chinese Computing

13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part I

Derek F. Wong; Zhongyu Wei; Muyun Yang

978-981-97-9431-7

2025
Edition 1
€180 €162
10% OFF
Service-Oriented Computing

21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I

Flavia Monti; Stefanie Rinderle-Ma; Antonio Ruiz Cortés; Zibin Zheng; Massimo Mecella

978-3-031-48421-6

2023
Edition 1
€150 €135
10% OFF
Combinatorial Pattern Matching

26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

Ferdinando Cicalese; Ely Porat; Ugo Vaccaro

978-3-319-19929-0

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

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXVIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78104-9

2025
Edition 1
€280 €252
10% OFF
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks

Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers

Henning Schulzrinne; Radu State; Saverio Niccolini

978-3-540-89054-6

2008
Edition 1
€100 €90
10% OFF
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II

Honghai Liu; Zhouping Yin; Lianqing Liu; Li Jiang; Guoying Gu; Xinyu Wu; Weihong Ren

978-3-031-13822-5

2022
Edition 1
€220 €198
10% OFF
Computer Supported Education

6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers

Susan Zvacek; Maria Teresa Restivo; James Uhomoibhi; Markus Helfert

978-3-319-25768-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Quark Cluster Dynamics

Proceedings of the 99th WE-Heraeus Seminar Held at the Physikzentrum Bad Honnef, Germany 29 June – 1 July 1992

Klaus Goeke; Peter Kroll; Herbert-Rainer Petry

978-3-540-47560-6

1993
Edition 1
€100 €90
10% OFF
Fun with Algorithms

7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

Alfredo Ferro; Fabrizio Luccio; Peter Widmayer

978-3-319-07890-8

2014
Edition 1
€100 €90
10% OFF
Digital Watermarking

9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers

Hyoung-Joong Kim; Yun Q. Shi; Mauro Barni

978-3-642-18405-5

2011
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXX

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78113-1

2025
Edition 1
€280 €252
10% OFF
Object Databases

Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Selected Papers

Moira C. Norrie; Michael Grossniklaus

978-3-642-14681-7

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100 €90
10% OFF
Advances in Swarm Intelligence

8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61824-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
VLISP A Verified Implementation of Scheme

A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

Joshua D. Guttman; Mitchell Wand

978-1-4615-2339-0

1995
Edition 1
€280 €252
10% OFF
Advances in Applied Microeconomics

International Conference on Applied Economics (ICOAE) 2024, Belgrade, Republic of Serbia, July 11-13, Vol 1

Nicholas Tsounis; Aspasia Vlachvei

978-3-031-76654-1

2025
Edition 1
- Offers advance methods and applications in empirical macroeconomic research
- Examines applications in health economics, labor economics, financial economics, and agricultural economics
- Features country specific studies with economic policy conclusions
€559 €503
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XV

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78354-8

2025
Edition 1
€280 €252
10% OFF
Mathematical Foundations of Computer Science 1995

20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings

Jiri Wiedermann; Petr Hajek

978-3-540-44768-9

1995
Edition 1
€180 €162
10% OFF
Image and Video Technology

6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013, Proceedings

Reinhard Klette; Mariano Rivera; Shin`ichi Satoh

978-3-642-53842-1

2014
Edition 1
- Up-to-date results
- Fast conference proceedings tracks of PSIVT 2013
€100 €90
10% OFF
Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Jacques Calmet; Belaid Benhamou; Olga Caprotti; Laurent Henocque; Volker Sorge

978-3-540-45470-0

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Graph-Theoretic Concepts in Computer Science

International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings

Herbert Göttler; Hans-Jürgen Schneider

978-3-540-39264-4

1988
Edition 1
€100 €90
10% OFF
Reconfigurable Computing: Architectures and Applications

Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers

Koen Bertels; João M.P. Cardoso; Stamatis Vassiliadis

978-3-540-36863-2

2006
Edition 1
€100 €90
10% OFF
Data Management and Analytics for Medicine and Healthcare

Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings

Edmon Begoli; Fusheng Wang; Gang Luo

978-3-319-67186-4

2017
Edition 1
€100 €90
10% OFF
Numerical Methods for the Simulation of Multi-Phase and Complex Flow

Proceedings of a Workshop Held at Koninklijke/Shell-Laboratorium, Amsterdam Amsterdam, The Netherlands, 30 May – 1 June 1990

T.M.M. Verheggen

978-3-540-47007-6

1992
Edition 1
€100 €90
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XVIII

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78456-9

2025
Edition 1
€320 €288
10% OFF
Pattern Recognition

27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXV

Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal

978-3-031-78389-0

2025
Edition 1
€160 €144
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.