License single eBooks

Your results

View Cart

Intelligent Agents and Multi-Agent Systems

6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings

Jaeho Lee; Mike Barley

978-3-540-39896-7

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Dragan Bošnački; Anton Wijs

978-3-319-32582-8

2016
Edition 1
€100
Complex Sciences

Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Kristin Glass; Richard Colbaugh; Paul Ormerod; Jeffrey Tsao

978-3-319-03473-7

2013
Edition 1
- Up-to-date results
- State-of-the-art research
- Fast-track conference proceedings
€100
Computer Security

23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I

Javier Lopez; Jianying Zhou; Miguel Soriano

978-3-319-99073-6

2018
Edition 1
€100
Alcune questioni di analisi numerica

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Perugia, Italy, September 7-16, 1964

Aldo Ghizzetti

978-3-642-11027-6

2011
Edition 1
- Now available with Springer
€86
Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization

Dedicated to the Memory of Teuvo Kohonen / Proceedings of the 14th International Workshop, WSOM+ 2022, Prague, Czechia, July 6-7, 2022

Jan Faigl; Madalina Olteanu; Jan Drchal

978-3-031-15444-7

2022
Edition 1
- Provides recent research in self-organizing maps, learning vector quantization, clustering, and data visualization
- Presents computational aspects and applications for data mining and visualization
- Contains refereed papers presented at the 14th International Workshop WSOM+ 2022
€280
Advances in Neural Networks - ISNN 2007

4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III

Derong Liu; Shumin Fei; Zeng-Guang Hou; Huaguang Zhang; Changyin Sun

978-3-540-72395-0

2007
Edition 1
€180
Mobile Internet Security

5th International Symposium, MobiSec 2021, Jeju Island, South Korea, October 7–9, 2021, Revised Selected Papers

Ilsun You; Hwankuk Kim; Taek-Young Youn; Francesco Palmieri; Igor Kotenko

978-981-16-9576-6

2022
Edition 1
€180
Testing Techniques in Software Engineering

Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcook

978-3-642-14335-9

2010
Edition 1
- The book gives an detailed tutorial introduction to the scientific basis of testing
- This book is the outcome of Pernambuco Summer School on Software Engineering (PSSE) 2007, devoted to the study of computer science and to the promotion of international scientific collaboration
- includes state of the art contributions from invited lecturers
€419
Intelligence Computation and Evolutionary Computation

Results of 2012 International Conference of Intelligence Computation and Evolutionary Computation ICEC 2012 Held July 7, 2012 in Wuhan, China

Zhenyu Du

978-3-642-31656-2

2013
Edition 1
- Latest research on Intelligence and Evolutionary Computation
- Results of 2012 International Conference of Intelligence Computation and Evolutionary Computation ICEC 2012 held July 7, 2012 in Wuhan, ChinaWritten by leading experts in the field
- Written by leading experts in the field
€578
Engineering Multi-Agent Systems

First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Massimo Cossentino; Amal El Fallah Seghrouchni; Michael Winikoff

978-3-642-45343-4

2013
Edition 1
- Includes also material from the agent competition
- Proceedings of the workshop bringing together AOSE, DALT, ProMAS communities
- Contains not only research, but also application papers on engineering multi-agent systems
€100
String Theory: From Gauge Interactions to Cosmology

Proceedings of the NATO Advanced Study Institute on String Theory: From Gauge Interactions to Cosmology, Cargèse, France, from 7 to 19 June 2004

Laurent Baulieu; Jan de Boer; Boris Pioline; Eliezer Rabinovici

978-1-4020-3733-7

2006
Edition 1
- Up-to-date pedagogical survey of latest developments
- Offers a bridge from microphysics to cosmology
- World leading experts
€180
Side Effects of Anti-Inflammatory Drugs IV

The Proceedings of the IVth International Meeting on Side Effects of Anti-inflammatory Drugs, held in Sheffield, UK, 7–9 August 1995

K. D. Rainsford

978-94-011-5394-2

1997
Edition 1
€400
Communications for Manufacturing

