License single eBooks

Your results

View Cart

Information Security

Second International Workshop, ISW'99, Kuala Lumpur, Malaysia, November 6-7, 1999 Proceedings

Masahiro Mambo; Yuliang Zheng

978-3-540-47790-7

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Electronic Properties of Fullerenes

Proceedings of the International Winterschool on Electronic Properties of Novel Materials, Kirchberg, Tirol, March 6–13, 1993

Hans Kuzmany; Jörg Fink; Michael Mehring; Siegmar Roth

978-3-642-85049-3

1993
Edition 1
€180
From Programs to Systems - The Systems Perspective in Computing

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Saddek Bensalem; Yassine Lakhnech; Axel Legay

978-3-642-54848-2

2014
Edition 1
- Dedicated to Joseph Sifakis, an award-winning and visionary scientist, who played a leading role in the development and implementation of a number of tools in the field of formal methods and rigorous system design
- Provides a new perspective on how programming theory could be extended to support systems theory
- Authors of the papers are leading researchers in the field of theory and practice of software
€94
Applied Computer Sciences in Engineering

8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings

Juan Carlos Figueroa-García; Yesid Díaz-Gutierrez; Elvis Eduardo Gaona-García; Alvaro David Orjuela-Cañón

978-3-030-86702-7

2021
Edition 1
€180
Comparative Genomics

15th International Workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Joao Meidanis; Luay Nakhleh

978-3-319-67979-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Chirurgisches Forum ’83 für experimentelle und klinische Forschung

100. Kongreß der Deutschen Gesellschaft für Chirurgie, Berlin, 6. bis 9. April 1983

H.-W. Schreiber; C. Herfarth; C. Herfarth; W. Brendel; U.B. Brückner; H. Ecke; P. Merkle; H.-D. Röher; H. Meisner; M. Reifferscheid; G. Uhlschmid; F. Unger

978-3-642-69013-6

1983
Edition 1
€201
Multi-Agent-Based Simulation XII

International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Daniel Villatoro; Jordi Sabater-Mir; Jaime Simao Sichman

978-3-642-28400-7

2012
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Testing: Academic and Industrial Conference - Practice and Research Techniques

5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings

Leonardo Bottaci; Gordon Fraser

978-3-642-15585-7

2010
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Text, Speech, and Dialogue

24th International Conference, TSD 2021, Olomouc, Czech Republic, September 6–9, 2021, Proceedings

Kamil Ekštein; František Pártl; Miloslav Konopík

978-3-030-83527-9

2021
Edition 1
€200
Far from Equilibrium Phase Transitions

Proceedings of the Xth Sitges Conference on Statistical Mechanics, Sitges, Barcelona, Spain, June 6–10, 1988

Luis Garrido

978-3-540-46060-2

1988
Edition 1
€100
Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Cyrille Artho; Peter Csaba Ölveczky

978-3-319-17581-2

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Security and Privacy in New Computing Environments

Third EAI International Conference, SPNCE 2020, Lyngby, Denmark, August 6-7, 2020, Proceedings

Ding Wang; Weizhi Meng; Jinguang Han

978-3-030-66922-5

2021
Edition 1
€100
Brain Edema XI

Proceedings of the 11th International Symposium, Newcastle-upon-Tyne, United Kingdom, June 6–10, 1999

A.D. Mendelow; A. Baethmann; Z. Czernicki; J.T. Hoff; U. Ito; H.E. James; T. Kuroiwa; A. Marmarou; L.F. Marshall; H.-.J. Reulen

978-3-7091-6346-7

2000
Edition 1
€280
Numerical Treatment of Eigenvalue Problems Vol.4 / Numerische Behandlung von Eigenwertaufgaben Band 4

Workshop in Oberwolfach, Nov. 30 – Dec. 6,1986 / Tagung in Oberwolfach, 30. November – 6. Dezember 1986

COLLATZ; ALBRECHT

978-3-0348-7507-3

1987
Edition 1
€173
ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Didier Bert; Jonathan P. Bowen; Steve King; Marina Waldén

978-3-540-44880-8

2003
Edition 1
€180
Electronic Properties of Materials

A Guide to the Literature Volume Two, Part One Volume 1 / Volume 2 / Volume 3

D.L. Grigsby; D.H. Johnson; M. Neuberger; S.J. Welles

978-1-4757-0842-4

1967
Edition 1
€100
Discrete Geometry for Computer Imagery

7th International Workshop, DGCI '97, Montpellier, France, December 3-5, 1997, Proceedings

Ehoud Ahronovitz; Christophe Fiorio

978-3-540-69660-5

1997
Edition 1
€180
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection

13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings

Yves Demazeau; Keith S. Decker; Javier Bajo Pérez; Fernando de la Prieta

978-3-319-18944-4

2015
Edition 1
€100
Algorithms for Computational Biology

First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings

Adrian-Horia Dediu; Carlos Martín-Vide; Bianca Truthe

978-3-319-07953-0

2014
Edition 1
€94
Soft Computing in Data Science

6th International Conference, SCDS 2021, Virtual Event, November 2–3, 2021, Proceedings

Azlinah Mohamed; Bee Wah Yap; Jasni Mohamad Zain; Michael W. Berry

978-981-16-7334-4

2021
Edition 1
€180
Computational Science and Its Applications - ICCSA 2014

14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

