License single eBooks

Your results

View Cart

Theory of Cryptography

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

Benny Applebaum; Huijia (Rachel) Lin

978-3-032-12287-2

2026
Edition 1
€146
Rewriting Techniques and Applications

20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Ralf Treinen

978-3-642-02348-4

2009
Edition 1
€100
Next Generation Arithmetic

Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

John Gustafson; Vassil Dimitrov

978-3-031-09779-9

2022
Edition 1
€120
Implementation and Application of Automata

26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

Pascal Caron; Ludovic Mignot

978-3-031-07469-1

2022
Edition 1
€130
Logic Programming

18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Peter J. Stuckey

978-3-540-45619-3

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Technologies and Applications of Artificial Intelligence

28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1–2, 2023, Proceedings, Part I

Chao-Yang Lee; Chun-Li Lin; Hsuan-Ting Chang

978-981-97-1711-8

2024
Edition 1
€180
Structural Information and Communication Complexity

28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings

Tomasz Jurdziński; Stefan Schmid

978-3-030-79527-6

2021
Edition 1
€100
Ärztliche Problematik des Urlaubs

Verhandlungsbericht des 1. ADAC-Ärzte-Kongresses vom 16. bis 17. Juni 1972 in München

Werner Wachsmuth

978-3-642-80737-4

1973
Edition 1
€201
Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Mogens Nielsen; Branislav Rovan

978-3-540-44612-5

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

Sanjay Misra; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Carmelo Torre; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan; Eufemia Tarantino

978-3-030-24305-0

2019
Edition 1
€180
User Interface Management Systems

Proceedings of the Workshop on User Interface Management Systems held in Seeheim, FRG, November 1–3, 1983

Günther E. Pfaff

978-3-642-70041-5

1985
Edition 1
€180
Video coding standards

AVS China, H.264/MPEG-4 PART 10, HEVC, VP6, DIRAC and VC-1

K.R. Rao; Do Nyeon Kim; Jae Jeong Hwang

978-94-007-6742-3

2014
Edition 1
- Consolidates all the major video coding standards
- Updated book reflecting various developments in video / audio codecs and their applications
- References to books and review papers and, lists of applications, hardware/software, and useful websites
- Includes block diagrams, figures, tables, and graphs, this book helps the reader understand the concepts, key techniques and performances of AVS China and other video coding standards readily and intuitively
- Includes supplementary material: sn.pub/extras
€280
Electronic Government

Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Roland Traunmüller

978-3-540-45239-3

2003
Edition 1
€180
Human-Centred Technology Management for a Sustainable Future

Volume 1: Human-Centred Technology Approaches, Proceedings of the 33rd IAMOT Conference, Porto, Portugal, 2024

Ricardo Zimmermann; José Coelho Rodrigues; Ana Simoes; Gustavo Dalmarco

978-3-031-72486-2

2024
Edition 1
- Implements a set of human-centred approaches to technology management
- Includes a broad discussion on the contributions of digital technologies to sustainability
- Contains various contributions to the adoption of an Industry 5.0 perspective
€419
Analysis

Band 1: Ein Lernbuch für den sanften Wechsel von der Schule zur Uni

Ehrhard Behrends

978-3-322-96378-9

2004
Edition 2
- Analysis verständlich und motivierend dargestellt und von Studenten mitentwickelt
€486
Ambient Intelligence for Health

First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings

José Bravo; Ramón Hervás; Vladimir Villarreal

978-3-319-26508-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Paola Bonizzoni; Vasco Brattka; Benedikt Löwe

978-3-642-39053-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Industrial Networks and Intelligent Systems

Second International Conference, INISCOM 2016, Leicester, UK, October 31 – November 1, 2016, Proceedings

Leandros A. Maglaras; Helge Janicke; Kevin Jones

978-3-319-52569-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€80
Reproducible Research in Pattern Recognition

Fifth International Workshop, RRPR 2024, Kolkata, India, December 1, 2024, Revised Selected Papers

Bertrand Kerautret; Federico Bolelli; Miguel Colom; Daniel Lopresti

978-3-031-97822-7

2026
Edition 1
€220
Topics in Spatial Stochastic Processes

Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, July 1-8, 2001