Proceedings of the Open Congress 4–7 September 1990 Stuttgart, Germany CEC DG XIII: Telecommunications, Information Industries and Innovation

Stephen Withnell; Willy VanPuymbroeck

978-1-4471-1820-6

1990
Edition 1
€100
Smart Cities

Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers

Sergio Nesmachnow; Luis Hernández Callejo

978-3-030-38889-8

2020
Edition 1
€100
Progress in Artificial Intelligence and Pattern Recognition

7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, Havana, Cuba, October 5–7, 2021, Proceedings

Yanio Hernández Heredia; Vladimir Milián Núñez; José Ruiz Shulcloper

978-3-030-89691-1

2021
Edition 1
€160
Semantics, Web and Mining

Joint International Workshop, EWMF 2005 and KDO 2005, Porto, Portugal, October 3-7, 2005, Revised Selected Papers

Markus Ackermann; Bettina Berendt; Marko Grobelnik; Andreas Hotho; Dunja Mladenic; Giovanni Semeraro; Myra Spiliopoulou; Gerd Stumme; Vojtech Svatek; Maarten van Someren

978-3-540-47698-6

2006
Edition 1
€100
Magnetic Resonance in Colloid and Interface Science

Proceedings of a NATO Advanced Study Institute and the Second International Symposium held at Menton, France, June 25 – July 7, 1979

J. Fraissard; H.A. Resing

978-94-009-9079-1

1980
Edition 1
€100
System Modeling and Optimization

26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers

Christian Pötzsche; Clemens Heuberger; Barbara Kaltenbacher; Franz Rendl

978-3-662-45504-3

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz

978-3-642-19583-9

2011
Edition 1
- Unique visibility
- fast-track-conference proceedings
- state-of-the-art research
€100
Applications of Evolutionary Computation

EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II

Cecilia Di Chio; Anthony Brabazon; Marc Ebner; Muddassar Farooq; Andreas Fink; Jörn Grahl; Gary Greenfield; Penousal Machado; Michael O'Neill; Ernesto Tarantino; Neil Urquhart

978-3-642-12242-2

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€180
Advances in Artificial Intelligence

14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011. Proceedings

Jose A. Lozano; José A. Gámez; José A. Moreno-Pérez

978-3-642-25274-7

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
18. Hämophilie-Symposion Hamburg 1987

Verhandlungsberichte: Ärztliche Versorgung HIV-1-infizierter Hämophiler: Verlauf der HIV-1-Infektion und Verhütung bedrohlicher Folgekrankheiten Freie Vorträge zur Diagnostik und Behandlung angeborener und erworbener Blutungskrankheiten

Günter Landbeck; R. Marx

978-3-642-73589-9

1988
Edition 1
€201
Organfunktion und Stoffwechsel in der perioperativen Phase

1. Internationales Steglitzer Symposium (25.–26. Oktober 1985), Begleitsymposium (24. Oktober 1985)

Konrad Reinhart; Klaus Eyrich

978-3-642-70798-8

1985
Edition 1
€201
AI 2013: Advances in Artificial Intelligence

26th Australian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Stephen Cranefield; Abhaya C. Nayak

978-3-319-03680-9

2013
Edition 1
€100
Dynamics of Gas-Surface Interaction

Proceedings of the International School on Material Science and Technology, Erice, Italy, July 1–15, 1981

Giorgio Benedek; U. Valbusa

978-3-642-86455-1

1982
Edition 1
€180
Artificial Immune Systems

Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings

Jon Timmis; Peter Bentley; Emma Hart

978-3-540-45192-1

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Kommentierte Gesetzessammlung Sachkunde nach § 34a und Geprüfte Schutz- und Sicherheitskraft

Alle einschlägigen Gesetze und Vorschriften inklusive der DGUV Vorschriften 1 und 23

Robert Schwarz

978-3-658-30373-0

2020
Edition 3
- Alle wichtigen Gesetze der Sicherheitswirtschaft auf einen Blick - ideal für die Prüfungsvorbereitung
- Praktisches Nachschlagewerk mit Erläuterungen und Verständnishilfen
- Ideale Ergänzung der Lehr- und Lernmaterialien zur Sicherheitswirtschaft
€121
Deutsches Rechtswörterbuch

