License single eBooks

Your results

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Christoph Benzmüller; Marijn J.H. Heule; Renate A. Schmidt

978-3-031-63501-4

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
PCs in der betrieblichen Datenverarbeitung

Anwendung — Organisation — Technik Beiträge des 3. deutschen PC-Kongresses 1985, durchgeführt von ASB, BIFOA, GMI

Dietrich Seibt; Helmut Weber

978-3-322-86047-7

1986
Edition 1
€201
Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Inmaculada Medina-Bulo; Mercedes G. Merayo; Robert Hierons

978-3-319-99927-2

2018
Edition 1
€100
Pearl 93

Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 2./3. Dezember 1993

Peter Holleczek

978-3-642-78658-7

1993
Edition 1
€201
Advances in Digital Human Modeling III

Proceedings of the 10th International Digital Human Modeling Symposium, DHM 2026, July 1-3, 2026, Maribor, Slovenia

Gregor Harih; Vasja Plesec

978-3-032-30159-8

2026
Edition 1
- Reports on cutting-edge modeling and simulation research applied to biomechanics and ergonomics
- Prioritizes inclusive design for diverse body shapes and abilities
- Covers diverse applications across automotive, ergonomics, and healthcare sectors
€400

Not published yet

Available from
2026-08-20
Implementation and Application of Functional Languages

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill; Jurriaan Hage

978-3-642-34407-7

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90
Information Retrieval Technology

6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings

Pu-Jen Cheng; Min-Yen Kan; Wai Lam; Preslav Nakov

978-3-642-17187-1

2010
Edition 1
€180
Telematics and Computing

14th International Congress of Telematics and Computing, WITCOM 2025, Huatulco, Mexico, November 3–7, 2025, Proceedings, Part I

Miguel Félix Mata-Rivera; Roberto Zagal-Flores; Cristian Barria-Huidobro

978-3-032-09735-4

2026
Edition 1
€180
GeoSensor Networks

Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

Silvia Nittel; Alexandros Labrinidis; Anthony Stefanidis

978-3-540-79996-2

2008
Edition 1
€100
Information Security and Cryptology

7th International Conference, Inscrypt 2011, Beijing, China, November 30 -- December 3, 2011. Revised Selected Papers

Chuan-Kun Wu; Moti Yung; Dongdai Lin

978-3-642-34704-7

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Local Area Network Security

Workshop LANSEC '89. European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3-6, 1989. Proceedings

Thomas A. Berson; Thomas Beth

978-3-540-46802-8

1989
Edition 1
€46
Electronic Participation

Fourth IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012, Proceedings

Efthimios Tambouris; Ann Macintosh; Øystein Sæbø

978-3-642-33250-0

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Natural Language Processing and Chinese Computing

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

Derek F. Wong; Zhongyu Wei; Muyun Yang

978-981-97-9440-9

2025
Edition 1
€180
Advances in Computational Intelligence Systems

Contributions Presented at The 24th UK Workshop on Computational Intelligence (UKCI 2025), September 3-5, 2025, Edinburgh, UK

Emma Hart; Tomas Horvath; Zhiyuan Tan; Sarah Thomson

978-3-032-07938-1

2026
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 24th UK Workshop on Computational Intelligence
€400
Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Rajeev Alur; Thomas Henzinger

978-3-540-68599-9

1996
Edition 1
€100
Computer Science - Theory and Applications

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings

Volker Diekert; Mikhail Volkov; Andrei Voronkov

978-3-540-74510-5

2007
Edition 1
€100
Syphilis und Innere Medizin

Die Syphilis des Zirkulations- und Respirationstraktes und der innersekretorischen Drüsen. Syphilis und Blutkrankheiten. Vol. 3

Hermann Schlesinger

978-3-7091-4701-6

1928
Edition 1
€294
Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Kung-Kiu Lau; Timothy P. Clement

978-1-4471-3560-9

1993
Edition 1
€100
Neural Information Processing

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

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46485-3

2006
Edition 1
€240
Electronic Participation