Vincenzo Capasso; Ely Merzbach; Ely Merzbach; B. Gail Ivanoff; Marco Dozzi; Robert Dalang; Thomas Mountford

978-3-540-36259-3

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Spoken Dialogue Systems for Ambient Environments

Second International Workshop, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings

Gary Geunbae Lee; Joseph Mariani; Wolfgang Minker; Satoshi Nakamura

978-3-642-16202-2

2010
Edition 1
€100
Advances in Quantitative Ethnography

Second International Conference, ICQE 2020, Malibu, CA, USA, February 1-3, 2021, Proceedings

Andrew R. Ruis; Seung B. Lee

978-3-030-67788-6

2021
Edition 1
€100
Selected Areas in Cryptography

28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers

Riham AlTawy; Andreas Hülsing

978-3-030-99277-4

2022
Edition 1
€160
Critical Information Infrastructures Security

First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006

Javier Lopez

978-3-540-69084-9

2006
Edition 1
€100
Theory of Cryptography

17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

Dennis Hofheinz; Alon Rosen

978-3-030-36030-6

2019
Edition 1
€100
Advances in Simulation of Wing and Nacelle Stall

Results of the Closing Symposium of the DFG Research Unit FOR 1066, December 1-2, 2014, Braunschweig, Germany

Rolf Radespiel; Reinhard Niehuis; Norbert Kroll; Kathrin Behrends

978-3-319-21127-5

2016
Edition 1
- Reports on advanced findings in the field of flight simulation
- Provides readers with a good balance of theories, models and experimental work
- Offers a comprehensive report on the state-of-the-art in the field
€400
Haptic and Audio Interaction Design

First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings

David McGookin; Stephen Brewster

978-3-540-37596-8

2006
Edition 1
€100
Social Computing, Behavioral-Cultural Modeling and Prediction

7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings

William G. Kennedy; Nitin Agarwal; Shanchieh Jay Yang

978-3-319-05579-4

2014
Edition 1
€100
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Leonel Sousa; Nuno Roma; Pedro Tomás

978-3-030-85665-6

2021
Edition 1
€220
Teil 1 Konflikte in der Triade Teil 2 Spielregeln in der Psychotherapie Teil 3 Weiterbildungsforschung und Evaluation

B. Boothe; Peter Buchheim; B. Diepold; Manfred Cierpka; J. Cremerius; Theodor Seifert; E. Effer; M. Ermann; P. Hahn; R. Johnen; L. Köhler; K. König; H. Lang; C. Leggewie; W. Lutz; G. Rudolf; C. Sies; H. Strupp; U. Streeck; R. Welter-Enderlin; U. Wirtz; D. Zimmer

978-3-642-95727-7

1995
Edition 1
€201
Proceedings of the 32nd International Conference on Nuclear Engineering—Volume 1; ICONE 2025, 22–26 June, Weihai, China

Nuclear Plant Operation and Maintenance, Engineering, OLE and Life Cycle I

Sichao Tan; Weiqiang Xu; Yanyan Zhu

978-981-95-2794-6

2026
Edition 1
- Provides latest advancements in the operation and maintenance, and engineering and modification of nuclear plants
- Presents up-to-date progresses on the operation life extension (ole) and life cycle of nuclear plants
- Summarizes findings and achievements by leading research groups and professionals
€459
Structure Determination of HIV-1 Tat/Fluid Phase Membranes and DMPC Ripple Phase Using X-Ray Scattering

Kiyotaka Akabori

978-3-319-22210-3

2015
Edition 1
- Nominated by Carnegie Mellon University as an outstanding PhD Thesis
- Describes the use of X-ray scattering techniques to study the structure of two different stacked lipid membrane systems
- Presents the highest resolution X-ray structure of the DMPC ripple phase to-date
€100
Sondersitzung Plastische Chirurgie der 87. Tagung der Deutschen Gesellschaft für Chirurgie am 1. April 1970 in München

H. Bürkle de la Camp; K. Schuchardt

978-3-642-65122-9

1970
Edition 1
€181
Applications of Evolutionary Computation

19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

Giovanni Squillero; Paolo Burelli

978-3-319-31204-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Pattern Recognition

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

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

