License single eBooks

Your results

View Cart

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Giorgio Ausiello; Juhani Karhumäki; Giancarlo Mauri; Luke Ong

978-0-387-09680-3

2008
Edition 1

€280
Formal Methods and Software Engineering

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Lindsay Groves; Jing Sun

978-3-642-41202-8

2013
Edition 1

€100
Process Support and Knowledge Representation in Health Care

AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013. Revised Selected Papers

David Riano; Richard Lenz; Silvia Miksch; Mor Peleg; Manfred Reichert; Annette ten Teije

978-3-319-03916-9

2013
Edition 1

€100
Advances in Visual Computing

4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, Proceedings, Part II

Richard Boyle; Bahram Parvin; Darko Koracin; Fatih Porikli; Jörg Peters; James Klosowski; Laura Arns; Yu Ka Chun; Theresa-Marie Rhyne; Laura Monroe

978-3-540-89646-3

2008
Edition 1

€180
The Semantic Web

22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1–5, 2025, Proceedings, Part II

Edward Curry; Maribel Acosta; Maria Poveda-Villalón; Marieke van Erp; Adegboyega Ojo; Katja Hose; Cogan Shimizu; Pasquale Lisena

978-3-031-94578-6

2025
Edition 1

€130
Computational Intelligence

9th International Joint Conference, IJCCI 2017 Funchal-Madeira, Portugal, November 1-3, 2017 Revised Selected Papers

Christophe Sabourin; Juan Julian Merelo; Kurosh Madani; Kevin Warwick

978-3-030-16469-0

2019
Edition 1

€180
Recent Advances in the Message Passing Interface

32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1–3, 2025, Proceedings

Joseph Schuchart; Aurelien Bouteiller; Sascha Hunold; Julien Jaeger; Christoph Niethammer; Brian Smith

978-3-032-07194-1

2026
Edition 1

€100
Physiological Limitations and the Genetic Improvement of Symbiotic Nitrogen Fixation

Proceedings of an International Conference on the Physiological Limitations and the Genetic Improvement of Symbiotic Nitrogen Fixation, Cork, Ireland, September 1–3, 1987

F. O'Gara; S. Manian; J.J. Drevon

978-94-009-1401-8

1988
Edition 1

€100
Cognitive Systems and Signal Processing

4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, Revised Selected Papers, Part I

Fuchun Sun; Huaping Liu; Dewen Hu

978-981-13-7983-3

2019
Edition 1

€100
Blended Learning. Intelligent Computing in Education

17th International Conference on Blended Learning, ICBL 2024, Macao SAR, China, July 29 – August 1, 2024, Proceedings

Will W. K. Ma; Chen Li; Chun Wai Fan; Leong Hou U; Angel Lu

978-981-97-4442-8

2024
Edition 1

€150
Computer Science and Educational Informatization

6th International Conference, CSEI 2024, Haikou, China, November 1–3, 2024, Revised Selected Papers, Part II

Kun Zhang; Xianhua Song; Mohammad S. Obaidat; Anas Bilal; Jun Hu; Zeguang Lu

978-981-96-3738-6

2025
Edition 1

€150
Stochastic Differential Systems

Filtering and Control Proceedings of the IFIP-WG 7/1 Working Conference Marseille-Luminy, France, March 12–17, 1984

M. Metivier; E. Pardoux

978-3-540-39253-8

1985
Edition 1

€100
Advances in Information Retrieval

43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part I

Djoerd Hiemstra; Marie-Francine Moens; Josiane Mothe; Raffaele Perego; Martin Potthast; Fabrizio Sebastiani

978-3-030-72113-8

2021
Edition 1

€220
6th International Conference on Nanotechnologies and Biomedical Engineering

Proceedings of ICNBME-2023, September 20–23, 2023, Chisinau, Moldova - Volume 1: Nanotechnologies and Nano-biomaterials for Applications in Medicine

Victor Sontea; Ion Tiginyanu; Serghei Railean

978-3-031-42775-6

2024
Edition 1

€419
Practice and Theory of Automated Timetabling VI

6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers

Edmund Burke; Hana Rudová

978-3-540-77345-0

2007
Edition 1

€100
Cellular Automata and Discrete Complex Systems

