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 €117
10% OFF
Aspects of Automated Natural Language Generation

6th International Workshop on Natural Language Generation Trento, Italy, April 5-7, 1992. Proceedings

Robert Dale; Eduard Hovy; Dietmar Rösner; Oliviero Stock

978-3-540-47054-0

1992
Edition 1
€100 €90
10% OFF
Theory and Applications of Models of Computation

7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

Jan Kratochvil; Angsheng Li; Jiri Fiala; Petr Kolman

978-3-642-13562-0

2010
Edition 1
€100 €90
10% OFF
Logic Symposia, Hakone, 1979, 1980

Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

G.H. Müller; G. Takeuti; T. Tugue

978-3-540-38633-9

1981
Edition 1
€74 €67
10% OFF
Computing Science, Communication and Security

5th International Conference, COMS2 2024, Mehsana, Gujarat, India, February 6–7, 2024, Proceedings

Nirbhay Chaubey; Noor Zaman Jhanjhi; Sabu M. Thampi; Satyen Parikh; Kiran Amin

978-3-031-75170-7

2025
Edition 1
€180 €162
10% OFF
Progress in Mathematical Relativity, Gravitation and Cosmology

Proceedings of the Spanish Relativity Meeting ERE2012, University of Minho, Guimarães, Portugal, September 3-7, 2012

Alfonso García-Parrado; Filipe C. Mena; Filipe Moura; Estelita Vaz

978-3-642-40157-2

2014
Edition 1
- Current research in core area of mathematics and physics
- Major international conferences
- Includes numerical methods in relativity
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
From Natural to Artificial Neural Computation

International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7 – 9, 1995 Proceedings

Jose Mira; Francisco Sandoval

978-3-540-49288-7

1995
Edition 1
€100 €90
10% OFF
Text, Speech and Dialogue

10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007, Proceedings

Václav Matoušek; Pavel Mautner

978-3-540-74628-7

2007
Edition 1
€180 €162
10% OFF
Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Martin Wirsing; Alexander Knapp; Simonetta Balsamo

978-3-540-24626-8

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Reasoning Web

Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Grigoris Antoniou; Uwe Aßmann; Cristina Baroglio; Stefan Decker; Nicola Henze; Paula-Lavinia Patranjan; Robert Tolksdorf

978-3-540-74615-7

2007
Edition 1
€419 €377
10% OFF
Communications and Information Processing

First International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Proceedings, Part I

Maotai Zhao; Junping Sha

978-3-642-31965-5

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100 €90
10% OFF
Neural Computing for Advanced Applications

5th International Conference, NCAA 2024, Guilin, China, July 5–7, 2024, Proceedings, Part I

Haijun Zhang; Xianxian Li; Tianyong Hao; Zhou Wu; Qian He; Weizhi Meng

978-981-97-7001-4

2025
Edition 1
€180 €162
10% OFF
Intelligent Computing Theories and Application

13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I

De-Shuang Huang; Vitoantonio Bevilacqua; Prashan Premaratne; Phalguni Gupta

978-3-319-63309-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Serious Games

4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

Stefan Göbel; Augusto Garcia-Agundez; Thomas Tregel; Minhua Ma; Jannicke Baalsrud Hauge; Manuel Oliveira; Tim Marsh; Polona Caserman

978-3-030-02762-9

2018
Edition 1
€100 €90
10% OFF
Artificial Intelligence in Medicine

24th International Conference, AIME 2026, Ottawa, ON, Canada, July 7–10, 2026, Proceedings, Part I

Pavel Andreev; William Van Woensel; John Holmes; Antoine Sauré

978-3-032-30710-1

2027
Edition 1
€160 €144
10% OFF
Informatik und Lernen in der Informationsgesellschaft

7. GI-Fachtagung Informatik und Schule INFOS’97 Duisburg, 15.–18. September 1997

W. Otten; Heinz U. Hoppe; Wolfram Luther

978-3-642-60894-0

1997
Edition 1
€201 €181
10% OFF
Information and Communications Security

8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings

Peng Ning; Ninghui Li

978-3-540-49497-3

2006
Edition 1
€180 €162
10% OFF
Parallel Computing Technologies

9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings

Victor Malyshkin

978-3-540-73940-1

