License single eBooks

Your results

View Cart

Tests and Proofs

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Martin Gogolla; Burkhart Wolff

978-3-642-21768-5

2011
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€100
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings

Nicolas Beldiceanu; Narendra Jussien; Eric Pinson

978-3-642-29828-8

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I

Honghai Liu; Zhouping Yin; Lianqing Liu; Li Jiang; Guoying Gu; Xinyu Wu; Weihong Ren

978-3-031-13844-7

2022
Edition 1
€220
Stochastic Differential Systems

Proceedings of the IFIP-WG 7/1 Working Conference Eisenach, GDR, April 6–13, 1986

Hans Jürgen Engelbert; Wolfgang Schmidt

978-3-540-47245-2

1987
Edition 1
€100
Energie

TerraTec ’95 Kongreß West-Ost-Transfer Umwelt vom 1. bis 3. März 1995

Volker U. Hoffmann

978-3-322-83427-0

1995
Edition 1
€181
Intracranial Pressure III

Proceedings of the Third International Symposium on Intracranial Pressure, Held at the University of Groningen, June 1-3, 1976

J.W.F. Beks; Dirk Andries Bosch; M. Brock

978-3-642-66508-0

1976
Edition 1
€180
Mathematical Foundation of Turbulent Viscous Flows

Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 1-5, 2003

Peter Constantin; Marco Cannone; Giovanni Gallavotti; Tetsuro Miyakawa; Alexandre V. Kazhikhov; Yves Meyer; Seiji Ukai

978-3-540-32454-6

2006
Edition 1
€86
Evolutionary Computation in Combinatorial Optimization

5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings

Günther R. Raidl; Jens Gottlieb

978-3-540-31996-2

2005
Edition 1
€100
Information System Design: Intelligent Healthcare Informatics

Proceedings of Ninth International Conference on Information System Design and Intelligent Applications (ISDIA 2025), Volume 1

Vikrant Bhateja; Farhad Oroumchian; Jinshan Tang; Zaid Omar

978-981-96-9242-2

2025
Edition 1
- Presents research papers written by active researchers in the field of intelligent systems
- Discusses the outcomes of ISDIA 2025 held in Dubai, UAE
- Serves as a reference resource for practitioners and researchers in academia and industry
€499
Cardiac Arrhythmias 1999

Vol.1. Proceedings of the 6th International Workshop on Cardiac Arrhythmias (Venice, 5–8 October 1999)

Antonio Raviele

978-88-470-2139-6

2000
Edition 1
€100
Mathematische Behandlung naturwissenschaftlicher Probleme

Teil 1 Behandlung von Meßwerten — Funktionen Eine Einführung für Chemiker und andere Naturwissenschaftler

M. Stockhausen

978-3-642-87436-9

1979
Edition 1
€404
Advances in Design Engineering III

Proceedings of the XXXI INGEGRAF International Conference 29–30 June, 1 July 2022, Málaga, Spain

Francisco Cavas-Martínez; Manuel D. Marín Granados; Ramón Mirálbes Buil; Oscar D. de-Cózar-Macías

978-3-031-20325-1

2023
Edition 1
- Reports on cutting-edge topics in product design and manufacturing
- Contains the proceedings of the XXXI INGEGRAF International Conference
- Collects innovative papers on industrial methods for integrated product and process design
€400
Intelligent and Fuzzy Systems

Artificial Intelligence in Human-Centric, Resilient & Sustainable Industries, Proceedings of the INFUS 2025 Conference, Volume 1

Cengiz Kahraman; Selcuk Cebi; Basar Oztaysi; Sezi Cevik Onar; Cagrı Tolga; Irem Ucal Sari; Irem Otay

978-3-031-97985-9

2025
Edition 1
- Presents recent research in intelligent and Fuzzy techniques
- Focuses on benefiting artificial intelligent tools in our business and social life under emerging conditions
- Presents interdisciplinary research between Fuzzy and intelligent systems and real complex systems
€439
Artificial Intelligence in Education

18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings

Elisabeth André; Ryan Baker; Xiangen Hu; Ma. Mercedes T. Rodrigo; Benedict du Boulay

978-3-319-61425-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part IV

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87202-1

2021
Edition 1
€180
Future Aspects in Contraception

Proceeding of an International Symposium held in Heidelberg, 5–8 September 1984 Part 1 Male Contraception

B. Runnebaum; T. Rabe; L. Kiesel

978-94-009-4910-2

1985
Edition 1
€100
Brain Informatics

16th International Conference, BI 2023, Hoboken, NJ, USA, August 1–3, 2023, Proceedings

Feng Liu; Yu Zhang; Hongzhi Kuai; Emily P. Stephen; Hongjun Wang

978-3-031-43075-6

2023
Edition 1
€160
Neue Forschungen in Afghanistan

Vorträge auf der 5. Arbeitstagung der Arbeitsgemeinschaft Afghanistan in Mannheim 1.–3. Februar 1979

Carl Rathjens

978-3-322-97152-4

1981
Edition 1
€201
Computers and Games

6th International Conference, CG 2008 Beijing, China, September 29 - October 1, 2008. Proceedings

H. Jaap van den Herik; Xinhe Xu; Zongmin Ma; Mark H.M. Winands

978-3-540-87608-3

2008
Edition 1
€140
Trust Management

Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings

Christian Jensen; Stefan Poslad; Theo Dimitrakos

978-3-540-24747-0

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Field Programmable Logic and Applications

9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings

Patrick Lysaght; James Irvine; Reiner Hartenstein

978-3-540-48302-1

1999
Edition 1
€180
Information Technology in Bio- and Medical Informatics

Second International Conference, ITBAM 2011, Toulouse, France, August 31 - September 1, 2011, Proceedings

