License single eBooks

Your results

View Cart

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Julia M. Badger; Kristin Yvonne Rozier

978-3-030-20652-9

2019
Edition 1
€130
Neuroscience: From Neural Networks to Artificial Intelligence

Proceedings of a U.S.-Mexico Seminar held in the city of Xalapa in the state of Veracruz on December 9–11, 1991

Pablo Rudomin; Michael A. Arbib; Francisco Cervantes-Perez; Ranulfo Romo

978-3-642-78102-5

1993
Edition 1
€180
Artificial Intelligence and Soft Computing

12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I

Leszek Rutkowski; Marcin Korytkowski; Rafal Scherer; Ryszard Tadeusiewicz; Lotfi A. Zadeh; Jacek M. Zurada

978-3-642-38658-9

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Sensor Systems and Software

13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

Hamid Reza Karimi ; Ning Wang

978-3-031-34899-0

2023
Edition 1
€140
Advances in Computer Science and Education Applications

International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part II

Mark Zhou; Honghua Tan

978-3-642-22456-0

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€180
Model-Based Engineering of Embedded Real-Time Systems

International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Holger Giese; Gabor Karsai; Edward A. Lee; Bernhard Rumpe; Bernhard Schätz

978-3-642-16277-0

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Combinatorial Image Analysis

12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008, Proceedings

Valentin E. Brimkov; Reneta P. Barneva; Herbert A. Hauptman

978-3-540-78275-9

2008
Edition 1
€100
Abenteuer Informatik

IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media

Jens Gallenbacher

978-3-662-53965-1

2017
Edition 4
- Das Mitmachbuch zur Informatik - ganz ohne Computereinsatz - unterhaltsam und lehrreich
- Das ideale Geschenk für alle Eltern an ihre Computer-begeisterten Kinder
- Die 4. Auflage ist komplett überarbeitet und um zusätzliche Themen ergänzt
- Includes supplementary material: sn.pub/extras
€117
Solving Irregularly Structured Problems in Parallel

5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings

Afonso Ferreira; Jose Rolim; Horst Simon; Shang-Hua Teng

978-3-540-68533-3

1998
Edition 1
€100
Computer: Werkzeug der Medizin

Kolloquium Datenverarbeitung und Medizin 7.–9. Oktober 1968 Schloß Reinhartshausen in Erbach im Rheingau

C. Th. Ehlers; N. Hollberg; A Proppe

978-3-662-39882-1

1970
Edition 1
€187
Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo; Doron A. Peled; Leonore D. Zuck

978-3-540-78163-9

2008
Edition 1
€100
Advances in Computational Intelligence Systems

Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK

Plamen Angelov; Alexander Gegov; Chrisina Jayne; Qiang Shen

978-3-319-46562-3

2017
Edition 1
- Reports on cutting-edge research in computational intelligence
- Covers a wide range of application areas
- Give emphasis to novel computational intelligence methods
- Includes supplementary material: sn.pub/extras
€400
Parallel Processing and Applied Mathematics

4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers

Roman Wyrzykowski; Jack Dongarra; Marcin Paprzycki; Jerzy Wasniewski

978-3-540-48086-0

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Scale Space and PDE Methods in Computer Vision

5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings

Ron Kimmel; Nir Sochen; Joachim Weickert

978-3-540-32012-8

2005
Edition 1
€180
Languages and Compilers for Parallel Computing

10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings

Zhiyuan Li; Pen-Chung Yew; Siddharta Chatterjee; Chua-Huang Huang; P. Sadayappan; David Sehr

978-3-540-69788-6

1998
Edition 1
€100
Electronic Healthcare

First International Conference, eHealth 2008, London, September 8-9, 2008, Revised Selected Papers

Dasun Weerasinghe

978-3-642-00413-1

2009
Edition 1
€100
KI-97: Advances in Artificial Intelligence

21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings

Gerhard Brewka; Christopher Habel; Bernhard Nebel

978-3-540-69582-0

1997
Edition 1
€100
Action Theory

Proceedings of the Winnipeg Conference on Human Action, Held at Winnipeg, Manitoba, Canada, 9–11 May 1975

M. Brand; Douglas Walton

978-94-010-9074-2

1976
Edition 1
€280
Combinatorial Optimization and Applications

6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012, Proceedings

Guohui Lin

978-3-642-31770-5

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the art report
€100
Information Processing in Medical Imaging

15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, Proceedings

James Duncan; Gene Gindi

978-3-540-69070-2

1997
Edition 1
€100
Human-Computer Interaction. Design and Research

15th Indian Conference, IndiaHCI 2024, Mumbai, India, November 7–9, 2024, Proceedings, Part I

Nimmi Rangaswamy; Gavin Robert Sim; Pranjal Protim Borah

978-3-031-80829-6

2025
Edition 1
€160
New Trends in Systems Theory

Proceedings of the Università di Genova-The Ohio State University Joint Conference, July 9–11, 1990

Giuseppe Conte; Anna M. Perdon; Bostwick Wyman

978-1-4612-0439-8

1991
Edition 1
€400
Brain Function Assessment in Learning

Second International Conference, BFAL 2020, Heraklion, Crete, Greece, October 9–11, 2020, Proceedings

Claude Frasson; Panagiotis Bamidis; Panagiotis Vlamos

978-3-030-60735-7

2020
Edition 1
€100
Biomimetic and Biohybrid Systems

First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings

Tony T. Prescott; Nathan F. Lepora; Anna Mura; Paul F.M.J. Verschure

