License single eBooks

Your results

View Cart

Principles and Practice of Constraint Programming

22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Michel Rueher

978-3-319-44953-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke; Dominique Méry

978-3-030-77543-8

2021
Edition 1
€120
Neural Information Processing

22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

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

978-3-319-26561-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Information and Software Technologies

20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings

Giedre Dregvaite; Robertas Damasevicius

978-3-319-11958-8

2014
Edition 1
€100
Digital Information Processing and Communications

International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011. Proceedings

Vaclav Snasael; Jan Platos; Eyas El-Qawasmeh

978-3-642-22389-1

2011
Edition 1
€180
Parallel and Distributed Computing, Applications and Technologies

23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings

Hiroyuki Takizawa; Hong Shen; Toshihiro Hanawa; Jong Hyuk Park; Hui Tian; Ryusuke Egawa

978-3-031-29927-8

2023
Edition 1
€160
Ubiquitous Intelligence and Computing

6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings

Daqing Zhang; Marius Portmann; Ah-Hwee Tan; Jadwiga Indulska

978-3-642-02830-4

2009
Edition 1
€100
Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar; Jim Woodcock

978-3-540-87873-5

2008
Edition 1
€100
Intelligent Tutoring Systems

12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

Stefan Trausan-Matu; Kristy Boyer; Martha Crosby; Kitty Panourgia

978-3-319-07221-0

2014
Edition 1
€180
Man and His Mind-Changers

Highlights of the 30th International Congress on Alcoholism and Drug Dependence, Amsterdam, September 4–9, 1972

E. Dekker; H.J. van der Wal

978-94-010-2619-2

1973
Edition 1
€100
The Semantic Web

Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2008. Proceedings

Yong-jiang Yu; Ying Ding

978-3-642-10871-6

2009
Edition 1
€100
Semantic Systems. The Power of AI and Knowledge Graphs

15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings

Maribel Acosta; Philippe Cudré-Mauroux; Maria Maleshkova; Tassilo Pellegrini; Harald Sack; York Sure-Vetter

978-3-030-33220-4

2019
Edition 1
Open Access
Security and Privacy in Communication Networks

6th International ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, Proceedings

Sushil Jajodia; Jianying Zhou

978-3-642-16161-2

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€180
Bildverarbeitung für die Medizin 2003

Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 9.–11. März 2003 in Erlangen

Thomas Wittenberg; Peter Hastreiter; Ulrich Hoppe; Heinz Handels; Alexander Horsch; Hans-Peter Meinzer

978-3-642-18993-7

2003
Edition 1
€313
Computational Science — ICCS 2004

4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part IV

Marian Bubak; Geert D. van Albada; Peter M.A. Sloot; Jack Dongarra

978-3-540-25944-2

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Yuting Chen; Hiroyuki Okamura; Shaoying Liu

978-981-95-6032-5

2026
Edition 1
€130
Analytical and Stochastic Modeling Techniques and Applications

16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings

Khalid Al-Begain; Dieter Fiems; Gábor Horváth

978-3-642-02205-0

2009
Edition 1
€100
Database and Expert Systems Applications

5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings

Dimitris Karagiannis

978-3-540-48796-8

1994
Edition 1
€180
Diagrammatic Representation and Inference

6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings

Ashok K Goel; Mateja Jamnik; N Hari Narayanan

978-3-642-14600-8

2010
Edition 1
€100
Die deutsche Postbank im Wettbewerb

Proceedings der Konferenz „Die deutsche Postbank im Wettbewerb“ Bonn, 9.–10. 10.1991

Wolrad Rommel

978-3-642-45719-7

1992
Edition 1
€201
ESEC '87

1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

Howard K. Nichols; Dan Simpson

978-3-540-48117-1

1987
Edition 1
€100
Embedded Computer Systems: Architectures, Modeling, and Simulation

20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings

Alex Orailoglu; Matthias Jung; Marc Reichenbach

978-3-030-60939-9

2020
Edition 1
€100
Asymptotic, Algebraic and Geometric Aspects of Integrable Systems

In Honor of Nalini Joshi On Her 60th Birthday, TSIMF, Sanya, China, April 9–13, 2018

Frank Nijhoff; Yang Shi; Da-jun Zhang

978-3-030-57000-2

2020
Edition 1
- Covers recent advances in asymptotic, algebraic and geometric methods applied to discrete integrable systems
- Gathers together works from fields such as asymptotic analysis, representation theory and geometry
- Showcases current results, new approaches and trends in the field
€280
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings

Alvaro Pardo; Josef Kittler

978-3-319-25751-8

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Cryptology – EUROCRYPT '85

Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques. Linz, Austria, April 9-11, 1985

Franz Pichler

978-3-540-39805-9

1986
Edition 1
€70
Discrete and Computational Geometry

Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers

Jin Akiyama; Mikio Kano; Masatsugu Urabe

978-3-540-46515-7

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Lucas Lima; Vince Molnár

978-3-031-22476-8

2022
Edition 1
€110
Intelligent Interactive Assistance and Mobile Multimedia Computing

International Conference, IMC 2009, Rostock-Warnemünde, Germany, November 9-11, 2009. Proceedings

