License single eBooks

Your results

View Cart

SDL 2011: Integrating System and Software Modeling

15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Iulian Ober; Ileana Ober

978-3-642-25264-8

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100 €90
10% OFF
Web Information Systems Engineering – WISE 2024

25th International Conference, Doha, Qatar, December 2–5, 2024, Proceedings, Part II

Mahmoud Barhamgi; Hua Wang; Xin Wang

978-981-96-0567-5

2025
Edition 1
€160 €144
10% OFF
Experimental Algorithms

12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings

Vincenzo Bonifaci; Camil Demetrescu; Alberto Marchetti-Spaccamela

978-3-642-38527-8

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
Database and Expert Systems Applications

12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001 Proceedings

Heinrich C. Mayr; Jiri Lazansky; Gerald Quirchmayr; Pavel Vogel

978-3-540-44759-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Computational Color Imaging

4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings

Shoji Tominaga; Raimondo Schettini; Alain Trémeau

978-3-642-36700-7

2013
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100 €90
10% OFF
Structural Information and Communication Complexity

13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings

Paola Flocchini; Leszek Gasieniec

978-3-540-35475-8

2006
Edition 1
€100 €90
10% OFF
Formal Methods in Systems Biology

First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings

Jasmin Fisher

978-3-540-68413-8

2008
Edition 1
€100 €90
10% OFF
Knowledge Science, Engineering and Management

9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings

Franz Lehner; Nora Fteimi

978-3-319-47650-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Hybrid Systems: Computation and Control

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

Alberto Bemporad; Giorgio C Buttazzo; Antonio Bicchi

978-3-540-71493-4

2007
Edition 1
€180 €162
10% OFF
Thermal Imaging Techniques

Proceedings of a Conference Held October 4–5, 1962 at Arthur D. Little, Inc., Cambridge, Massachusetts

Peter E. Glaser

978-1-4899-5645-3

1964
Edition 1
€100 €90
10% OFF
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012

15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III

Nicholas Ayache; Hervé Delingette; Polina Golland; Kensaku Mori

978-3-642-33454-2

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Advances in Databases and Information Systems

26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings

Silvia Chiusano; Tania Cerquitelli; Robert Wrembel

978-3-031-15740-0

2022
Edition 1
€150 €135
10% OFF
Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Márcio Barros; Yvan Labiche

978-3-319-22183-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Improvements in System Safety

Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008

Felix Redmill; Tom Anderson

978-1-84800-100-8

2008
Edition 1
- Proceedings of SSS 2008
- Includes supplementary material: sn.pub/extras
€280 €252
10% OFF
Modeling Decisions for Artificial Intelligence

Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings

Vincenc Torra; Yasuo Narukawa; Aïda Valls; Josep Domingo-Ferrer

978-3-540-32781-3

2006
Edition 1
€100 €90
10% OFF
Information Security Practice and Experience

10th International Conference, ISPEC 2014, Fuzhou, China, May 5-8, 2014, Proceedings

Xinyi Huang; Jianying Zhou

978-3-319-06320-1

2014
Edition 1
€100 €90
10% OFF
Business Process Management

4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings

Schahram Dustdar; José Luiz Fiadeiro; Amit Sheth

978-3-540-38903-3

2006
Edition 1
€180 €162
10% OFF
Deutsches Rechtswörterbuch

Wörterbuch der älteren deutschen Rechtssprache. Band XIV, Heft 5/6 - Subjekt – Taufzeuge

Heidelberger Akademie der Wissenschaften

978-3-662-64943-5

2022
Edition 1
- Das Großwörterbuch zur deutschen historischen Rechtssprache
- Alle Fachtermini des Rechts, ebenso Wörter der Allgemeinsprache
- Bisher über 100.000 Wortartikel von A-S
€187 €168
10% OFF
Trust, Privacy and Security in Digital Business

5th International Conference, TrustBus 2008 Turin, Italy, September 1-5, 2008, Proceedings

