License single eBooks

Your results

View Cart

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen; Peter Niebert

978-3-540-40903-8

2004
Edition 1
€100
Turbellarian Biology

Proceedings of the Sixth International Symposium on the Biology of the Turbellaria, held at Hirosaki, Japan, 7–12 August 1990

Seth Tyler

978-94-011-2775-2

1991
Edition 1
€180
Diagrammatic Representation and Inference

9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Mateja Jamnik; Yuri Uesaka; Stephanie Elzer Schwartz

978-3-319-42333-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€130
Implementation of Functional Languages

11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

Pieter Koopman; Chris Clack

978-3-540-44658-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
Innovative Technologies and Learning

8th International Conference, ICITL 2025, Oslo, Norway, August 5–7, 2025, Proceedings, Part I

Wei-Sheng Wang; Frode Eika Sandnes; Chin-Feng Lai; Tengel Aas Sandtrø; Yueh-Min Huang

978-3-031-98185-2

2026
Edition 1
€280
Algorithms and Data Structures

14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings

Frank Dehne; Jörg-Rüdiger Sack; Ulrike Stege

978-3-319-21840-3

2015
Edition 1
€100
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
End-User Development

Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings

Maria Francesca Costabile; Yvonne Dittrich; Gerhard Fischer; Antonio Piccinno

978-3-642-21530-8

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Advanced Concepts for Intelligent Vision Systems

14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012, Proceedings

Jaques Blanc-Talon; Wilfried Philips; Dan Popescu; Paul Scheunders; Pavel Zemcik

978-3-642-33140-4

2012
Edition 1
- Fast conference proceedings
- State-of-the-art report
- Up to date results
€100
Computer: Werkzeug der Medizin

Kolloquium Datenverarbeitung und Medizin 7.–9. Oktober 1968, Schloß Reinhartshausen in Erbach im Rheingau

Carl Th Ehlers

978-3-662-26528-4

1970
Edition 1
€201
Towards new e-Infrastructure and e-Services for Developing Countries

14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

Rashid A. Saeed; Abubakar D. Bakari; Yahya Hamad Sheikh

978-3-031-34896-9

2023
Edition 1
€180
Recent Advances in System Modelling and Optimization

Proceedings of the IFIP-WG 7/1 Working Conference, Santiago, Chile, August 27–31, 1984

Luis Contesse; Rafael Correa; Andres Weintraub

978-3-540-47201-8

1986
Edition 1
€100
Testbeds and Research Infrastructures for the Development of Networks and Communications

14th EAI International Conference, TridentCom 2019, Changsha, China, December 7-8, 2019, Proceedings

Honghao Gao; Kuang Li; Xiaoxian Yang; Yuyu Yin

978-3-030-43215-7

2020
Edition 1
€100
Future Access Enablers for Ubiquitous and Intelligent Infrastructures

5th EAI International Conference, FABULOUS 2021, Virtual Event, May 6–7, 2021, Proceedings

Dragan Perakovic; Lucia Knapcikova

978-3-030-78459-1

2021
Edition 1
€100
Global Modelling

Proceedings of the IFIP-WG 7/1 Working Conference Dubrovnik, Yugoslavia, September 1–5, 1980

S. Krcevinac

978-3-540-38560-8

1981
Edition 1
€100
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Pattern Recognition and Image Analysis

6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013, Proceedings

Joao Miguel Sanches; Luisa Micó; Jaime Cardoso

978-3-642-38628-2

2013
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€180
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
VLSI Design and Test

29th International Symposium, VDAT 2025, Chandigarh, India, August 7–9, 2025, Proceedings, Part I

Brajesh Rawat; Hitesh Shirmali; Shivani Malhotra; Rohit Y. Sharma; Neeraj Goel

978-3-032-26305-6

2026
Edition 1
Not published yet

Available from
2026-06-04
Algorithms and Models for the Web Graph

16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings

Konstantin Avrachenkov; Paweł Prałat; Nan Ye

978-3-030-25070-6

2019
Edition 1
€100
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
Privacy Enhancing Technologies

9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009, Proceedings

Ian Goldberg; Mikhail Atallah

978-3-642-03168-7

2009
Edition 1
€100
Model Driven Engineering Languages and Systems

8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

Lionel Briand; Clay Williams

978-3-540-32057-9

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Embedded Systems

New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

Albert Kündig; Richard E. Bührer; Jacques Dähler

978-3-540-48021-1

1987
Edition 1
€419
Algorithms for Computational Biology

8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings

Carlos Martín-Vide; Miguel A. Vega-Rodríguez; Travis Wheeler

978-3-030-74432-8

2021
Edition 1
€100
Software Engineering Education

7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings

Jorge L. Diaz-Herrera

978-3-540-48191-1

1994
Edition 1
€180
E-Commerce and Web Technologies

7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006, Proceedings

Kurt Bauknecht; Birgit Pröll; Hannes Werthner

978-3-540-37745-0

2006
Edition 1
€100
Computer: Werkzeug der Medizin

Kolloquium Datenverarbeitung und Medizin 7.–9. Oktober 1968 Schloß Reinharthausen in Erbach im Rheingau

C.Th. Ehlers; N. Hollberg; A. Proppe

978-3-642-49804-6

1970
Edition 1
€173
Advances in Computer Systems Architecture

9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings

Pen-Chung Yew; Jingling Xue

978-3-540-30102-8

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Bioinformatics Research and Applications

Third International Symposium,ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings

Ion Mandoiu; Alexander Zelikovsky

978-3-540-72031-7

2007
Edition 1
€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.