2007
Edition 1
€100 €90
10% OFF
Gesellschaftliche Probleme als Anstoß und Folge von Politik

Wissenschaftlicher Kongreß der DVPW 4.–7. Oktober 1982 in der Freien Universität Berlin Tagungsbericht

Hans-Hermann Hartwich

978-3-322-83574-1

1983
Edition 1
€201 €181
10% OFF
Advances in Artificial Intelligence: Theories, Models, and Applications

6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings

Stasinos Konstantopoulos; Stavros Perantonis; Vangelis Karkaletsis; Costas D. Spyropoulos; George Vouros

978-3-642-12842-4

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art results
€100 €90
10% OFF
Phonon Scattering in Condensed Matter VII

Proceedings of the Seventh International Conference, Cornell University, Ithaca, New York, August 3–7, 1992

Michael Meissner; Robert O. Pohl

978-3-642-84888-9

1993
Edition 1
€180 €162
10% OFF
Advances in Computational Intelligence Systems

Contributions Presented at the 18th UK Workshop on Computational Intelligence, September 5-7, 2018, Nottingham, UK

Ahmad Lotfi; Hamid Bouchachia; Alexander Gegov; Caroline Langensiepen; Martin McGinnity

978-3-319-97982-3

2019
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects edited contributions presented at the 18th UK Workshop on Computational Intelligence (UKCI-2018), held in Nottingham, UK on September 5-7, 2018
€280 €252
10% OFF
Advances in Analysis and Detection of Explosives

Proceedings of the 4th International Symposium on Analysis and Detection of Explosives, September 7–10, 1992, Jerusalem, Israel

Jehuda Yinon

978-94-017-0639-1

1993
Edition 1
€400 €360
10% OFF
Principles and Practice of Multi-Agent Systems

15th International Conference, PRIMA 2012, Kuching, Sarawak, Malaysia, September 3-7, 2012, Proceedings

Iyad Rahwan; Wayne Wobcke; Sandip Sen; Toshiharu Sugawara

978-3-642-32729-2

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€90 €81
10% OFF
Pattern Recognition

7th Chinese Conference, CCPR 2016, Chengdu, China, November 5-7, 2016, Proceedings, Part I

Tieniu Tan; Xuelong Li; Xilin Chen; Jie Zhou; Jian Yang; Hong Cheng

978-981-10-3002-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Automated Data Retrieval in Astronomy

Proceedings of the 64th Colloquium of the International Astronomical Union held in Strasbourg, France, July 7–10, 1981

Carlos Jaschek; W. Heintz

978-94-009-7858-4

1982
Edition 1
€280 €252
10% OFF
Information Hiding

5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 7-9, 2002, Revised Papers

Fabien A. P. Petitcolas

978-3-540-36415-3

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
The Semantic Web

15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings

Aldo Gangemi; Roberto Navigli; Maria-Esther Vidal; Pascal Hitzler; Raphaël Troncy; Laura Hollink; Anna Tordai; Mehwish Alam

978-3-319-93417-4

2018
Edition 1
€100 €90
10% OFF
ICAF 2019 – Structural Integrity in the Age of Additive Manufacturing

Proceedings of the 30th Symposium of the International Committee on Aeronautical Fatigue, June 2-7, 2019, Krakow, Poland

Antoni Niepokolczycki; Jerzy Komorowski

978-3-030-21503-3

2020
Edition 1
- Reports on cutting-edge issues in fatigue and damage tolerance
- Covers aspects in airworthiness, new materials and innovative structures
- Presents innovative fatigue life enhancement methods and repair solutions
€578 €520
10% OFF
Information Security and Privacy

Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 Proceedings

Vijav Varadharajan; Josef Pieprzyk; Yi Mu

978-3-540-69237-9

1997
Edition 1
€100 €90
10% OFF
Advances in Databases and Information Systems

10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings

Yannis Manolopoulos; Jaroslav Pokorný; Timos Sellis

978-3-540-37900-3

2006
Edition 1
€100 €90
10% OFF
Performance Evaluation Methodologies and Tools

16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings

Evangelia Kalyvianaki; Marco Paolieri

978-3-031-48885-6

2024
Edition 1
€130 €117
10% OFF
Automatisieren mit SPS Theorie und Praxis