Beniamino Murgante; Sanjay Misra; Ana Maria Alves Coutinho Rocha; Carmelo Torre; Jorge Gustavo Rocha; Maria Irene Falcão; David Taniar; Bernady O. Apduhan; Osvaldo Gervasi

978-3-319-09144-0

2014
Edition 1
€180
Electronic Government and the Information Systems Perspective

Third International Conference, EGOVIS 2014, Munich, Germany, September 1-3, 2014. Proceedings

Andrea Kő; Enrico Francesconi

978-3-319-10178-1

2014
Edition 1
€100
Computational Intelligence and Network Security

Second International Conference, ICCINS 2025, Raipur, India, April 3–4, 2025, Proceedings

Preeti Chandrakar; K. Jairam Naik; Zahid Akhtar; Chien Ming Chen; Karnati Mohan

978-3-032-09572-5

2026
Edition 1
€180
Computational Intelligence. Theory and Applications

International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings

Bernd Reusch

978-3-540-45493-9

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Trust, Privacy and Security in Digital Business

9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012, Proceedings

Simone Fischer-Hübner; Sokratis Katsikas; Gerald Quirchmayr

978-3-642-32287-7

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€90
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50417-5

2020
Edition 1
€100
Big Data Computing and Communications

First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings

Yu Wang; Hui Xiong; Shlomo Argamon; XiangYang Li; JianZhong Li

978-3-319-22047-5

2015
Edition 1
€100
Internet of Vehicles -- Technologies and Services

First International Conference, IOV 2014, Beijing, China, September 1-3, 2014, Proceedings

Robert C.-H. Hsu; Wang Shangguang

978-3-319-11167-4

2014
Edition 1
€100
Applied Reconfigurable Computing

13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Stephan Wong; Antonio Carlos Beck; Koen Bertels; Luigi Carro

978-3-319-56258-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Combinatorial Pattern Matching

23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings

Juha Kärkkäinen; Jens Stoye

978-3-642-31265-6

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50420-5

2020
Edition 1
€100
Reachability Problems

19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings

Pierre Ganty; Alessio Mansutti

978-3-032-09524-4

2026
Edition 1
€114
Electronic Goverment

6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings

Maria A. Wimmer; Jochen Scholl; Anke Grönlund

978-3-540-74444-3

2007
Edition 1
€100
Advances in Grid and Pervasive Computing

First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings

Yeh-Ching Chung; José E. Moreira

978-3-540-33810-9

2006
Edition 1
€180
ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Jonathan P. Bowen; Michael G. Hinchey; David Till

978-3-540-68490-9

1997
Edition 1
€100
Unconventional Computation and Natural Computation

11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose; Natasa Jonoska

978-3-642-32894-7

2012
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€90
Industrial Applications of Holonic and Multi-Agent Systems

7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings

Vladimír Mařík; Arnd Schirrmann; Damien Trentesaux; Pavel Vrba

978-3-319-22867-9

2015
Edition 1
€94
Security, Privacy, and Applied Cryptography Engineering

Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings

Andrey Bogdanov; Somitra Sanadhya

978-3-642-34416-9

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€90
Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V

Valeria V. Krzhizhanovskaya; Gábor Závodszky; Michael H. Lees; Jack J. Dongarra; Peter M. A. Sloot; Sérgio Brissos; João Teixeira

978-3-030-50426-7

2020
Edition 1
€100
IUTAM Symposium on Physics and Mechanics of Sea Ice

Proceedings of the IUTAM Symposium held at Aalto University, Espoo, Finland, 3-9 June 2019

Jukka Tuhkuri; Arttu Polojärvi

978-3-030-80439-8

2022
Edition 1
€438
Complex Networks & Their Applications XIII

Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 3

Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol

978-3-031-82435-7

2025
Edition 1
- Presents the latest research in Complex Networks and their Applications
- Gathers the edited proceedings of the Thirteenth International Workshop on Complex Networks & their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€539
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Falk Howar; Jiří Barnat

978-3-030-00244-2

2018
Edition 1
€100
Applications of Artificial Intelligence and Data Science

First Global Conference, AAIDS 2024, London, UK, April 3–5, 2024, Proceedings

Mufti Mahmud; Nelishia Pillay; M Shamim Kaiser

978-3-031-98498-3

2026
Edition 1
€150
Networked Systems

8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

Chryssis Georgiou; Rupak Majumdar

978-3-030-67087-0

2021
Edition 1
€100
Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Nathalie Bertrand; Nils Jansen

978-3-030-57628-8

2020
Edition 1
€100
Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez; Jean-Francois Raskin

978-3-319-11936-6

2014
Edition 1
€100
Rotifer Symposium VI

Proceedings of the Sixth International Rotifer Symposium, held in Banyoles, Spain, June 3–8, 1991

John Gilbert; E. Lubzens; M.R. Miracle

978-94-011-1606-0

1993
Edition 1
€578
Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025, Proceedings

Giuseppe Scanniello; Valentina Lenarduzzi; Simone Romano; Sira Vegas; Rita Francese

978-3-032-12092-2

2026
Edition 1
€114
Systems, Software and Services Process Improvement

17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Andreas Riel; Rory O'Connor; Serge Tichkiewitch; Richard Messnarz

978-3-642-15666-3

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Information Security and Cryptology - ICISC 2010

13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers

Kyung-Hyune Rhee; DaeHun Nyang

978-3-642-24209-0

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