License single eBooks

Your results

View Cart

Automated Deduction — CADE-12

12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

Alan Bundy

978-3-540-48467-7

1994
Edition 1
€100
Designing the Digital Transformation

12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

Alexander Maedche; Jan vom Brocke; Alan Hevner

978-3-319-59144-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Photosynthesis Research

Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983 Volume 3

C. Sybesma

978-94-017-4973-2

1984
Edition 1
€160
Security Standardisation Research

6th International Conference, SSR 2020, London, UK, November 30 – December 1, 2020, Proceedings

Thyla van der Merwe; Chris Mitchell; Maryam Mehrnezhad

978-3-030-64357-7

2020
Edition 1
€100
Recent Advances in Environmental Science from the Euro-Mediterranean and Surrounding Regions (5th Edition)

Proceedings of 5th Euro-Mediterranean Conference for Environmental Integration (EMCEI-5), Italy 2023 (Volume 1)

Mohamed Ksibi; Veysel Turan; Vincenzo Naddeo; Olfa Hentati; Rim Ben Arfi; Abdelazim Negm; Jesús Rodrigo Comino; Imen Khouni; Mohd. Rafatullah; Victor Ongoma

978-3-032-16581-7

2026
Edition 1
- Presents the latest research on various environmental issues from Mediterranean and surrounding regions
- Highlights the most pressing environmental issues and challenges in these regions
- Discusses how research on the environment can help promote sustainable development
Not published yet

Available from
2026-05-16
Software Composition

10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Sven Apel; Ethan Jackson

978-3-642-22045-6

2011
Edition 1
- Fast track proceedings
€100
Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Warren A. Jr. Hunt; Steven D. Johnson

978-3-540-40922-9

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Artificial Intelligence in Business

Applications and Ethical Considerations in the Digital Age. Proceedings of the 19th SICB “Artificial Intelligence in Business”, Volume 1

Abdul Razzak Alshehadeh; Ihab Ali El-Qirem; Ghaleb Awad Elrefae

978-3-031-96622-4

2026
Edition 1
- Presents cutting-edge research at the intersection of AI and business operations
- Showcases how artificial intelligence revolutionizes modern business practices
- Results of the 19th Scientific Annual International Conference for Business SICB: Artificial Intelligence in Business
€400
Live Food in Aquaculture

Proceedings of the Live Food and Marine Larviculture Symposium held in Nagasaki, Japan, September 1–4, 1996

A. Hagiwara; T.W. Snell; E. Lubzens; C.S. Tamaru

978-94-017-2097-7

1997
Edition 1
€280
Learning Technology for Education Challenges

12th International Workshop, LTEC 2024, Kaohsiung, Taiwan, July 29 – August 1, 2024, Proceedings

Lorna Uden; Dario Liberona

978-3-031-61678-5

2024
Edition 1
€240
Component-Based Software Engineering

9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Ian Gorton; George T. Heinemann; Ivica Crnkovic; Heinz W. Schmidt; Judith A. Stafford; Clemens Szyperski; Kurt Wallnau

978-3-540-35629-5

2006
Edition 1
€100
Wundheilung des Auges und ihre Komplikationen / Wound Healing of the Eye and its Complications

Symposion der Deutschen Ophthalmologischen Gesellschaft vom 30. März bis 1. April 1979 in Tübingen

G.O.H. Naumann; B.P. Gloor

978-3-642-80498-4

1980
Edition 1
€181
Structural Information and Communication Complexity

27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings

Andrea Werneck Richa; Christian Scheideler

978-3-030-54921-3

2020
Edition 1
€100
The Impact of Virtual, Remote and Real Logistics Labs

First International Conference, ImViReLL 2012, Bremen, Germany, Februar 28-March 1, 2012. Proceedings

Dieter Uckelmann; Bernd Scholz-Reiter; Ingrid Rügge; Bonghee Hong; Antonio Rizzi

978-3-642-28816-6

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Frontiers in Algorithmics

First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings

Franco P. Preparata; Qizhi Fang

978-3-540-73814-5

2007
Edition 1
€100
Logical Aspects of Computational Linguistics

6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings

Sylvain Pogodalla; Jean-Philippe Prost

978-3-642-22221-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Games and Learning Alliance