Wörterbuch der älteren deutschen Rechtssprache. Band XIV, Heft 1/2 - Stegreif – Stocherwort

978-3-476-05157-8

2019
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
Mesh Processing in Medical Image Analysis 2012

MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012, Proceedings

Joshua A. Levine; Rasmus R. Paulsen; Yongjie Zhang

978-3-642-33463-4

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€90
Bioinformatics Research and Applications

16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings

Zhipeng Cai; Ion Mandoiu; Giri Narasimhan; Pavel Skums; Xuan Guo

978-3-030-57821-3

2020
Edition 1
€100
Provable Security

First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings

Willy Susilo; Joseph K. Liu; Yi Mu

978-3-540-75670-5

2007
Edition 1
€100
Database and Expert Systems Applications

8th International Conference, DEXA'97, Toulouse, France, September 1-5, 1997, Proceedings

A. Hameurlain; A. Min Tjoa

978-3-540-69580-6

1997
Edition 1
€180
Mining Intelligence and Knowledge Exploration

9th International Conference, MIKE 2021, Hammamet, Tunisia, November 1–3, 2021, Proceedings

Richard Chbeir; Yannis Manolopoulos; Rajendra Prasath

978-3-031-21517-9

2022
Edition 1
€130
Numerical Analysis

Proceedings of the 10th Biennial Conference held at Dundee, Scotland, June 28 - July 1, 1983

D.F. Griffiths

978-3-540-38881-4

1984
Edition 1
€69
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection

14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

Yves Demazeau; Takayuki Ito; Javier Bajo; Maria José Escalona

978-3-319-39324-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Manuel Núnez; Zakaaria Maamar; Fernando Pelayo; Key Pousttchi; Fernando Rubio

978-3-540-30233-9

2004
Edition 1
€100
Principles and Practice of Declarative Programming

International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings

Gopalan Nadathur

978-3-540-48164-5

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
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
Computer Vision Systems

Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

James Crowley; Justus Piater; Markus Vincze; Lucas Paletta

978-3-540-36592-1

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Discovery Science

10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings

Vincent Corruble; Masayuki Takeda; Einoshin Suzuki

978-3-540-75488-6

2007
Edition 1
€100
Business Modeling and Software Design

15th International Symposium, BMSD 2025, Milan, Italy, July 1–3, 2025, Proceedings

Boris Shishkov

978-3-031-98033-6

2026
Edition 1
€280
Business Process Management

17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Thomas Hildebrandt; Boudewijn F. van Dongen; Maximilian Röglinger; Jan Mendling

978-3-030-26619-6

2019
Edition 1
€100
Entertainment Computing - ICEC 2014

13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings

Yusuf Pisan; Nikitas Marinos Sgouros; Tim Marsh

978-3-662-45212-7

2014
Edition 1
€100
Global Security, Safety, and Sustainability

6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings

Sergio Tenreiro de Magalhaes; Hamid Jahankhani; Ali G. Hessami

978-3-642-15717-2

2010
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Applied Informatics

First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings

Hector Florez; Cesar Diaz; Jaime Chavarriaga

978-3-030-01535-0

2018
Edition 1
€100
Advances in Information Technology

Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings

Borworn Papasratorn; Wichian Chutimaskul; Kriengkrai Porkaew; Vajirasak Vanijja

978-3-642-10392-6

2009
Edition 1
€100
Vrancea Earthquakes: Tectonics, Hazard and Risk Mitigation

Contributions from the First International Workshop on Vrancea Earthquakes, Bucharest, Romania, November 1–4, 1997

F. Wenzel; O. Novak; D. Lungu

978-94-011-4748-4

1999
Edition 1
€280
Trust, Privacy and Security in Digital Business

12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings

Simone Fischer-Hübner; Costas Lambrinoudakis; Javier López

978-3-319-22906-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

Uwe Egly; Christian G. Fernmüller

978-3-540-45616-2

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