License single eBooks

Your results

View Cart

Formal Techniques for Distributed Systems

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

John Hatcliff; Elena Zucca

978-3-642-13464-7

2010
Edition 1
€100 €90
10% OFF
Algorithms for Sensor Systems

7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Thomas Erlebach; Sotiris Nikoletseas; Pekka Orponen

978-3-642-28209-6

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Roberto Bruni; Juergen Dingel

978-3-642-21461-5

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
Human Activity Recognition and Anomaly Detection

4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3–9, 2024, Revised Selected Papers

Kuan-Chuan Peng; Yizhou Wang; Ziyue Li; Zhenghua Chen; Jianfei Yang; Sungho Suh; Min Wu

978-981-97-9003-6

2025
Edition 1
€130 €117
10% OFF
Specifying Big Data Benchmarks

First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012 and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers

Tilmann Rabl; Meikel Poess; Chaitan Baru; Hans-Arno Jacobsen

978-3-642-53974-9

2014
Edition 1
€90 €81
10% OFF
Sensor Networks

9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28–29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9–10, 2021, Revised Selected Papers

Andreas Ahrens; RangaRao Venkatesha Prasad; César Benavente-Peces; Nirwan Ansari

978-3-031-17718-7

2022
Edition 1
€100 €90
10% OFF
Learning Classifier Systems

11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers

Jaume Bacardit; Will Browne; Jan Drugowitsch; Ester Bernadó-Mansilla; Martin V. Butz

978-3-642-17508-4

2010
Edition 1
- Up-to-date results in learning classifier systems
€100 €90
10% OFF
Seabed Mechanics

Edited Proceedings of a Symposium, sponsored jointly by the International Union of Theoretical and Applied Mechanics (IUTAM) and the International Union of Geodesy and Geophysics (IUGG), and held at the University of Newcastle upon Tyne, 5–9 September, 1983

International Union of Theoretical and Applied Mechanics; Bruce Denness

978-94-009-4958-4

1984
Edition 1
€398 €358
10% OFF
Advances in Digital Health and Medical Bioengineering

Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9–10, 2023, Bucharest, Romania – Volume 2: Health Technology Assessment, Biomedical Signal Processing, Medicine and Informatics

Hariton-Nicolae Costin; Ratko Magjarević; Gladiola Gabriela Petroiu

978-3-031-62520-6

2024
Edition 1
- Reports on results from health technology assessment processes
- Covers the design and evaluation of medical devices
- Highlight advances in medical informatics and signal/image processing
€499 €449
10% OFF
Advancing Big Data Benchmarks

Proceedings of the 2013 Workshop Series on Big Data Benchmarking, WBDB.cn, Xi'an, China, July16-17, 2013 and WBDB.us, San José, CA, USA, October 9-10, 2013, Revised Selected Papers

Tilmann Rabl; Nambiar Raghunath; Meikel Poess; Milind Bhandarkar; Hans-Arno Jacobsen; Chaitanya Baru

978-3-319-10596-3

2014
Edition 1
- Includes supplementary material: sn.pub/extras
€94 €85
10% OFF
Deep Learning Theory and Applications

First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7–9, 2021, Revised Selected Papers

Ana Fred; Carlo Sansone; Kurosh Madani

978-3-031-37320-6

2023
Edition 1
€130 €117
10% OFF
Information Systems Security and Privacy

7th International Conference, ICISSP 2021, Virtual Event, February 11–13, 2021, and 8th International Conference, ICISSP 2022, Virtual Event, February 9–11, 2022, Revised Selected Papers

Paolo Mori; Gabriele Lenzini; Steven Furnell

978-3-031-37807-2

2023
Edition 1
€130 €117
10% OFF
VLSI-SoC: Design Trends

28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6–9, 2020, Revised and Extended Selected Papers

Andrea Calimera; Pierre-Emmanuel Gaillardon; Kunal Korgaonkar; Shahar Kvatinsky; Ricardo Reis

978-3-030-81641-4

2021
Edition 1
€240 €216
10% OFF
This Changes Everything – ICT and Climate Change: What Can We Do?

13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings

David Kreps; Charles Ess; Louise Leenen; Kai Kimppa

978-3-319-99605-9

2018
Edition 1
€100 €90
10% OFF
On the Move to Meaningful Internet Systems: OTM 2008 Workshops

OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent & QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings

Zahir Tari

978-3-540-88875-8

2008
Edition 1
€280 €252
10% OFF
Current Issues in Databases and Information Systems

East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000 Prague, Czech Republic, September 5-9, 2000 Proceedings

Julius Stuller; Jaroslav Pokorny; Bernhard Thalheim; Yoshifumi Masunaga

978-3-540-44472-5

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
On the Move to Meaningful Internet Systems: OTM 2013 Workshops

Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

Yan Tang Demey; Herve Panetto

978-3-642-41033-8

2013
Edition 1
€100 €90
10% OFF
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Alberto Lluch Lafuente; José Proença

978-3-319-39519-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Distributed Applications and Interoperable Systems