6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

Efthimios Tambouris; Ann Macintosh; Frank Edward Bannister

978-3-662-44914-1

2014
Edition 1
€80
Symmetries in Physics

Proceedings of the International Symposium Held in Honor of Professor Marcos Moshinsky at Cocoyoc, Morelos, México, June 3–7, 1991

Alejandro Frank; Kurt B. Wolf

978-3-642-77284-9

1992
Edition 1
€180
Farm animal proteomics

Proceedings of the 3rd Managing Committee Meeting and 2nd Meeting of Working Groups 1, 2 & 3 of COST Action FA1002

Pedro Rodrigues; David Eckersall; André de Almeida

978-90-8686-751-6

2012
Edition 1
- Encompasses a wide range of topics: from muscle and meat proteomics to acute phase proteins and proteomics in aquaculture, to name but a few
- Presents the state of the art in farm animal proteomics research in Europe
- Will be of interest to scientists at the cutting edge of animal and veterinary research
- Provides an insight for proteomic specialists in demonstrating the breadth of applications that their technology can have in animal and food research
€92
Mobile as Mainstream - Towards Future Challenges in Mobile Learning

13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014. Proceedings

Marco Kalz; Yasemin Bayyurt; Marcus Specht

978-3-319-13416-1

2014
Edition 1
€100
Advances in Soft Computing. MICAI 2025 Posters Track

24th Mexican International Conference on Artificial Intelligence, MICAI 2025, Guanajuato, Mexico, November 3-7, 2025, Proceedings

Lourdes Martínez-Villaseñor; Roberto A. Vázquez; Gilberto Ochoa-Ruiz

978-3-032-08704-1

2025
Edition 1
€220
Progress in Cryptology – LATINCRYPT 2025

9th International Conference on Cryptology and Information Security in Latin America, Medellín, Colombia, October 1–3, 2025, Proceedings

Daniel Escudero; Ivan Damgård

978-3-032-06754-8

2026
Edition 1
€146
Computer Science and Educational Informatization

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

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

978-981-96-3735-5

2025
Edition 1
€160
Design and Analysis of Algorithms

First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings

Guy Even; Dror Rawitz

978-3-642-34862-4

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Advances in Superconductivity X

Proceedings of the 10th International Symposium on Superconductivity (ISS ’97), October 27–30, 1997, Gifu Volume 1–3

Kozo Osamura; Izumi Hirabayashi

978-4-431-66879-4

1998
Edition 1
- Presents the most up-to-date information by the world leading researchers * Covers a broad range of development in superconductivity, from fundamental aspects to applications
€280
Computer Vision and Image Processing

8th International Conference, CVIP 2023, Jammu, India, November 3–5, 2023, Revised Selected Papers, Part I

Harkeerat Kaur; Vinit Jakhetiya; Puneet Goyal; Pritee Khanna; Balasubramanian Raman; Sanjeev Kumar

978-3-031-58181-6

2024
Edition 1
€180
Interactive Storytelling

Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings

Ruth Aylett; Mei Yii Lim; Sandy Louchart; Paolo Petta; Mark Riedl

978-3-642-16638-9

2010
Edition 1
€100
Digital-Forensics and Watermarking

11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected Papers

Yun Q. Shi; Fernando Pérez-González; Hyoung Joong Kim

978-3-642-40099-5

2013
Edition 1
- 11th International Workshop on Digital Forensics and Watermarking, IWDW 2012
€100
Electronic Participation

16th IFIP WG 8.5 International Conference, ePart 2024, Ghent, Belgium, September 3–5, 2024, Proceedings

Marius Rohde Johannessen; Csaba Csáki; Lieselot Danneels; Sara Hofmann; Thomas Lampoltshammer; Peter Parycek; Gerhard Schwabe; Efthimios Tambouris; Jolien Ubacht

978-3-031-70804-6

2024
Edition 1
€140
Advanced Data Mining and Applications

20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part IV

