License single eBooks

Your results

View Cart

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
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
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
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
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
Germ-Free Biology Experimental and Clinical Aspects

Proceedings of an International Symposium on Gnotobiology held in Buffalo, New York, June 9–11, 1968

Edwin A. Mirand; Nathan Back

978-1-4899-6495-3

1969
Edition 1
€180
Quantum AI and NLP

First International Conference, QNLPAI 2025, Bloomington, IN, USA, August 6–9, 2025, Proceedings

Damir Cavar; Vaneet Aggarwal; Jerome Busemeyer; Samuel Yen-Chi Chen

978-3-032-13883-5

2026
Edition 1
€220
Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

John P. Gallagher; Martin Sulzmann

978-3-319-90686-7

2018
Edition 1
€100
Software Process Improvement

12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings

Ita Richardson; Pekka Abrahamsson; Richard Messnarz

978-3-540-32271-9

2005
Edition 1
€100
Logic Programming and Nonmonotonic Reasoning

16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings

Georg Gottlob; Daniela Inclezan; Marco Maratea

978-3-031-15707-3

2022
Edition 1
€146
Advances in Image and Graphics Technologies

11th Chinese Conference, IGTA 2016, Beijing, China, July 8-9, 2016, Proceedings

Tieniu Tan; Guoping Wang; Shengjin Wang; Yue Liu; Xiaoru Yuan; Ran He; Sheng Li

978-981-10-2260-9

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Cavitation and Inhomogeneities in Underwater Acoustics

Proceedings of the First International Conference, Göttingen, Fed. Rep. of Germany, July 9–11, 1979

W. Lauterborn

978-3-642-51070-0

1980
Edition 1
€100
Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin; Igor Siveroni

978-3-540-31971-9

2005
Edition 1
€100
Natural Language Processing and Chinese Computing

Third CCF Conference, NLPCC 2014, Shenzhen, China, December 5-9, 2014. Proceedings

Chengqing Zong; Jian-Yun Nie; Dongyan Zhao; Yansong Feng

978-3-662-45924-9

2014
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
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
Software Process Improvement and Capability Determination

16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

Paul M. Clarke; Rory V. O'Connor; Terry Rout; Alec Dorling

978-3-319-38980-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
Detection of Intrusions and Malware, and Vulnerability Assessment

6th International Conference, DIMVA 2009, Milan, Italy, July 9-10, 2009. Proceedings

Ulrich Flegel; Danilo Bruschi

978-3-642-02918-9

2009
Edition 1
€100
Advances in Case-Based Reasoning

5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 Proceedings

Enrico Blanzieri; Luigi Portinale

978-3-540-44527-2

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€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
Interactive Storytelling

6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings

Hartmut Koenitz; Tonguc Ibrahim Sezen; Gabriele Ferri; Mads Haahr; Digdem Sezen; Güven Çatak

978-3-319-02756-2

2013
Edition 1
€100
Future Network Systems and Security

4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings

Robin Doss; Selwyn Piramuthu; Wei Zhou

978-3-319-94421-0

2018
Edition 1
€100
Swarm Intelligence

10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings

Marco Dorigo; Mauro Birattari; Xiaodong Li; Manuel López-Ibáñez; Kazuhiro Ohkura; Carlo Pinciroli; Thomas Stützle

978-3-319-44427-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Jean-Pierre Jouannaud

978-3-540-48699-2

1994
Edition 1
€100
Foundations of Intelligent Systems

9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings

Zbigniew W. Ras; Maciek Michalewicz

978-3-540-68440-4

1996
Edition 1
€180
Information Security

18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings

Javier Lopez; Chris J. Mitchell

978-3-319-23318-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Rewriting Techniques and Applications

14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Robert Nieuwenhuis

978-3-540-44881-5

2003
Edition 1
€100
Biomedical Image Registration

Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings

Josien P.W. Pluim; Boštjan Likar; Frans A. Gerritsen

978-3-540-35649-3

2006
Edition 1
€100
Combinatorial Algorithms

33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings

Cristina Bazgan; Henning Fernau

978-3-031-06678-8

2022
Edition 1
€180
Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Guido Governatori; Giovanni Sartor

978-3-642-14183-6

2010
Edition 1
€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
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
Similarity Search and Applications

5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012, Proceedings

Gonzalo Navarro; Vladimir Pestov

978-3-642-32153-5

2012
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€90
Natural Language Processing and Chinese Computing

4th CCF Conference, NLPCC 2015, Nanchang, China, October 9-13, 2015, Proceedings

Juanzi Li; Heng Ji; Dongyan Zhao; Yansong Feng

978-3-319-25207-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
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
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
Neuroendocrine Perspectives

Proceedings of the Third Congress of the European Neuroendocrine Association, September 9–11, 1987, London, U.K.

John A.H. Wass; Maurice F. Scanlon

978-1-4612-3478-4

1989
Edition 1
€180
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
Control Theory of Distributed Parameter Systems and Applications

Proceedings of the IFIP WG 7.2 Working Conference, Shanghai, China, May 6–9, 1990

Xunjing Li; Jiongmin Yong

978-3-540-46372-6

1991
Edition 1
€100
String Processing and Information Retrieval

26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

Nieves R. Brisaboa; Simon J. Puglisi

978-3-030-32686-9

2019
Edition 1
€100
Language and Automata Theory and Applications

11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Frank Drewes; Carlos Martín-Vide; Bianca Truthe

978-3-319-53733-7

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings

Clara Pizzuti; Marylyn D. Ritchie; Mario Giacobini

978-3-642-12211-8

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€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.