Christian Böhm; Sami Khuri; Lenka Lhotská; Nadia Pisanti

978-3-642-23208-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Engineering Secure Software and Systems

5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Jan Jürjens; Ben Livshits; Riccardo Scandariato

978-3-642-36563-8

2013
Edition 1
- State of the art research
- Up to date results
- Fast track conference proceedings
€90
Privacy Technologies and Policy

11th Annual Privacy Forum, APF 2023, Lyon, France, June 1–2, 2023, Proceedings

Kai Rannenberg; Prokopios Drogkaris; Cédric Lauradoux

978-3-031-61089-9

2024
Edition 1
€220
Genetic and Evolutionary Computing

Proceedings of the Thirteenth International Conference on Genetic and Evolutionary Computing, November 1–3, 2019, Qingdao, China

Jeng-Shyang Pan; Jerry Chun-Wei Lin; Yongquan Liang; Shu-Chuan Chu

978-981-15-3308-2

2020
Edition 1
- Highlights cutting-edge research presented at the 13th International Conference on Genetic and Evolutionary Computing (ICGEC 2019)
- Describes the latest techniques and systems developed by leading researchers, scholars, and professionals
- Addresses swarm intelligence, artificial intelligence, information hiding, big data methods and deep learning theories, together with their real-world applications, including in industry
€280
Provable Security

Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Joon Sang Baek; Feng Bao; Kefei Chen; Xuejia Lai

978-3-540-88733-1

2008
Edition 1
€100
Few-Body Problems in Physics ’98

Proceedings of the 16th European Conference on Few-Body Problems in Physics, Autrans, France, June 1–6, 1998

Bertrand Desplanques; Konstantin Protasov; Bernard Silvestre-Brac; Jaume Carbonell

978-3-7091-6798-4

1999
Edition 1
€100
Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock

978-3-642-14808-8

2010
Edition 1
- Up to date results
- Fast conference prceedings
- State-of-the-art report
€100
Euro-Par 2000 Parallel Processing

6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

Arndt Bode; Thomas Ludwig; Wolfgang Karl; Roland Wismüller

978-3-540-44520-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
High-Performance Computing and Networking

International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications

Wolfgang Gentzsch; Uwe Harms

978-3-540-48406-6

1994
Edition 1
€100
Computational Intelligence and Industrial Applications

11th International Symposium, ISCIIA 2024, Beijing, China, November 1–5, 2024, Proceedings, Part I

Bin Xin; Hongbin Ma; Jinhua She; Weihua Cao

978-981-96-4753-8

2025
Edition 1
€170
Neural Information Processing

16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I

Chi-Sing Leung; Minho Lee; Jonathan H. Chan

978-3-642-10677-4

2009
Edition 1
€280
Computer Science and Education. Computer Science and Technology

18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1–7, 2023, Proceedings, Part I

Wenxing Hong; Geetha Kanaparan

978-981-97-0730-0

2024
Edition 1
€180
Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1

D. Jude Hemanth; Utku Kose; Bogdan Patrut; Mevlut Ersoy

978-3-031-56310-2

2024
Edition 1
- Presents advanced computing and networking technologies to enable intelligent and efficient IoT and CPS
- Covers proceedings of ICAIAME 2023
- Written by experts in the field
€419
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Shiva Nejati; Gregory Gay

978-3-030-27455-9

2019
Edition 1
€100
Bio-Inspired Information and Communications Technologies

13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings

Tadashi Nakano

978-3-030-92163-7

2021
Edition 1
€150
Multiple Periodic Variable Stars

Proceedings of the International Astronomical Union Colloquium No. 29, Held at Budapest, Hungary 1–5 September 1975

W.S. Fitch

978-94-010-1175-4

1976
Edition 1
€100
Ad Hoc Networks

7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings

Nathalie Mitton; Melike Erol Kantarci; Antoine Gallais; Symeon Papavassiliou

978-3-319-25067-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
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
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
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
Proceedings of the Second ISAAC Congress

Volume 1: This project has been executed with Grant No. 11–56 from the Commemorative Association for the Japan World Exposition (1970)

Heinrich G.W. Begehr; R.P. Gilbert; Joji Kajiwara

978-1-4613-0269-8

2000
Edition 1
€400
Multimedia Communications, Services and Security

5th International Conference, MCSS 2012, Krakow, Poland, May 31--June 1, 2012. Proceedings

Andrzej Dziech; Andrzej Czyzewski

978-3-642-30721-8

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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
Smart Objects and Technologies for Social Good

Second International Conference, GOODTECHS 2016, Venice, Italy, November 30 – December 1, 2016, Proceedings

Ombretta Gaggi; Pietro Manzoni; Claudio Palazzi; Armir Bujari; Johann M. Marquez-Barja

978-3-319-61949-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Web Reasoning and Rule Systems

Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings

Diego Calvanese; Georg Lausen

978-3-540-88737-9

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

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

Ehrhard Behrends

978-3-322-91821-5

2003
Edition 1
- Analysis verständlich und motivierend dargestellt und von Studenten mitentwickelt
€449
Intelligent Systems

Proceedings of 4th International Conference on Machine Learning, IoT and Big Data (ICMIB 2024), Volume 1

Siba K. Udgata; Srinivas Sethi; George Ghinea; Sanjay Kumar Kuanar

978-981-96-3797-3

2025
Edition 1
- Discusses the outcomes of ICMIB 2024, held in Gunupur, India
- Presents recent research in the field of machine learning and big data
- Serves as a reference resource for researchers and practitioners in academia and industry
€419
Information Hiding

Third International Workshop, IH'99, Dresden, Germany, September 29 - October 1, 1999 Proceedings

Andreas Pfitzmann

978-3-540-46514-0

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180

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.