IEC 61131-3; STEP 7; Bibliotheksbausteine; AS-i-Bus; PROFIBUS; Ethernet-TCP/IP; OPC; Steuerungssicherheit

Günter Wellenreuther; Dieter Zastrow

978-3-663-05705-5

2002
Edition 2
- Die langjährige Lehrerfahrung der beiden Autoren zur SPS sorgt für sicheres Lernen.
€486 €437
10% OFF
CONCUR 2012- Concurrency Theory

23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings

Maciej Koutny; Irek Ulidowski

978-3-642-32940-1

2012
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€100 €90
10% OFF
Networked Group Communication

Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001. Proceedings

Jon Crowcroft; Markus Hofmann

978-3-540-45546-2

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Software Reuse: Methods, Techniques, and Tools

7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings

Cristina Gacek

978-3-540-46020-6

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Advances in Helio- and Asteroseismology

Proceedings of the 123th Symposium of the International Astronomical Union, Held in Aarhus, Denmark, July 7–11, 1986

Jørgen Christensen-Dalsgaard; Søren Frandsen

978-94-009-4009-3

1988
Edition 1
€100 €90
10% OFF
Rough Sets

International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part I

Lech Polkowski; Yiyu Yao; Piotr Artiemjew; Davide Ciucci; Dun Liu; Dominik Ślęzak; Beata Zielosko

978-3-319-60837-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Ophthalmic Echography

Proceedings of the 10th SIDUO Congress, St. Petersburg Beach, Florida, U.S.A., November 7–10, 1984

K.C. Ossoinig

978-94-009-3315-6

1987
Edition 1
€100 €90
10% OFF
Life at Interfaces and Under Extreme Conditions

Proceedings of the 33rd European Marine Biology Symposium, held at Wilhelmshaven, Germany, 7–11 September 1998

Gerd Liebezeit; Sabine Dittmann; Ingrid Kröncke

978-94-011-4148-2

2000
Edition 1
€280 €252
10% OFF
Human-Computer Interaction

5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers

Brad Blumenthal; Juri Gornostaev; Claus Unger

978-3-540-48484-4

1995
Edition 1
€100 €90
10% OFF
Algorithms and Architectures for Parallel Processing

12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

Yang Xiang; Ivan Stojmenovic; Bernady O. Apduhan; Guojun Wang; Koji Nakano; Albert Y. Zomaya

978-3-642-33078-0

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100 €90
10% OFF
Programmiersprachen und Programmentwicklung

7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

H. Wössner

978-3-642-68355-8

1982
Edition 1
€201 €181
10% OFF
Human-Computer Interaction

Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers

Leonard J. Bass; Juri Gornostaev; Claus Unger

978-3-540-48152-2

1993
Edition 1
€100 €90
10% OFF
Stabilizing Craniocervical Operations Calcium Antagonists in SAH Current Legal Issues

Proceedings of the 40th Annual Meeting of the Deutsche Gesellschaft für Neurochirurgie, Würzburg, May 7-10, 1989

K.-A. Bushe; Mario Brock; Margareta Klinger

978-3-642-75283-4

1990
Edition 1
€180 €162
10% OFF
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part I

Huayong Yang; Honghai Liu; Jun Zou; Zhouping Yin; Lianqing Liu; Geng Yang; Xiaoping Ouyang; Zhiyong Wang

978-981-99-6483-3

2023
Edition 1
€180 €162
10% OFF
Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings

Neil V. Murray

978-3-540-48754-8

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Requirements Engineering: Foundation for Software Quality

31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings

Anne Hess; Angelo Susi

978-3-031-88531-0

2025
Edition 1
€280 €252
10% OFF
Networked Digital Technologies, Part II

Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings

Filip Zavoral; Jakub Yaghob; Pit Pichappan; Eyas El-Qawasmeh

978-3-642-14306-9

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€180 €162
10% OFF
MultiMedia Modeling

24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I

Klaus Schoeffmann; Thanarat H. Chalidabhongse; Chong Wah Ngo; Supavadee Aramvith; Noel E. O’Connor; Yo-Sung Ho; Moncef Gabbouj; Ahmed Elgammal

978-3-319-73603-7

2018
Edition 1
€100 €90
10% OFF

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.