29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023, Proceedings

Luca Manzoni; Luca Mariot; Dipanwita Roy Chowdhury

978-3-031-42250-8

2023
Edition 1

€120
Advances in Biomedical and Veterinary Engineering

Selected Contributions to the 1st European Congress on Biomedical and Veterinary Engineering, BioMedVetMech 2022, October 1–3, 2022, Zagreb, Croatia

Petra Bonačić Bartolin; Ratko Magjarević; Matthew Allen; Michael Sutcliffe

978-3-031-42243-0

2024
Edition 1

€280
IUTAM Symposium on Geometry and Statistics of Turbulence

Proceedings of the IUTAM Symposium held at the Shonan International Village Center, Hayama (Kanagawa-ken), Japan, November 1–5, 1999

T. Kambe; T. Nakano; T. Miyauchi

978-94-015-9638-1

2001
Edition 1

€280
Computer Vision -- ACCV 2014

12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part II

Daniel Cremers; Ian Reid; Hideo Saito; Ming-Hsuan Yang

978-3-319-16808-1

2015
Edition 1

€100
Geometric Science of Information

6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part II

Frank Nielsen; Frédéric Barbaresco

978-3-031-38299-4

2023
Edition 1

€180
AIxIA 2021 – Advances in Artificial Intelligence

20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1–3, 2021, Revised Selected Papers

Stefania Bandini; Francesca Gasparini; Viviana Mascardi; Matteo Palmonari; Giuseppe Vizzari

978-3-031-08421-8

2022
Edition 1

€200
Advances in Computer Graphics

41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part II

Nadia Magnenat-Thalmann; Jinman Kim; Bin Sheng; Zhigang Deng; Daniel Thalmann; Ping Li

978-3-031-82021-2

2025
Edition 1

€130
Operations Research Proceedings 2023

Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Germany, August 29 - September 1, 2023

Guido Voigt; Malte Fliedner; Knut Haase; Wolfgang Brüggemann; Kai Hoberg; Joern Meissner

978-3-031-58405-3

2025
Edition 1

€440
Multimodal Learning for Clinical Decision Support

11th International Workshop, ML-CDS 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, Proceedings

Tanveer Syeda-Mahmood; Xiang Li; Anant Madabhushi; Hayit Greenspan; Quanzheng Li; Richard Leahy; Bin Dong; Hongzhi Wang

978-3-030-89847-2

2021
Edition 1

€110
Intelligent Autonomous Systems 12

Volume 1: Proceedings of the 12th International Conference IAS-12, Held June 26-29, 2012, Jeju Island, Korea

Sukhan Lee; Hyungsuck Cho; Kwang-Joon Yoon; Jangmyung Lee

978-3-642-33926-4

2013
Edition 1

€678
Information Security Theory and Practice

14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 – March 1, 2024, Proceedings

Samia Bouzefrane; Damien Sauveron

978-3-031-60391-4

2024
Edition 1

€110
Berichte des Ausschusses für Versuche im Eisenbau

Ausgabe A Heft 1 Der Einfluß der Nietlöcher auf die Längenänderung von Zugstäben und die Spannungsverteilung in ihnen

Max Rudelhoff; NA V. dt. Brücken- u. Eisenbau-Fabr.

978-3-642-94172-6

1915
Edition 1

€201
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications

Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997.

Wayne Wobcke; Maurice Pagnucco; Chengqi Zhang

978-3-540-68722-1

1998
Edition 1

€100
Weak Interactions

Invited Papers presented at the second international Summer School for Theoretical Physics University of Karlsruhe (July 14 – August 1, 1969)

Gerhard Höhler; Atsushi Fujimori; Johann Kühn; Thomas Müller; Frank Steiner; William C. Stwalley; Joachim E. Trümper; Peter Wölfle; Ulrike Woggon

978-3-540-36316-3

1970
Edition 1

€180
Bridging Between Cultural Heritage Institutions

9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31 -- February 1, 2013. Revised Selected Papers

Tiziana Catarci; Nicola Ferro; Antonella Poggi

978-3-642-54347-0

2014
Edition 1

€100
Web and Big Data

APWeb-WAIM 2019 International Workshops, KGMA and DSEA, Chengdu, China, August 1–3, 2019, Revised Selected Papers