10th International Conference, GALA 2021, La Spezia, Italy, December 1–2, 2021, Proceedings

Francesca de Rosa; Iza Marfisi Schottman; Jannicke Baalsrud Hauge; Francesco Bellotti; Pierpaolo Dondio; Margarida Romero

978-3-030-92182-8

2021
Edition 1
€114
Product-Focused Software Process Improvement

18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Michael Felderer; Daniel Méndez Fernández; Burak Turhan; Marcos Kalinowski; Federica Sarro; Dietmar Winkler

978-3-319-69926-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Low-Voltage Low-Power Analog Integrated Circuits

A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Volume 8, No. 1 (1995)

Wouter A. Serdijn

978-1-4615-2283-6

1995
Edition 1
€180
Advances in Intelligent Data Analysis XIII

13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings

Hendrik Blockeel; Matthijs van Leeuwen; Veronica Vinciotti

978-3-319-12571-8

2014
Edition 1
€100
Iteration Theory and its Functional Equations

Proceedings of the International Symposium held at Schloß Hofen (Lochau), Austria, September 28 - October 1, 1984

Roman Liedl; Ludwig Reich; György Targonski

978-3-540-39749-6

1985
Edition 1
€69
Problems of Solar and Stellar Oscillations

Proceedings of the 66th IAU Colloquium held at the Crimean Astrophysical Observatory, U.S.S.R., 1–5 September, 1981

D.O. Gough

978-94-009-7088-5

1983
Edition 1
€100
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings

Andre A. Cire

978-3-031-33271-5

2023
Edition 1
€180
Data Mining and Big Data

Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61845-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I

Giovanni Casini; Besik Dundua; Temur Kutsia

978-3-032-04587-4

2026
Edition 1
€130
Homogenization Techniques for Composite Media

Lectures Delivered at the CISM International Center for Mechanical Sciences, Udine, Italy, July 1-5, 1985

Enrique Sanchez-Palencia; Andre Zaoui

978-3-540-47720-4

1987
Edition 1
€160
Computational Linguistics and Intelligent Text Processing

10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings

Alexander Gelbukh

978-3-642-00382-0

2009
Edition 1
€180
Electronic Government

10th International Conference, EGOV 2011, Delft, The Netherlands, August 29 -- September 1, 2011, Proceedings

Marijn Janssen; Hans Jochen Scholl; Maria A. Wimmer; Yao-Hua Tan

978-3-642-22878-0

2011
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Mathematical Software - ICMS 2006

Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings

Andres Iglesias; Nobuki Takayama

978-3-540-38086-3

2006
Edition 1
€100
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
Towards Autonomous Robotic Systems

17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

Lyuba Alboul; Dana Damian; Jonathan M. Aitken

978-3-319-40379-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Provable Security

13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

Ron Steinfeld; Tsz Hon Yuen

978-3-030-31919-9

2019
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
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
Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller

978-3-319-06251-8

2014
Edition 1
€100
Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Steffen Hölldobler; Carsten Lutz; Heinrich Wansing

978-3-540-87803-2

2008
Edition 1
€100
Innovative Technologies and Learning

4th International Conference, ICITL 2021, Virtual Event, November 29 – December 1, 2021, Proceedings

Yueh-Min Huang; Chin-Feng Lai; Tânia Rocha

978-3-030-91540-7

2021
Edition 1
€220
Decision and Game Theory for Security

10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

Tansu Alpcan; Yevgeniy Vorobeychik; John S. Baras; György Dán

978-3-030-32430-8

2019
Edition 1
€100
Information Security and Cryptology

Second SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings

Helger Lipmaa; Moti Yung; Donghai Lin

978-3-540-49610-6

2006
Edition 1
€100
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
Database and Expert Systems Applications

14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik; Werner Retschitzegger; Olga Stepankova

978-3-540-45227-0

2003
Edition 1
€180
Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

978-3-642-21691-6

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Passive and Active Measurement

17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

Thomas Karagiannis; Xenofontas Dimitropoulos

978-3-319-30505-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
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
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
Theory and Practice of Model Transformations

First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Antonio Vallecillo; Jeff Gray; Alfonso Pierantonio

978-3-540-69927-9

2008
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.