978-3-642-31525-1

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
AI 2005: Advances in Artificial Intelligence

18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings

Shichao Zhang; Ray Jarvis

978-3-540-31652-7

2005
Edition 1
€320
Modeling and Using Context

Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings

Paolo Bouquet; Luciano Serafini; Patrick Brézillon; Massimo Benerecetti; Francesca Castellani

978-3-540-48315-1

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Information and Computer Security

7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012, Proceedings

Goichiro Hanaoka; Toshihiro Yamauchi

978-3-642-34117-5

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€90
Dark Matter in Astro- and Particle Physics

Proceedings of the International Conference DARK 2002, Cape Town, South Africa, 4–9 February 2002

Hans-Volker Klapdor-Kleingrothaus; Raoul D. Viollier

978-3-642-55739-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
DNA Replication and the Cell Cycle

43. Colloquium der Gesellschaft für Biologische Chemie, 9.–11. April 1992 in Mosbach/Baden

Ellen Fanning; Rolf Knippers; Ernst-L. Winnacker

978-3-642-77040-1

1993
Edition 1
€180
Knowledge-Based Intelligent Information and Engineering Systems

10th International Conference, KES 2006, Bournemouth, UK, October 9-11 2006, Proceedings, Part I

Bogdan Gabrys

978-3-540-46536-2

2006
Edition 1
€180
Text, Speech, and Dialogue

25th International Conference, TSD 2022, Brno, Czech Republic, September 6–9, 2022, Proceedings

Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala

978-3-031-16270-1

2022
Edition 1
€100
Forum ’90 Wissenschaft und Technik

Neue Anwendungen mit Hilfe aktueller Computer-Technologien, Trier, 8./9. Oktober 1990 Proceedings

Hans-Jürgen Friemel; Gisbert Müller-Schönberger; Andreas Schütt

978-3-642-76123-2

1990
Edition 1
€201
Information Security and Privacy

17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings

Willy Susilo; Yi Mu; Jennifer Seberry

978-3-642-31448-3

2012
Edition 1
- Up to date results
- Tast track conference proceedings
- State of the art research
€100
Soft Computing and Its Engineering Applications

4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9–10, 2022, Proceedings

Kanubhai K. Patel; K. C. Santosh; Atul Patel; Ashish Ghosh

978-3-031-27609-5

2023
Edition 1
€180
Speech and Computer

22nd International Conference, SPECOM 2020, St. Petersburg, Russia, October 7–9, 2020, Proceedings

Alexey Karpov; Rodmonga Potapova

978-3-030-60276-5

2020
Edition 1
€180
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

Mario Trapp; Erwin Schoitsch; Jérémie Guiochet; Friedemann Bitsch

978-3-031-14862-0

2022
Edition 1
€180
Artificial Intelligence in Education

16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings

H. Chad Lane; Kalina Yacef; Jack Mostow; Philip Pavlik

978-3-642-39112-5

2013
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180
Agents and Peer-to-Peer Computing

5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Sam Joseph; Zoran Despotovic; Moro Gianluca; Sonia Bergamaschi

978-3-540-79705-0

2008
Edition 1
€100
Data Mining and Big Data

8th International Conference, DMBD 2023, Sanya, China, December 9–12, 2023, Proceedings, Part I

Ying Tan; Yuhui Shi

978-981-97-0837-6

2024
Edition 1
€240
Information Security and Privacy

4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings

Josef Pieprzyk; Rei Safavi-Naini; Jennifer Seberry

978-3-540-48970-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Cataclysmic Variables and Related Objects

Proceedings of the 72nd Colloquium of the International Astronomical Union Held in Haifa, Israel, August 9–13, 1982

M. Livio; G. Shaviv

978-94-009-7118-9

1983
Edition 1
€280
Fourth Granada Lectures in Computational Physics

Proceedings of the 4th Granada Seminar on Computational Physics Held at Granada, Spain, 9–14 September 1996

Pedro L. Garrido; Joaquin Marro

978-3-662-14148-9

1997
Edition 1
€128
Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Rocco De Nicola; Davide Sangiorgi

978-3-540-31483-7

2005
Edition 1
€100
Inductive Logic Programming

12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers

Stan Matwin; Claude Sammut

978-3-540-36468-9

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Generative and Component-Based Software Engineering

Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000. Revised Papers

Greg Butler; Stan Jarzabek

978-3-540-44815-0

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Chinese Lexical Semantics

16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers

Qin Lu; Hong Gao

978-3-319-27194-1

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

22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I

Sabri Arik; Tingwen Huang; Weng Kin Lai; Qingshan Liu

978-3-319-26532-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Functional Analysis and Approximation

Proceedings of the Conference held at the Mathematical Research Institute at Oberwolfach, Black Forest, August 9–16, 1980

P.L. Butzer; E. Gärlich; B. Szökefalvi-Nagy

978-3-0348-9369-5

1981
Edition 1
€100
Machine Learning and Data Mining for Sports Analytics

11th International Workshop, MLSA 2024, Vilnius, Lithuania, September 9, 2024, Revised Selected Papers

Ulf Brefeld; Jesse Davis; Jan Van Haaren; Albrecht Zimmermann

978-3-031-86692-0

2025
Edition 1
€130
Intelligent Technologies for Interactive Entertainment

6th International Conference, INTETAIN 2014, Chicago, IL, USA, July 9-11, 2014. Proceedings

Dennis Reidsma

978-3-319-08189-2

2014
Edition 1
€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.