License single eBooks

Your results

View Cart

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Farn Wang

978-3-540-32084-5

2005
Edition 1
€180
Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems

Proceedings of FAIM 2023, June 18–22, 2023, Porto, Portugal, Volume 2: Industrial Management

Francisco J. G. Silva; Luís Pinto Ferreira; José Carlos Sá; Maria Teresa Pereira; Carla M. A. Pinto

978-3-031-38165-2

2024
Edition 1
- Reports on methods and systems to improve and control the manufacturing process
- Covers lean and green manufacturing, logistics and human factors
- Second volume of a 2-volume set
€639
Software Product Lines

Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings

Robert L. Nord

978-3-540-28630-1

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€160
Research in Computational Molecular Biology

10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings

Alberto Apostolico; Concettina Guerra; Sorin Istrail; Pavel Pevzner; Michael Waterman

978-3-540-33296-1

2006
Edition 1
€180
Systems, Software and Services Process Improvement

22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

Rory V. O’Connor; Mariye Umay Akkaya; Kerem Kemaneci; Murat Yilmaz; Alexander Poth; Richard Messnarz

978-3-319-24647-5

2015
Edition 1
€100
Hypermedia Design

Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995

Sylvain Fraisse; Franca Garzotto; Tomas Isakowitz; Jocelyne Nanard; Marc Nanard

978-1-4471-3082-6

1996
Edition 1
€180
Analytical and Stochastic Modelling Techniques and Applications

21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

Bruno Sericola; Telek Miklós; Gábor Horváth

978-3-319-08219-6

2014
Edition 1
€94
Klinische Psychotherapie Innerer Krankheiten

Sechstes Freiburger Symposion an der Medizinischen Universitäts-Klinik vom 2. bis 4. Mai 1958

Günter Clauser

978-3-642-94748-3

1957
Edition 1
€201
Die Onkologie

Teil 1: Epidemiologie - Pathogenese - Grundprinzipien der Therapie; Teil 2: Solide Tumoren - Lymphome - Leukämien

Wolfgang Hiddemann; Claus R. Bartram

978-3-540-79725-8

2010
Edition 2
- Fundiertes klinisches Grundlagenwissen und aktuelle Empfehlungen für die Praxis zusammengefasst in einem Werk
- Komplexes Wissen: anschaulich, einprägsam und praxistauglich
- Verfasst von anerkannten Experten aus Klinik, Praxis und Forschung
- Includes supplementary material: sn.pub/extras
€701
Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation

13th International Conference, BDAS 2017, Ustroń, Poland, May 30 - June 2, 2017, Proceedings

Stanisław Kozielski; Dariusz Mrozek; Paweł Kasprowski; Bożena Małysiak-Mrozek; Daniel Kostrzewa

978-3-319-58274-0

2017
Edition 1
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
€100
Ergebnisse der Lepraforschung seit 1930

Ergänzung zum Beitrage „Lepra“ in „Handbuch der Haut- und Geschlechtskrankheiten“ · Band X/2 · 1930

Victor Klingmüller

978-3-642-91810-0

1938
Edition 1
€201
Generative Systems and Intelligent Tutoring Systems

21st International Conference, ITS 2025, Alexandroupolis, Greece, June 2–6, 2025, Proceedings, Part II

Sabine Graf; Angelos Markos

978-3-031-98284-2

2026
Edition 1
€114
Die Zehner-Gruppe

Stellung und Kooperation der Zehner-Gruppe im internationalen Währungssystem (Bankwirtschaftliche Studien, Folge 2)

Frank Braun

978-3-642-93616-6

1970
Edition 1
€181
Body Area Networks: Smart IoT and Big Data for Intelligent Health Management

14th EAI International Conference, BODYNETS 2019, Florence, Italy, October 2-3, 2019, Proceedings

Lorenzo Mucchi; Matti Hämäläinen; Sara Jayousi; Simone Morosi

978-3-030-34833-5

2019
Edition 1
€100
Abstraction, Reformulation, and Approximation

5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Sven Koenig; Robert C. Holte

978-3-540-45622-3

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Optimal Transportation and Applications

Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 2–8, 2001