Steven M. Furnell; Sokratis Katsikas; Antonio Lioy

978-3-540-85735-8

2008
Edition 1
€140 €126
10% OFF
Genetic Programming

5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings

James A. Foster; Evelyne Lutton; Julian F. Miller; Conor Ryan; Andra G.B. Tezzamanzi

978-3-540-45984-2

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Language and Automata Theory and Applications

6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings

Adrian-Horia Dediu; Carlos Martín-Vide

978-3-642-28332-1

2012
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100 €90
10% OFF
Cost Analysis Applications of Economics and Operations Research

Proceedings of the Institute of Cost Analysis National Conference, Washington, D.C., July 5–7, 1989

Stephen J. Balut; Thomas R. Jr. Gulledge; Thomas P. Frazier; Lewis A. Litteral

978-1-4684-6384-2

1989
Edition 1
€100 €90
10% OFF
Web Information Systems Engineering – WISE 2024

25th International Conference, Doha, Qatar, December 2–5, 2024, Proceedings, Part V

Mahmoud Barhamgi; Hua Wang; Xin Wang

978-981-96-0576-7

2025
Edition 1
€160 €144
10% OFF
Simulation for a Sustainable Future

11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3–5, 2023, Proceedings, Part I

Miguel Mujica Mota; Paolo Scala

978-3-031-68435-7

2024
Edition 1
€280 €252
10% OFF
Information Security Practice and Experience

11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015, Proceedings

Javier Lopez; Yongdong Wu

978-3-319-17533-1

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Games and Learning Alliance

7th International Conference, GALA 2018, Palermo, Italy, December 5–7, 2018, Proceedings

Manuel Gentile; Mario Allegra; Heinrich Söbke

978-3-030-11548-7

2019
Edition 1
€100 €90
10% OFF
Hybrid Artificial Intelligent Systems

17th International Conference, HAIS 2022, Salamanca, Spain, September 5–7, 2022, Proceedings

Pablo García Bringas; Hilde Pérez García; Francisco Javier Martínez de Pisón; José Ramón Villar Flecha; Alicia Troncoso Lora; Enrique A. de la Cal; Álvaro Herrero; Francisco Martínez Álvarez; Giuseppe Psaila; Héctor Quintián; Emilio Corchado

978-3-031-15471-3

2022
Edition 1
€100 €90
10% OFF
Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Dimitra Giannakopoulou; Gwen Salaün

978-3-319-10431-7

2014
Edition 1
€100 €90
10% OFF
Games and Learning Alliance

6th International Conference, GALA 2017, Lisbon, Portugal, December 5–7, 2017, Proceedings

João Dias; Pedro A. Santos; Remco C. Veltkamp

978-3-319-71940-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Flexible Query Answering Systems

13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Alfredo Cuzzocrea; Sergio Greco; Henrik Legind Larsen; Domenico Saccà; Troels Andreasen; Henning Christiansen

978-3-030-27629-4

2019
Edition 1
€100 €90
10% OFF
Learning Technology for Education in Cloud - MOOC and Big Data

Third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014. Proceedings

Lorna Uden; Jane Sinclair; Yu-Hui Tao; Dario Liberona

978-3-319-10671-7

2014
Edition 1
€100 €90
10% OFF
LATIN 2020: Theoretical Informatics

14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings

Yoshiharu Kohayakawa; Flávio Keidi Miyazawa

978-3-030-61792-9

2020
Edition 1
€180 €162
10% OFF
Integrated Formal Methods

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Jim Davies; Jeremy Gibbons

978-3-540-73210-5

2007
Edition 1
€180 €162
10% OFF
Software Architecture

7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Khalil Drira

978-3-642-39031-9

2013
Edition 1
€100 €90
10% OFF
Embedded Computer Systems: Architectures, Modeling, and Simulation

20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings

Alex Orailoglu; Matthias Jung; Marc Reichenbach

978-3-030-60939-9