Jingkuan Song; Xiaofeng Zhu

978-3-030-33982-1

2019
Edition 1

€100
Advances in Cryptology - ASIACRYPT 2002

8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings

Yuliang Zheng

978-3-540-36178-7

2002
Edition 1

€100
TCP 2014

Proceedings of the 6th International Conference on Trapped Charged Particles and Fundamental Physics, held in Takamatsu, Japan, 1-5, December 2014

Michiharu Wada; Peter Schury; Yuichi Ichikawa

978-3-319-61588-2

2017
Edition 1

€180
Metal-Ligand Interactions in Organic Chemistry and Biochemistry

Part 1 Proceedings of the Ninth Jerusalem Symposium on Quantum Chemistry and Biochemistry Held in Jerusalem, March 29th–April 2nd, 1976

A. Pullman; N. Goldblum

978-94-010-1170-9

1977
Edition 1

€100
Financial Cryptography and Data Security

25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II

Nikita Borisov; Claudia Diaz

978-3-662-64331-0

2021
Edition 1

€180
Advances in Cryptology – EUROCRYPT 2006

25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings

Serge Vaudenay

978-3-540-34547-3

2006
Edition 1

€100
Progress in Artificial Intelligence

24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1–3, 2025, Proceedings, Part II

José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso

978-3-032-05179-0

2026
Edition 1

€146
Interactive Storytelling

4th International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28-1 December, 2011, Proceedings

Mei Si; David Thue; Elisabeth André; James Lester; Joshua Tanenbaum; Veronica Zammitto

978-3-642-25289-1

2011
Edition 1

€100
Trust Management V

5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings

Ian Wakeman; Ehud Gudes; Christian Damsgaard Jensen; Jason Crampton

978-3-642-22200-9

2011
Edition 1

€100
On the Move to Meaningful Internet Systems: OTM 2009

Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II

Robert Meersman; Tharam Dillon; Pilar Herrero

978-3-642-05151-7

2009
Edition 1

€180
Emerging Directions in Embedded and Ubiquitous Computing

EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings

Xiaobo Zhou; Oleg Sokolsky; Lu Yan; Eun-Sun Jung; Zili Shao; Yi Mu; Dong-Chun Lee; Daeyoung Kim; Young-Sik Jeong; Cheng-Zhong Xu

978-3-540-36851-9

2006
Edition 1

€280
Future Data and Security Engineering

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Tran Khanh Dang; Roland Wagner; Josef Küng; Nam Thoai; Makoto Takizawa; Erich J. Neuhold

978-3-319-70004-5

2017
Edition 1

€100
System Analysis and Modeling

4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

Daniel Amyot; Alan W. Williams

978-3-540-31810-1

2005
Edition 1

€100
Information Security Theory and Practice: Security and Privacy of Mobile Devices in Wireless Communication

5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011, Proceedings

Claudio Agostino Ardagna; Jianying Zhou

978-3-642-21040-2

2011
Edition 1

€100
The Semantic Web: Research and Applications

Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings

Asuncion Gómez-Pérez; Jerome Euzenat

978-3-540-31547-6

2005
Edition 1

€180
Computer Vision -- ACCV 2014

12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV

Daniel Cremers; Ian Reid; Hideo Saito; Ming-Hsuan Yang

978-3-319-16817-3

2015
Edition 1

€100
Sensor Systems and Software

7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers

Michele Magno; Fabien Ferrero; Vedran Bilas

978-3-319-61563-9

2017
Edition 1

€80
Web and Big Data

Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part II

Jie Shao; Man Lung Yiu; Masashi Toyoda; Dongxiang Zhang; Wei Wang; Bin Cui

978-3-030-26075-0

2019
Edition 1

€146
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data

Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings

Andreas Holzinger; Gabriella Pasi

978-3-642-39146-0

2013
Edition 1

€100
Testing Software and Systems

36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings

Héctor D. Menéndez; Gema Bello-Orgaz; Pepita Barnard; John Robert Bautista; Arya Farahi; Santanu Dash; DongGyun Han; Sophie Fortz; Victor Rodriguez-Fernandez

978-3-031-80889-0

2025
Edition 1

€130

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.