978-3-031-78398-2

2025
Edition 1
€146
Intelligent Agents VIII

8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

John-Jules C. Meyer; Milind Tambe

978-3-540-45448-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Financial Cryptography and Data Security

FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers

Andrew A. Adams; Michael Brenner; Matthew Smith

978-3-642-41320-9

2013
Edition 1
- Proceedings of the workshops held at the 17th International Conference on Financial Cryptology and Data Security, FC 2013: - Workshop on Usable Security, USEC 2013 -Third Workshop on Applied Homomorphic Cryptography, WAHC 2013
€90
Computer Vision - ECCV 2000

6th European Conference on Computer Vision Dublin, Ireland, June 26 - July 1, 2000 Proceedings, Part I

David Vernon

978-3-540-45054-2

2000
Edition 1
€180
Intelligent Systems

11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 – December 1, 2022, Proceedings, Part I

João Carlos Xavier-Junior; Ricardo Araújo Rios

978-3-031-21686-2

2022
Edition 1
€180
Produktionswirtschaft - Controlling industrieller Produktion

Band 1+2: Grundlagen, Führung und Organisation, Produkte und Produktprogramm, Material und Dienstleistungen, Prozesse

Dietger Hahn; J. Lauber; Gert Laßmann; M. Polke

978-3-662-12805-3

1999
Edition 3
- Gesamtwerk gilt als Standardwerk
- Neuauflage unter Berücksichtigung moderner Management- und Organisationskonzepte (TQM, Lean Management, Business Reengineering) und bspw. des Supply Chain Managements im Rahmen der Material- und Dienstleistungswirtschaft
€437
Analysis and Optimization of Systems

Proceedings of the Sixth International Conference on Analysis and Optimization of Systems, Nice, June 19–22, 1984. Part 1

A. Bensoussan; J. L. Lions

978-3-540-39007-7

1984
Edition 1
€100
Subject-Oriented Business Process Management. Models for Designing Digital Transformations

14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 – June 1, 2023, Proceedings

Matthes Elstermann; Anke Dittmar; Matthias Lederer

978-3-031-40213-5

2023
Edition 1
€150
Extensions of Logic Programming

4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

Roy Dyckhoff

978-3-540-48417-2

1994
Edition 1
€100
Advanced Environments, Tools, and Applications for Cluster Computing

NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

Dan Grigoras; Alex Nicolau; Bernard Toursel; Bertil Folliot

978-3-540-47840-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Pattern Recognition

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

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

978-3-031-78305-0

2025
Edition 1
€146
Information Processing and Management of Uncertainty in Knowledge-Based Systems

20th International Conference, IPMU 2024, Lisbon, Portugal, July 22-26, 2024, Proceedings, Volume 1

Marie-Jeanne Lesot; Susana Vieira; Marek Z. Reformat; João Paulo Carvalho; Fernando Batista; Bernadette Bouchon-Meunier; Ronald R. Yager

978-3-031-74003-9

2024
Edition 1
- Presents recent research on Information Processing and Management in Uncertainty in Knowledge-Based Systems
- Brings together theoreticians and practitioners working on methods for the management of uncertainty and aggregation
- Covers International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
€380
Stochastic Differential Systems

Proceedings of the 3rd IFIP-WG 7/1 Working Conference Visegrád, Hungary, Sept. 15–20, 1980

M. Arato; D. Vermes; A.V. Balakrishnan

978-3-540-38564-6

1981
Edition 1
€100
Bildung im Cyberspace

Vom Grafik-Design zum künstlerischen Arbeiten in Netzen. Entwicklung und Erprobung eines Weiterbildungskonzeptes. Projektband 1

Udo Thiedeke; Deutsches Inst. f. Erwachsenenbildung

978-3-322-83351-8

2000
Edition 1
- Neue Bildungsmöglichkeiten durch Medienkompetenz?
€173
Pattern Recognition. Competitions

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

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

978-3-031-80139-6

2025
Edition 1
€260
Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Antonio Cerone

978-3-031-43678-9

2023
Edition 1
- Valuable for students, researchers, and practitioners
- Lecturers are known experts in the field
- Contributions show application of formal methods in diverse fields
€419

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.