Luigi Ambrosio; Luis A. Caffarelli; Luis A. Caffarelli; Sandro Salsa; Yann Brenier; Giuseppe Buttazzo; Cédric Villani

978-3-540-44857-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€74
Privacy Technologies and Policy

11th Annual Privacy Forum, APF 2023, Lyon, France, June 1–2, 2023, Proceedings

Kai Rannenberg; Prokopios Drogkaris; Cédric Lauradoux

978-3-031-61089-9

2024
Edition 1
€220
Theory and Practice of Model Transformations

Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt; Martin Gogolla

978-3-642-13688-7

2010
Edition 1
€100
WALCOM: Algorithms and Computation

14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings

M. Sohel Rahman; Kunihiko Sadakane; Wing-Kin Sung

978-3-030-39881-1

2020
Edition 1
€130
Entertainment Computing - ICEC 2015

14th International Conference, ICEC 2015, Trondheim, Norway, September 29 - Ocotober 2, 2015, Proceedings

Konstantinos Chorianopoulos; Monica Divitini; Jannicke Baalsrud Hauge; Letizia Jaccheri; Rainer Malaka

978-3-319-24589-8

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Inborn Errors of Metabolism in Humans

Monograph based upon Proceedings of the International Symposium held in Interlaken, Switzerland, September 2–5, 1980

F. Cockburn

978-94-009-7325-1

1982
Edition 1
€100
Software Process Improvement

16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009, Proceedings

Rory O'Connor; Nathan Baddoo; Juan J. Cuadrado-Gallego; Ricardo Rejas Muslera; Kari Smolander; Richard Messnarz

978-3-642-04133-4

2009
Edition 1
€100
Programmiersprachen und Programmentwicklung

7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

H. Wössner

978-3-642-68355-8

1982
Edition 1
€201
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings

J. Christopher Beck; Barbara Smith

978-3-540-34307-3

2006
Edition 1
€100
Graph Transformations

5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Hartmut Ehrig; Arend Rensink; Grzegorz Rozenberg; Andy Schürr

978-3-642-15928-2

2010
Edition 1
- Fast track conference proceedings
€100
Data Mining

17th Australasian Conference, AusDM 2019, Adelaide, SA, Australia, December 2–5, 2019, Proceedings

Thuc D. Le; Kok-Leong Ong; Yanchang Zhao; Warren H. Jin; Sebastien Wong; Lin Liu; Graham Williams

978-981-15-1699-3

2019
Edition 1
€134
Complex, Intelligent and Software Intensive Systems

Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 2

Leonard Barolli; Tomoya Enokido; Isaac Woungang

978-3-031-96096-3

2025
Edition 1
- Presents recent research on complex, intelligent, and software intensive systems
- Includes the proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems
- Written by experts in the field
€400
Information Security and Cryptology - ICISC 2011

14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers

Howon Kim

978-3-642-31912-9

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Advances in Social Networks Analysis and Mining

Proceedings of the 16th International Conference on Advances in Social Networks Analysis and Mining - ASONAM 2024 Volume 2

I-Hsien Ting; Reda Alhajj; Panagiotis Karampelas; Min-Yuh Day

978-3-031-85386-9

2025
Edition 1
- Explores the evolution of social network analysis and mining
- Fosters human interaction, the sharing of experiences and knowledge, and the formation and evolution of communities
- Presents a comprehensive collection of cutting-edge research and developments in SNAM
€380
Scale Space and Variational Methods in Computer Vision

First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings

Fiorella Sgallari; Almerico Murli; Nikos Paragios

978-3-540-72823-8

2007
Edition 1
€180
Software Architecture

10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Bedir Tekinerdogan; Uwe Zdun; Ali Babar

978-3-319-48992-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Cooperative Information Agents III

Third International Workshop, CIA'99 Uppsala, Sweden, July 31 - August 2, 1999 Proceedings

Matthias Klusch; Onn M. Shehory; Gerhard Weiß

978-3-540-48414-1

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Image and Signal Processing

4th International Conference, ICISP 2010, Québec, Canada, June 30 - July 2, 2010. Proceedings

Abderrahim Elmoataz; Olivier Lezoray; Fathallah Nouboud; Driss Mammass; Jean Meunier