16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Márk Jelasity; Evangelia Kalyvianaki

978-3-319-39577-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
The Mucosal Immune System

Proceedings of a Seminar in the EEC Programme of Coordination of Agricultural Research on Protection of the Young Animal against Perinatal Diseases, held at the University of Bristol, School of Veterinary Science, Langford, Nr. Bristol, United Kingdom on September 911, 1980

F.J. Bourne

978-94-009-8331-1

1981
Edition 1
€100 €90
10% OFF
Formal Techniques for Distributed Objects, Components, and Systems

36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Elvira Albert; Ivan Lanese

978-3-319-39570-8

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Agent Technology for Intelligent Mobile Services and Smart Societies

Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, Held as Part of AAMAS 2014, Paris, France, May 5-9, 2014. Revised Selected Papers

Fernando Koch; Felipe Meneguzzi; Kiran Lakkaraju

978-3-662-46241-6

2015
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100 €90
10% OFF
What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience

9th IFIP TC 9 International Conference, HCC9 2010 and 1st IFIP TC 11 International Conference, CIP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

Jacques J. Berleur; Magda David Hercheui; Lorenz M. Hilty

978-3-642-15479-9

2010
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€180 €162
10% OFF
Quantum Fields — Algebras, Processes

Proceedings of the Symposium Bielefeld Encounters in Physics and Mathematics II: Quantum Fields, Algebras, Processes with the Workshop White Noise Approach to Quantum Dynamics at the Centre for InterdisciplinaryResearch, Bielefeld University, Federal Republic of Germany, December 19, 1978

L. Streit

978-3-7091-8598-8

1980
Edition 1
€180 €162
10% OFF
Behavior and Social Computing

International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, Australia, April 14-17, and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

Longbing Cao; Hiroshi Motoda; Jaideep Srivastava; Ee-peng Lim; Irwin King; Philip S. Yu; Wolfgang Nejdl; Guandong Xu; Gang Li; Ya Zhang

978-3-319-04048-6

2013
Edition 1
€100 €90
10% OFF
Influence of Economic Instability on Health

Proceedings of a Symposium organized by the Gesellschaft für Strahlen- und Umweltforschung, Institut für Medizinische Informatik und Systemforschung, with technical support from the World Health Organisation, Regional Office for Europe, München, Federal Republic of Germany, 9–11 September 1981

J. John; D. Schwefel; H. Zöllner

978-3-662-07891-4

1983
Edition 1
€100 €90
10% OFF
Advances in Social Computing and Digital Education

7th International Workshop on Collaborative Agents Research and Development, CARE 2016, Singapore, May 9, 2016 and Second International Workshop on Social Computing in Digital Education, SocialEdu 2016, Zagreb, Croatia, June 6, 2016, Revised Selected Papers

Fernando Koch; Andrew Koster; Tiago Primo; Christian Guttmann

978-3-319-52039-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
$eBook:Hydraulic fracturing and geothermal energy$
Hydraulic fracturing and geothermal energy

Proceedings of the First Japan-United States Joint Seminar on Hydraulic Fracturing and Geothermal Energy, Tokyo, Japan, November 2-5, 1982, and Symposium on Fracture Mechanics Approach to Hydraulic Fracturing and Geothermal Energy, Sendai, Japan November 8-9, 1982

S. Nemat-Nassar; H. Abé; S. Hirakawa

978-94-009-6884-4

1983
Edition 1
€100 €90
10% OFF
Carbon Fibres and Their Composites

Based on papers presented at the International Conference on Carbon Fibre Applications, S?o José dos Campos (SP), Brazil, 59 December 1983, which was jointly sponsored by the Centro Técnico Aerospacial, the United Nations Industrial Development Organization and the United Nations Financing System for Science and Technology for Development

Erich Fitzer

978-3-642-70725-4

1985
Edition 1
€180 €162
10% OFF
Computer Games

5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Tristan Cazenave; Mark H.M. Winands; Stefan Edelkamp; Stephan Schiffel; Michael Thielscher; Julian Togelius

978-3-319-57969-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Sparse Matrices and their Applications

Proceedings of a Symposium on Sparse Matrices and Their Applications, held September 910, 1971, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, and sponsored by the Office of Naval Research, the National Science Foundation, IBM World Trade Corporation, and the IBM Research Mathematical Sciences Department.

D. Rose

978-1-4615-8675-3

1972
Edition 1
€100 €90
10% OFF
Communication in Critical Embedded Systems

First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers

Kalinka Branco; Alex Pinto; Daniel Pigatto

978-3-319-61403-8

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Information Assurance and Security Education and Training

8th IFIP WG 11.8 World Conference on Information Security Education, WISE 8, Auckland, New Zealand, July 8-10, 2013, Proceedings, WISE 7, Lucerne, Switzerland, June 9-10, 2011, and WISE 6, Bento Gonçalves, RS, Brazil, July 27-31, 2009, Revised Selected Papers

Ronald C. Dodge; Lynn Futcher

978-3-642-39377-8

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

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.