2020
Edition 1
€100 €90
10% OFF
Integer Programming and Combinatorial Optimization

25th International Conference, IPCO 2024, Wroclaw, Poland, July 3–5, 2024, Proceedings

Jens Vygen; Jarosław Byrka

978-3-031-59835-7

2024
Edition 1
€170 €153
10% OFF
Programming Languages and Systems

Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Kwangkeun Yi

978-3-540-32247-4

2005
Edition 1
€100 €90
10% OFF
AI 2016: Advances in Artificial Intelligence

29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings

Byeong Ho Kang; Quan Bai

978-3-319-50127-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Glacier Fluctuations and Climatic Change

Proceedings of the Symposium on Glacier Fluctuations and Climatic Change, held at Amsterdam, 1–5 June 1987

Johannes Oerlemans

978-94-015-7823-3

1989
Edition 1
€418 €376
10% OFF
Operations Research Proceedings 2001

Selected Papers of the International Conference on Operations Research (OR 2001), Duisburg, September 3–5, 2001

Peter Chamoni; Rainer Leisten; Alexander Martin; Joachim Minnemann; Hartmut Stadtler

978-3-642-50282-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Claude Kirchner; Helene Kirchner

978-3-540-69110-5

1998
Edition 1
€100 €90
10% OFF
Evaluating Mathematical Programming Techniques

Proceedings of a Conference Held at the National Bureau of Standards Boulder, Colorado January 5–6, 1981

J. M. Mulvey

978-3-642-95406-1

1982
Edition 1
€180 €162
10% OFF
Algorithmic Learning Theory

20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009, Proceedings

Ricard Gavaldà; Gabor Lugosi; Thomas Zeugmann; Sandra Zilles

978-3-642-04414-4

2009
Edition 1
€100 €90
10% OFF
Foundations of Intelligent Systems

26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3–5, 2022, Proceedings

Michelangelo Ceci; Sergio Flesca; Elio Masciari; Giuseppe Manco; Zbigniew W. Raś

978-3-031-16564-1

2022
Edition 1
€100 €90
10% OFF
FTK ’88, Fertigungstechnisches Kolloquium

Schriftliche Fassung der Vorträge zum Fertigungstechnischen Kolloquium am 5./6. Oktober 1988 in Stuttgart

VDI-Gesellschaft Produktionstechnik (ADB); Stuttgart Gesellschaft für Fertigungstechnik; Fertigungstechnische Institute

978-3-642-48058-4

1988
Edition 1
€201 €181
10% OFF
Persuasive Technology

20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, Proceedings

Khin Than Win; Raian Ali; Evangelos Karapanos; George A. Papadopoulos; Kiemute Oyibo; Elena Vlahu-Gjorgievska

978-3-031-94959-3

2025
Edition 1
€150 €135
10% OFF
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings

Nadine Azemard; Lars Svensson

978-3-540-74442-9

2007
Edition 1
€100 €90
10% OFF
Collective Robotics

First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings

Alexis Drogoul; Milind Tambe; Toshio Fukuda

978-3-540-68723-8

1998
Edition 1
€100 €90
10% OFF
Twelfth International Diatom Symposium

Proceedings of the Twelfth International Diatom Symposium, Renesse, The Netherlands, 30 August – 5 September 1992

Herman van Dam

978-94-017-3622-0

1993
Edition 1
€578 €520
10% OFF
Transport Transitions: Advancing Sustainable and Inclusive Mobility

Proceedings of the 10th TRA Conference, 2024, Dublin, Ireland, Volume 5: Smart Resilient Infrastructure

Ciaran McNally; Páraic Carroll; Beatriz Martinez-Pastor; Bidisha Ghosh; Marina Efthymiou; Nikolaos Valantasis-Kanellos

978-3-032-04774-8

2026
Edition 1
- This book is open access, which means that you have free and unlimited access
- Covers advances in resilience enhancement of transportation infrastructure
- Fifth volume of a 6-volume set
Open Access

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.