Quan Z. Sheng; Gill Dobbie; Jing Jiang; Xuyun Zhang; Wei Emma Zhang; Yannis Manolopoulos; Jia Wu; Wathiq Mansoor; Congbo Ma

978-981-96-0840-9

2025
Edition 1
€160
Foundations and Practice of Security

13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1–3, 2020, Revised Selected Papers

Gabriela Nicolescu; Assia Tria; José M. Fernandez; Jean-Yves Marion; Joaquin Garcia-Alfaro

978-3-030-70881-8

2021
Edition 1
€100
Science, Engineering Management and Information Technology

First International Conference, SEMIT 2022, Ankara, Turkey, February 2–3, 2022, Revised Selected Papers, Part I

Abolfazl Mirzazadeh; Babek Erdebilli; Erfan Babaee Tirkolaee; Gerhard-Wilhelm Weber; Arpan Kumar Kar

978-3-031-40395-8

2023
Edition 1
€160
Asia Pacific Business Process Management

Second Asia Pacific Conference, AP-BPM 2014, Brisbane, QLD, Australia, July 3-4, 2014, Proceedings

Chun Ouyang; Jae-Yoon Jung

978-3-319-08222-6

2014
Edition 1
€80
Computational Linguistics and Intelligent Text Processing

17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part I

Alexander Gelbukh

978-3-319-75477-2

2018
Edition 1
€100
Advances in Cryptology -- ASIACRYPT 2006

12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings

Xuejia Lai; Kefei Chen

978-3-540-49476-8

2006
Edition 1
€100
Radiation Trapped in the Earth’s Magnetic Field

Proceedings of the Advanced Study Institute Held at the Chr. Michelsen Institute, Bergen, Norway August 16–September 3, 1965

Billy McCormac

978-94-010-3553-8

1966
Edition 1
€180
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 3: Die neuen Länder: Rückblick und Perspektiven

Jugendwerk der Deutschen Shell

978-3-322-95893-8

1992
Edition 1
€220
Benchmarking, Measuring, and Optimizing

15th BenchCouncil International Symposium, Bench 2023, Sanya, China, December 3–5, 2023, Revised Selected Papers

Sascha Hunold; Biwei Xie; Kai Shu

978-981-97-0316-6

2024
Edition 1
€110
Information Security and Privacy

22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part II

Josef Pieprzyk; Suriadi Suriadi

978-3-319-59870-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Neural Information Processing

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

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46482-2

2006
Edition 1
€240
Descriptional Complexity of Formal Systems

19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Giovanni Pighizzini; Cezar Câmpeanu

978-3-319-60252-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Digital Forensics XVIII

18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers

Gilbert Peterson; Sujeet Shenoi

978-3-031-10078-9

2022
Edition 1
€180
Metadata and Semantic Research

15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers

Emmanouel Garoufallou; María-Antonia Ovalle-Perandones; Andreas Vlachidis

978-3-030-98876-0

2022
Edition 1
€160
Artificial Intelligence and Soft Computing

11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II

Leszek Rutkowski; Marcin Korytkowski; Rafał Scherer; Ryszard Tadeusiewicz; Lotfi Zadeh; Jacek Zurada

978-3-642-29350-4

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
CONTROLO 2020

Proceedings of the 14th APCA International Conference on Automatic Control and Soft Computing, July 1-3, 2020, Bragança, Portugal

José Alexandre Gonçalves; Manuel Braz-César; João Paulo Coelho

978-3-030-58653-9

2021
Edition 1
- Reports on the latest advances in control engineering
- Strongly focuses on control and robotics for industrial applications
- Offers a good balance of theories and practices
€578
High-Energy Ion-Atom Collisions

Proceedings of the 3rd Workshop on High-Energy Ion-Atom Collisions, Held in Debrecen, Hungary, August 3–5, 1987

D. Berenyi; G. Hock

978-3-540-48129-4

1988
Edition 1
€180
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Manuel Serrano; Jurriaan Hage

978-3-319-39110-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€80

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.