License single eBooks

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

€80
Modeling and Simulation in Engineering, Economics, and Management

International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012, Proceedings

Kurt J. Engemann; Anna M. Gil-Lafuente; José M. Merigó-Lindahl

978-3-642-30433-0

2012
Edition 1

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

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

€90
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
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
Pattern Recognition

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

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

978-3-031-78195-7

2025
Edition 1

€146
NASA Formal Methods

6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Julia M. Badger; Kristin Yvonne Rozier

978-3-319-06200-6

2014
Edition 1

€100
The State of the Art in Computational Intelligence

Proceedings of the European Symposium on Computational Intelligence held in Košice, Slovak Republic, August 30-September 1, 2000

Peter Sincak; L.A. Zadeh; Jan Vascak; D.E. Goldberg; Vladimir Kvasnicka; K. Fukushima; Radko Mesiar

978-3-7908-1844-4

2000
Edition 1

€100
Artificial Intelligence Perspectives and Applications

Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications

Radek Silhavy; Roman Senkerik; Zuzana Kominkova Oplatkova; Zdenka Prokopova; Petr Silhavy

978-3-319-18476-0

2015
Edition 1

€180
Computational Mechanics '86

Theory and Applications Proceedings of International Conference on Computational Mechanics, May 25–29, 1986, Tokyo: Volume 1

Genki Yagawa; Satya N. Atluri

978-4-431-68042-0

1986
Edition 1

€154
Pattern Recognition

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

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

978-3-031-78166-7

2025
Edition 1

€140
Advances in Computational Collective Intelligence

13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 – October 1, 2021, Proceedings

Krystian Wojtkiewicz; Jan Treur; Elias Pimenidis; Marcin Maleszka

978-3-030-88113-9

2021
Edition 1

€220
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)

Josep Diaz; Fernando Orejas

978-3-540-46116-6

1989
Edition 1

€100
Power-Aware Computer Systems

Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers

Babak Falsafi; T. N. Vijaykumar

978-3-540-28641-7

2005
Edition 1

€100
Software Composition

11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Thomas Gschwind; Flavio De Paoli; Volker Gruhn; Matthias Book

978-3-642-30564-1

2012
Edition 1

€100
Euro-Par 2023: Parallel Processing

29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings

José Cano; Marios D. Dikaiakos; George A. Papadopoulos; Miquel Pericàs; Rizos Sakellariou

978-3-031-39698-4

2023
Edition 1

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

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

€146
Pattern Recognition

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

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

978-3-031-78189-6

2025
Edition 1

€146
Proceedings of the 5th International Conference on Numerical Modelling in Engineering

Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

Magd Abdel Wahab

978-981-19-8429-7

2023
Edition 1

€418
Integration of AI and OR Techniques in Constraint Programming

13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

Claude-Guy Quimper

978-3-319-33954-2

2016
Edition 1

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

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

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

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

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

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

€400
Rules in Database Systems

Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September 1993

Norman W. Paton; M.Howard Williams

978-1-4471-3225-7

1994
Edition 1

€100
Pattern Recognition

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

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

978-3-031-78498-9

2025
Edition 1

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

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

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

€100
Advances in Cryptology - ASIACRYPT '94

4th International Conference on the Theory and Application of Cryptology, Wollongong, Australia, November 28 - December 1, 1994. Proceedings

Josef Pieprzyk; Reihanah Safavi-Naini

978-3-540-49236-8

1995
Edition 1

€160
Flexible Automation and Intelligent Manufacturing: The Future of Automation and Manufacturing: Intelligence, Agility, and Sustainability

Proceedings of FAIM 2025, June 21–24, 2025, New York City, NY, USA, Volume 1

Krishnaswami Srihari; Mohammad T. Khasawneh; Sangwon Yoon; Daehan Won

978-3-032-07675-5

2026
Edition 1

€459
Information Security and Privacy

20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings

Ernest Foo; Douglas Stebila

978-3-319-19962-7

2015
Edition 1

€100
Wireless Communications and Applications

First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers

Patrick Sénac; Max Ott; Aruna Seneviratne

978-3-642-29157-9

2012
Edition 1

€100
Pattern Recognition

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

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

978-3-031-78128-5

2025
Edition 1

€260
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
Pattern Recognition

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

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

978-3-031-78444-6

2025
Edition 1

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

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.