License single eBooks

Your results

View Cart

Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Graham Hutton

978-3-030-33636-3

2019
Edition 1
€100
Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Jean-Yves Girard

978-3-540-48959-7

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Web Engineering

20th International Conference, ICWE 2020, Helsinki, Finland, June 9–12, 2020, Proceedings

Maria Bielikova; Tommi Mikkonen; Cesare Pautasso

978-3-030-50578-3

2020
Edition 1
€160
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
Modelling and Optimization of Complex System

Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3–9 July, 1978

G.I. Marchuk

978-3-540-34781-1

1979
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
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
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
Data Science

Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings

Chengqi Zhang; Wei Huang; Yong Shi; Philip S. Yu; Yangyong Zhu; Yingjie Tian; Peng Zhang; Jing He

978-3-319-24474-7

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Passive and Active Measurement

11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010, Proceedings

Arvind Krishnamurthy; Bernhard Plattner

978-3-642-12334-4

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100
Security, Privacy, and Applied Cryptography Engineering

12th International Conference, SPACE 2022, Jaipur, India, December 9–12, 2022, Proceedings

Lejla Batina; Stjepan Picek; Mainack Mondal

978-3-031-22829-2

2022
Edition 1
€150
Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Alberto Sangiovanni-Vincentelli; Joseph Sifakis

978-3-540-45828-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Product Focused Software Process Improvement

4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings

Markku Oivo; Seija Komi-Sirviö

978-3-540-36209-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Web Engineering

10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings

Boualem Benatallah; Fabio Casati; Gerti Kappel; Gustavo Rossi

978-3-642-13911-6

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€180
Big Data

12th CCF Conference, BigData 2024, Qingdao, China, August 9–11, 2024, Proceedings

Wenwu Zhu; Hui Xiong; Xiuzhen Cheng; Lizhen Cui; Zhicheng Dou; Junyu Dong; Shanchen Pang; Li Wang; Lanju Kong; Zhenxiang Chen

978-981-96-1024-2

2025
Edition 1
€160
Wireless Sensor Networks

12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings

Tarek Abdelzaher; Nuno Pereira; Eduardo Tovar

978-3-319-15582-1

2015
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Arithmetic of Finite Fields

Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings

Joachim von zur Gathen; José Luis Imana; Cetin Kaya Koc

978-3-540-69499-1

2008
Edition 1
€100
Haptics: Science, Technology, Applications

12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings

Ilana Nisky; Jess Hartcher-O’Brien; Michaël Wiertlewski; Jeroen Smeets

978-3-030-58147-3

2020
Edition 1
Open Access
Analogical and Inductive Inference

International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings

Klaus P. Jantke

978-3-540-47339-8

1992
Edition 1
€100
Developments in Risk-based Approaches to Safety

Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006

Felix Redmill; Safety-Critical Systems Club; Tom Anderson

978-1-84628-447-2

2006
Edition 1
€180
Software Architecture

13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Tomas Bures; Laurence Duchien; Paola Inverardi

978-3-030-29983-5

2019
Edition 1
€114
Genetic Programming

13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings

Anna Isabel Esparcia-Alcazar; Aniko Ekart; Sara Silva; Stephen Dignum; A. Sima Uyar

978-3-642-12148-7

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€100
Algorithms and Discrete Applied Mathematics

9th International Conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023, Proceedings

Amitabha Bagchi; Rahul Muthu

978-3-031-25211-2

2023
Edition 1
€170
Advances in Information Technology and Education

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

Honghua Tan; Mark Zhou

978-3-642-22418-8

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€180
Logic and Argumentation

Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

Mehdi Dastani; Huimin Dong; Leon van der Torre

978-3-030-44638-3

2020
Edition 1
€100
Quality of Information and Communications Technology

13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings

Martin Shepperd; Fernando Brito e Abreu; Alberto Rodrigues da Silva; Ricardo Pérez-Castillo

978-3-030-58793-2

2020
Edition 1
€100
Information and Communication Security

Second International Conference, ICICS'99 Sydney, Australia, November 9-11, 1999 Proceedings

Vijay Varadharajan; Yi Mu

978-3-540-47942-0

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Novae and Related Stars

Proceedings of an International Conference Held by the Institut D’Astrophysique, Paris, France, 7 to 9 September 1976

Yozo Yokota

978-94-010-1217-1

1977
Edition 1
€100
Swarm Intelligence

10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings

Marco Dorigo; Mauro Birattari; Xiaodong Li; Manuel López-Ibáñez; Kazuhiro Ohkura; Carlo Pinciroli; Thomas Stützle

978-3-319-44427-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Language and Automata Theory and Applications

11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Frank Drewes; Carlos Martín-Vide; Bianca Truthe

978-3-319-53733-7

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings

Clara Pizzuti; Marylyn D. Ritchie; Mario Giacobini

978-3-642-12211-8

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€100
Progress in Cryptology – AFRICACRYPT 2018

10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings

Antoine Joux; Abderrahmane Nitaj; Tajjeeddine Rachidi

978-3-319-89339-6

2018
Edition 1
€114
Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

John P. Gallagher; Martin Sulzmann

978-3-319-90686-7

2018
Edition 1
€100
Mining Intelligence and Knowledge Exploration

10th International Conference, MIKE 2025, Chennai, India, December 9–13, 2025, Proceedings

Sountharrajan S; Baghavathi Priya S; Rajendra Prasath

978-3-032-29049-6

2027
Edition 1
Not published yet

Available from
2026-07-15
Foundations of Intelligent Systems

9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings

Zbigniew W. Ras; Maciek Michalewicz

978-3-540-68440-4

1996
Edition 1
€180
Information Security

18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings

Javier Lopez; Chris J. Mitchell

978-3-319-23318-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Rewriting Techniques and Applications

14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Robert Nieuwenhuis

978-3-540-44881-5

2003
Edition 1
€100
Future Network Systems and Security

4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings

Robin Doss; Selwyn Piramuthu; Wei Zhou

978-3-319-94421-0

2018
Edition 1
€100
Biomedical Image Registration

Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings

Josien P.W. Pluim; Boštjan Likar; Frans A. Gerritsen

978-3-540-35649-3

2006
Edition 1
€100
Combinatorial Algorithms

33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings

Cristina Bazgan; Henning Fernau

978-3-031-06678-8

2022
Edition 1
€180
Cavitation and Inhomogeneities in Underwater Acoustics

Proceedings of the First International Conference, Göttingen, Fed. Rep. of Germany, July 9–11, 1979

W. Lauterborn

978-3-642-51070-0

1980
Edition 1
€100
Applied Informatics

Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings

Hector Florez; Marcelo Leon; Jose Maria Diaz-Nafria; Simone Belli

978-3-030-32475-9

2019
Edition 1
€100
Chirurgisches Forum ’96 fur experimentelle und klinische Forschung

113. Kongreß der Deutschen Gesellschaft für Chirurgie, Berlin, 9.–13. April 1996

D. Birk; H.G. Beger; Rudolf Pichlmayr; L. Staib; J. Seifert; W. Hartel

978-3-642-80138-9

1996
Edition 1
€201
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
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

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.