978-3-642-13681-8

2010
Edition 1
€180
Computing and Combinatorics

24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

Lusheng Wang; Daming Zhu

978-3-319-94776-1

2018
Edition 1
€100
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 2: Im Spiegel der Wissenschaften

Jugendwerk der Deutschen Shell

978-3-322-95886-0

1992
Edition 1
€201
Advances in Psychosomatic Obstetrics and Gynecology

Proceedings. Sixth International Congress of Psychosomatic Obstetrics and Gynecology, Berlin, Reichstag, September 2 - 6, 1980

P. G. Pechatschek; H.-J. Prill; M. Stauber

978-3-642-81876-9

1982
Edition 1
€180
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings

Gérard Subsol

978-3-540-32285-6

2005
Edition 1
€100
New Trends in Computational Engineering

5th International Conference on Computational Engineering, ICCE 2024, Darmstadt, Germany, September 30–October 2

Michael Schäfer; Marek Behr; Hans-Joachim Bungartz; Sebastian Schöps; Miriam Schulte; Manuel Torrilhon; Oliver Weeger

978-3-032-16253-3

2026
Edition 1
€439

Not published yet

Available from
2026-04-05
Advances in Computer Science and Information Technology. Networks and Communications

Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

Natarajan Meghanathan; Nabendu Chaki; Dhinaharan Nagamalai

978-3-642-27299-8

2012
Edition 1
- Unique visisbility
- State-of-the-art research
- Fast-track conference proceedings
€180
Recent Developments in Surface Acoustic Waves

Proceedings of European Mechanics Colloquium 226, University of Nottingham, U. K., September 2–5, 1987

David F. Parker; Gerard A. Maugin

978-3-642-83508-7

1988
Edition 1
€180
Algorithmic Game Theory

7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings

Ron Lavi

978-3-662-44803-8

2014
Edition 1
€100
Information Processing in Medical Imaging

26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

Albert C. S. Chung; James C. Gee; Paul A. Yushkevich; Siqi Bao

978-3-030-20351-1

2019
Edition 1
€180
Euro-Par 2011 Parallel Processing

17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I

Emmanuel Jeannot; Raymond Namyst; Jean Roman

978-3-642-23400-2

2011
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100
Intelligent Computing Theories and Application

12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

De-Shuang Huang; Vitoantonio Bevilacqua; Prashan Premaratne

978-3-319-42291-6

2016
Edition 1
€180
Systems, Software and Services Process Improvement

29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 – September 2, 2022, Proceedings

Murat Yilmaz; Paul Clarke; Richard Messnarz; Bruno Wöran

978-3-031-15559-8

2022
Edition 1
€240
Ambient Assisted Living and Daily Activities

6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings

Leandro Pecchia; Liming Chen; Chris Nugent; Jose Bravo

978-3-319-13105-4

2014
Edition 1
€100
Finite-State Methods and Natural Language Processing

5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers

Anssi Yli-Jyrä; Lauri Karttunen; Juhani Karhumäki

978-3-540-35469-7

2006
Edition 1
€100
Forschungen zur Biologischen Psychiatrie

2. Kongreß der Deutschen Gesellschaft für Biologische Psychiatrie, Düsseldorf, 23.-25. September 1982

A. Hopf; H. Beckmann

978-3-642-69539-1

1984
Edition 1
€201
Chirurgisches Forum für experimentelle und klinische Forschung

90. Kongreß der Deutschen Gesellschaft für Chirurgie München 30. Mai–2. Juni 1973

F. Linder; H.-D. Röher; H. Rudolph

978-3-662-01079-2

1973
Edition 1
€514
Advances in Intelligent Computing Techniques and Applications

Intelligent Systems, Intelligent Health Informatics, Intelligent Big Data Analytics and Smart Computing, Volume 2

Faisal Saeed; Fathey Mohammed; Yousef Fazea

978-3-031-59707-7

2024
Edition 1
- Focuses on recent topics in data science, health informatics, intelligent systems, smart computing
- Outcomes of the 7th International Conference of Reliable Information and Communication Technology IRICT 2023
- Presents emerging trends in intelligent computing and informatics
€439

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.