License single eBooks

Your results

View Cart

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
Making Systems Safer

Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Chris Dale; Tom Anderson

978-1-84996-086-1

2010
Edition 1
- The papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience.
- Includes both recent developments in the field and discussion of open issues that will shape future progress.
€280
Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Anne E. Haxthausen; Wendelin Serwe

978-3-031-68150-9

2024
Edition 1
€130
Applications and Techniques in Information Security

9th International Conference, ATIS 2018, Nanning, China, November 9–11, 2018, Proceedings

Qingfeng Chen; Jia Wu; Shichao Zhang; Changan Yuan; Lynn Batten; Gang Li

978-981-13-2907-4

2018
Edition 1
€100
Evolutionary Multi-Criterion Optimization

Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings

Carlos Coello Coello; Arturo Hernández Aguirre; Eckart Zitzler

978-3-540-31880-4

2005
Edition 1
€180
Advances in Intelligent Data Analysis

Third International Symposium, IDA-99 Amsterdam, The Netherlands, August 9-11, 1999 Proceedings

David J Hand; Joost N. Kok; Michael R. Berthold

978-3-540-48412-7

1999
Edition 1
€220
Web Engineering

16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings

Alessandro Bozzon; Philippe Cudré-Mauroux; Cesare Pautasso

978-3-319-38791-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Algorithms and Computation

26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

Khaled Elbassioni; Kazuhisa Makino

978-3-662-48971-0

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

14th International Conference, ANTS 2024, Konstanz, Germany, October 9–11, 2024, Proceedings

Heiko Hamann; Marco Dorigo; Leslie Pérez Cáceres; Andreagiovanni Reina; Jonas Kuckling; Tanja Katharina Kaiser; Mohammad Soorati; Ken Hasselmann; Eduard Buss

978-3-031-70932-6

2024
Edition 1
€130
Computer Safety, Reliability, and Security

41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings

Mario Trapp; Francesca Saglietti; Marc Spisländer; Friedemann Bitsch

978-3-031-14835-4

2022
Edition 1
€130
Search-Based Software Engineering

10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Thelma Elita Colanzi; Phil McMinn

978-3-319-99241-9

2018
Edition 1
€130
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
Advanced Information Systems Engineering

22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings

Barbara Pernici

978-3-642-13094-6

2010
Edition 1
€180
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
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
Die Preise der deutschen wissenschaftlichen Zeitschriften und das Ausland

Nach einem am 9. November 1928 vor der Arbeitsgemeinschaft wissenschaftlicher Verleger gehaltenen Referat

Ferdinand Springer

978-3-662-31618-4

1928
Edition 1
€187
Web Engineering

23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings

Irene Garrigós; Juan Manuel Murillo Rodríguez; Manuel Wimmer

978-3-031-34444-2

2023
Edition 1
€150
Multi-disciplinary Trends in Artificial Intelligence

5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings

Chattrakul Sombattheera; Arun Agarwal; Siba K Udgata; Kittichai Lavangnananda

978-3-642-25725-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Distributed Algorithms

10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings

Özalp Babaoglu; Keith Marzullo

978-3-540-70679-3

1996
Edition 1
€100
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
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
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
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
Artificial General Intelligence

12th International Conference, AGI 2019, Shenzhen, China, August 6–9, 2019, Proceedings

Patrick Hammer; Pulin Agrawal; Ben Goertzel; Matthew Iklé

978-3-030-27005-6

2019
Edition 1
€130
Modelle in der Medizin

Theorie und Praxis 23. Jahrestagung der GMDS Köln, 9.–11. Oktober 1978

H.J. Jesdinsky; V. Weidtman

978-3-642-81512-6

1980
Edition 1
€201
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
Experimental Algorithms

11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

Ralf Klasing

978-3-642-30850-5

2012
Edition 1
- Fast track conference proceedings
- State of the art research
- Up to date results
€100
Properties and Interactions of Interplanetary Dust

Proceedings of the 85th Colloquium of the International Astronomical Union, Marseille, France, July 9–12, 1984

L. Giese; P. Lamy

978-94-009-5464-9

1985
Edition 1
€180
Group Decision and Negotiation in an Uncertain World

18th International Conference, GDN 2018, Nanjing, China, June 9-13, 2018, Proceedings

Ye Chen; Gregory Kersten; Rudolf Vetschera; Haiyan Xu

978-3-319-92874-6

2018
Edition 1
€100
Logic, Rationality, and Interaction

4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Davide Grossi; Olivier Roy; Huaxin Huang

978-3-642-40948-6

2013
Edition 1
- Fast track conference proceedings of LORI-4
€100
Programming Languages and Systems

6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

G. Ramalingam

978-3-540-89330-1

2008
Edition 1
€100
Adaptive and Intelligent Systems

Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings

Abdelhamid Bouchachia

978-3-319-11298-5

2014
Edition 1
€94
Software Reuse: Methods, Techniques, and Tools

8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings

Jan Bosch; Charles Krueger

978-3-540-27799-6

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Dependable Software Engineering: Theories, Tools, and Applications

Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Martin Fränzle; Deepak Kapur; Naijun Zhan

978-3-319-47677-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
System Configuration Management

9th International Symposium, SCM-9 Toulouse, France, September 5-7, 1999 Proceedings

Jacky Estublier

978-3-540-48253-6

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Bernhard Beckert; Reiner Hähnle

978-3-540-79124-9

2008
Edition 1
€100
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet

7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings

Amitabha Das; Hung Keng Pung; Francis Bu Sung Lee; Lawrence Wong Wai Choong

978-3-540-79549-0

2008
Edition 1
€280
Intelligent Interactive Technologies and Multimedia

Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings

Anupam Agrawal; R.C. Tripathi; Ellen Yi-Luen Do; M. D. Tiwari

978-3-642-37463-0

2013
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€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.