Djamshid Tavangarian; Thomas Kirste; Dirk Timmermann; Ulrike Lucke; Daniel Versick

978-3-642-10263-9

2009
Edition 1
€100
Distributed Algorithms

5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings

Sam Toueg; Paul G. Spirakis; Lefteris Kirousis

978-3-540-46789-2

1992
Edition 1
€100
Beeinflussung gestörter Thrombozytenfunktion

durch Aspartate und postoperative Thromboseprophylaxe Kolloquium am 9. März 1974 in Kettwig an der Ruhr

J. Schara

978-3-642-46325-9

1975
Edition 1
€201
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

Martin Törngren; Barbara Gallina; Erwin Schoitsch; Elena Troubitsyna; Friedemann Bitsch

978-3-032-02018-5

2026
Edition 1
€146
Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Marieke Huisman; Falk Howar

978-3-031-72044-4

2025
Edition 1
€280
Stabilization, Safety, and Security of Distributed Systems

27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9–11, 2025, Proceedings

Silvia Bonomi; Partha Sarathi Mandal; Peter Robinson; Gokarna Sharma; Sebastien Tixeuil

978-3-032-11127-2

2026
Edition 1
€146
Advances in Web-Age Information Management

Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001. Proceedings

X. Sean Wang; Ge Yu; Hongjun Lu

978-3-540-47714-3

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computational Science – ICCS 2025

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV

Michael H. Lees; Wentong Cai; Siew Ann Cheong; Yi Su; David Abramson; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-97635-3

2025
Edition 1
€110
Advances in Multimedia Information Processing - PCM 2008

9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008, Proceedings

Yueh-Min Ray Huang; Changsheng Xu; Kuo-Sheng Cheng; Jar-Ferr Kevin Yang; M.N.S. Swamy; Shipeng Li; Jen-Wen Ding

978-3-540-89796-5

2008
Edition 1
€180
Finite Fields and Applications

7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

Gary L. Mullen; Alain Poli; Henning Stichtenoth

978-3-540-24633-6

2004
Edition 1
€100
Mathematik ist schön

Anregungen zum Anschauen und Erforschen für Menschen zwischen 9 und 99 Jahren

Heinz Klaus Strick

978-3-662-59060-7

2019
Edition 2
- Das Buch bietet eine Fülle von Materialien und Anregungen zum eigenen Forschen, Ausprobieren und Recherchieren aus ganz unterschiedlichen Bereichen der Mathematik
- Es wird nahezu kein Wissen vorausgesetzt, sondern nur Neugier am eigenen Entdecken und Durchdenken
- Es eignet sich als Geschenk, als Quelle für Mathematik-interessierte Lehrer, als Preis bei Mathematik-Wettbewerben
- Includes supplementary material: sn.pub/extras
€141
Differential Geometry

Proceedings of the Nordic Summer School held in Lyngby, Denmark, Jul. 29-Aug. 9, 1985

Vagn Lundsgaard Hansen

978-3-540-47249-0

1987
Edition 1
€74
Multiagent System Technologies

7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings

Lars Braubach; Wiebe van der Hoek; Paolo Petta; Alexander Pokahr

978-3-642-04143-3

2009
Edition 1
€100
Hybrid Systems: Computation and Control

8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Manfred Morari; Lothar Thiele; Francesca Rossi

978-3-540-31954-2

2005
Edition 1
€180
Conceptual Modeling

42nd International Conference, ER 2023, Lisbon, Portugal, November 6–9, 2023, Proceedings

João Paulo A. Almeida; José Borbinha; Giancarlo Guizzardi; Sebastian Link; Jelena Zdravkovic

978-3-031-47262-6

2023
Edition 1
€160
Instability and Transition

Materials of the workshop held May 15-June 9, 1989 in Hampton, Virgina Volume 1

M.Y. Hussaini; Robert G. Voigt

978-1-4612-3430-2

1990
Edition 1
€180
Energy Minimization Methods in Computer Vision and Pattern Recognition

4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003, Proceedings

Anand Rangarajan; Mário A. T. Figueiredo; Josiane Zerubia

978-3-540-45063-4

2003
Edition 1
€180
Combinatorial Pattern Matching

18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings

Bin Ma; Kaizhong Zhang

978-3-540-73437-6

2007
Edition 1
€100
Infrared Astronomy

Proceedings of the NATO Advanced Study Institute held at Erice, Sicily, 9–20 July, 1977

G. Setti; G.G. Fazio

978-94-009-9815-5

1978
Edition 1
€100
Towards Autonomous Robotic Systems

23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings

Salvador Pacheco-Gutierrez; Alice Cryer; Ipek Caliskanelli; Harun Tugal; Robert Skilton

978-3-031-15908-4

2022
Edition 1
€130
Autonomic and Trusted Computing

6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

Juan González Nieto; Guojun Wang; Wolfgang Reif; Jadwiga Indulska

978-3-642-02704-8

2009
Edition 1
€100
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III

Maciej Paszynski; Amanda S. Barnard; Yongjie Jessica Zhang

978-3-031-97564-6

2025
Edition 1
€180
Web Reasoning and Rule Systems

10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Magdalena Ortiz; Stefan Schlobach

978-3-319-45276-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€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.