License single eBooks

Your results

View Cart

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Miriam Leeser; Geoffrey Brown

978-0-387-34801-8

1990
Edition 1

€100
Electronic Government

22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5–7, 2023, Proceedings

Ida Lindgren; Csaba Csáki; Evangelos Kalampokis; Marijn Janssen; Gabriela Viale Pereira; Shefali Virkar; Efthimios Tambouris; Anneke Zuiderwijk

978-3-031-41138-0

2023
Edition 1

€170
Security and Privacy in Cyber-Physical Systems and Smart Vehicles

Second EAI International Conference, SmartSP 2024, New Orleans, LA, USA, November 7–8, 2024, Proceedings

Xiali Hei; Luis Garcia; Taegyu Kim; Kyungtae Kim

978-3-031-93354-7

2025
Edition 1

€120
Extreme Programming and Agile Methods - XP/Agile Universe 2002

Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings

Don Wells; Lauris Williams

978-3-540-45672-8

2002
Edition 1

€100
Group Decision and Negotiation: A Multidisciplinary Perspective

20th International Conference on Group Decision and Negotiation, GDN 2020, Toronto, ON, Canada, June 7–11, 2020, Proceedings

Danielle Costa Morais; Liping Fang; Masahide Horita

978-3-030-48641-9

2020
Edition 1

€100
Alternative Wastewater Treatment

Low-Cost Small Systems, Research and Development Proceedings of the Conference held at Oslo, Norway, September 7–10, 1981

A.S. Eikum; R.W. Seabloom

978-94-009-7849-2

1982
Edition 1

€400
Advances in Services Computing

9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings

Lina Yao; Xia Xie; Qingchen Zhang; Laurence T. Yang; Albert Y. Zomaya; Hai Jin

978-3-319-26979-5

2015
Edition 1

€100
Group Theory in Non-Linear Problems

Lectures Presented at the NATO Advanced Study Institute on Mathematical Physics, held in Istanbul, Turkey, August 7–18, 1972

P. Barut

978-94-010-2144-9

1974
Edition 1

€100
Progress in Cryptology – LATINCRYPT 2012

2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012, Proceedings

Alejandro Hevia; Gregory Neven

978-3-642-33481-8

2012
Edition 1

€100
Engineering Multi-Agent Systems

12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers

Daniela Briola; Rafael C. Cardoso; Brian Logan

978-3-031-71152-7

2024
Edition 1

€100
Relativistic Astrophysics and Cosmology – Einstein’s Legacy

Proceedings of the MPE/USM/MPA/ESO Joint Astronomy Conference Held in Munich, Germany, 7-11 November 2005

Bernd Aschenbach; Vadim Burwitz; Günther Hasinger; Bruno Leibundgut

978-3-540-74713-0

2007
Edition 1

€180
Computing Science, Communication and Security

4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers

Nirbhay Chaubey; Sabu M. Thampi; Noor Zaman Jhanjhi; Satyen Parikh; Kiran Amin

978-3-031-40564-8

2023
Edition 1

€150
Dependable Computer Systems and Networks

Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3–7, 2023, Brunów, Poland

Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk

978-3-031-37720-4

2023
Edition 1

€380
Applications of Fuzzy Sets Theory

7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings

Francesco Masulli; Sushmita Mitra; Gabriella Pasi

978-3-540-73400-0

2007
Edition 1

€180
Advances in Design and Digital Communication

Proceedings of the 4th International Conference on Design and Digital Communication, Digicom 2020, November 5–7, 2020, Barcelos, Portugal

Nuno Martins; Daniel Brandão

978-3-030-61671-7

2021
Edition 1

€438
Computer Animation and Social Agents

37th International Conference, CASA 2024, Wuhan, China, June 5–7, 2024, Revised Selected Papers, Part I

Nadia Magnenat Thalmann; Xinrong Hu; Bin Sheng; Daniel Thalmann; Tao Peng; Weiliang Meng; Jin Huang; Lei Zhu; Xiong Wei

978-981-96-2681-6

2025
Edition 1

€150
Web and Big Data

First International Joint Conference, APWeb-WAIM 2017, Beijing, China, July 7–9, 2017, Proceedings, Part I

Lei Chen; Christian S. Jensen; Cyrus Shahabi; Xiaochun Yang; Xiang Lian

978-3-319-63579-8

2017
Edition 1

€100
Advances in System-Integrated Intelligence

Proceedings of the 6th International Conference on System-Integrated Intelligence (SysInt 2022), September 7-9, 2022, Genova, Italy

Maurizio Valle; Dirk Lehmhus; Christian Gianoglio; Edoardo Ragusa; Lucia Seminara; Stefan Bosse; Ali Ibrahim; Klaus-Dieter Thoben

978-3-031-16281-7

2023
Edition 1

€180
Computer Science - Theory and Applications

9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Edward Hirsch; Sergei O. Kuznetsov; Jean-Éric Pin; Nikolay Vereshchagin

978-3-319-06686-8

2014
Edition 1

€100
Electronic Participation

13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7–9, 2021, Proceedings

Noella Edelmann; Csaba Csáki; Sara Hofmann; Thomas J. Lampoltshammer; Laura Alcaide Muñoz; Peter Parycek; Gerhard Schwabe; Efthimios Tambouris

978-3-030-82824-0

2021
Edition 1

€100
Interactive Storytelling

14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7–10, 2021, Proceedings

Alex Mitchell; Mirjam Vosmeer

978-3-030-92300-6

2021
Edition 1

€180
Human Language Technology. Challenges of the Information Society

Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers

Zygmunt Vetulani; Hans Uszkoreit

978-3-642-04235-5

2009
Edition 1

€100
Computer Science - Theory and Applications

Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings

Edward A. Hirsch; Alexander A. Razborov; Alexei Semenov; Anatol Slissenko

978-3-540-79709-8

2008
Edition 1

€100
Information Security and Digital Forensics

First International Conference, ISDF 2009, London, United Kingdom, September 7-9, 2009, Revised Selected Papers

Dasun Weerasinghe

978-3-642-11530-1

2010
Edition 1

€100
Mobile Multimedia Communications

7th International ICST Conference, MOBIMEDIA 2011, Calgari, Italy, September 5-7, 2011, Revised Selected Papers

Luigi Atzori; Jaime Delgado; Daniel Giusto

978-3-642-30419-4

2012
Edition 1

€100
Magnetic Field Effect on Biological Systems

based on the Proceedings of the Biomagnetic Effects Workshop held at Lawrence Berkeley Laboratory University of California, on April 6–7, 1978

T. S. Tenforde

978-1-4615-9143-6

1979
Edition 1

€100
Logic Programming in Action

Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

Gerard Comyn; Norbert E. Fuchs; Michael J. Ratcliffe

978-3-540-47312-1

1992
Edition 1

€100
Service-Oriented and Cloud Computing

5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Marco Aiello; Einar Broch Johnsen; Schahram Dustdar; Ilche Georgievski

978-3-319-44482-6

2016
Edition 1

€100
Communication Technologies for Vehicles

10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

Jaizki Mendizabal; Marion Berbineau; Alexey Vinel; Stephan Pfletschinger; Hervé Bonneville; Alain Pirovano; Simon Plass; Riccardo Scopigno; Hasnaa Aniss

978-3-319-38921-9

2016
Edition 1

€100
Financial Cryptography and Data Security

FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers

Rainer Böhme; Michael Brenner; Tyler Moore; Matthew Smith

978-3-662-44774-1

2014
Edition 1

€100
Advances in Quantitative Ethnography

6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part II

Yoon Jeon Kim; Zachari Swiecki

978-3-031-76332-8

2024
Edition 1

€140
Advances in Multimedia Modeling

17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part I

Kuo-Tien Lee; Wen-Hsiang Tsai; Hong-Yuan Mark Liao; Tsuhan Chen; Jun-Wei Hsieh; Chien-Cheng Tseng

978-3-642-17832-0

2011
Edition 1

€180
Artificial Intelligence in Medicine

11th Conference on Artificial Intelligence in Medicine in Europe, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings

Riccardo Bellazzi; Ameen Abu-Hanna; Jim Hunter

978-3-540-73599-1

2007
Edition 1

€100
Computing Education Research

18th Annual ACM India Compute Conference, COMPUTE 2025, Ropar, India, December 7–9, 2025, Proceedings

Prajish Prasad; Arun Raman; Bhumika Shah

978-3-032-14583-3

2026
Edition 1

€140
Analytics, Machine Learning, and Artificial Intelligence

Second Analytics Global Conference, AGC 2024, Kolkata, India, March 6–7, 2024, Revised Selected Papers

Suparna Dhar; Sanjay Goswami; Dinesh Kumar Unni Krishnan; Indranil Bose; Rameshwar Dubey; Chandan Mazumdar

978-3-031-75157-8

2025
Edition 1

€140
COVID-19, Supply Chain, Climate Change, and Sustainable Development in Africa

Current Business Issues in African Countries (CBIAC) Conference, Staten Island, NY, USA, April 7-8, 2022

Shani D. Carter

978-3-031-26121-3

2023
Edition 1

€320
Synthesis, Properties and Applications of Ultrananocrystalline Diamond

Proceedings of the NATO ARW on Synthesis, Properties and Applications of Ultrananocrystalline Diamond, St. Petersburg, Russia, from 7 to 10 June 2004.

Dieter M. Gruen; Olga A. Shenderova; Alexander Ya. Vul'

978-1-4020-3322-3

2005
Edition 1

€578
Data Privacy Management, Cryptocurrencies and Blockchain Technology

ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

Joaquin Garcia-Alfaro; Jordi Herrera-Joancomartí; Giovanni Livraga; Ruben Rios

978-3-030-00305-0

2018
Edition 1

€146
Artificial Neural Networks and Machine Learning – ICANN 2018

27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II

Věra Kůrková; Yannis Manolopoulos; Barbara Hammer; Lazaros Iliadis; Ilias Maglogiannis

978-3-030-01421-6

2018
Edition 1

€100
Multi-Agent-Based Simulation XIV

International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Shah Jamal Alam; H. Van Dyke Parunak

978-3-642-54783-6

2014
Edition 1

€80
Artificial Intelligence Applications and Innovations

6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010, Proceedings

Harris Papadopoulos; Andreas S. Andreou; Max Bramer

978-3-642-16239-8

2010
Edition 1

€180
Recent Trends in Image Processing and Pattern Recognition

6th International Conference, RTIP2R 2023, Derby, UK, December 7–8, 2023, Revised Selected Papers, Part I

KC Santosh; Aaisha Makkar; Myra Conway; Ashutosh K. Singh; Antoine Vacavant; Anas Abou el Kalam; Mohamed-Rafik Bouguelia; Ravindra Hegadi

978-3-031-53082-1

2024
Edition 1

€180
Practical Reasoning

International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Dov M. Gabbay; Hans Jürgen Ohlbach

978-3-540-68454-1

1996
Edition 1

€180
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems

International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers

Tom Wagner; Omer F. Rana

978-3-540-47772-3

2001
Edition 1

€100
Ceramics in Severe Environments

Proceedings of the Sixth University Conference on Ceramic Science North Carolina State University at Raleigh December 7–9, 1970

Wurth W. Kriegel; Hayne Palmour III

978-1-4684-3141-4

1971
Edition 1

€100
Big-Data-Analytics in Astronomy, Science, and Engineering

9th International Conference on Big Data Analytics, BDA 2021, Virtual Event, December 7–9, 2021, Proceedings

Shelly Sachdeva; Yutaka Watanobe; Subhash Bhalla

978-3-030-96600-3

2022
Edition 1

€130
Global Structure and Evolution in General Relativity

Proceedings of the First Samos Meeting on Cosmology, Geometry and Relativity Held at Karlovassi, Samos, Greece, 5–7 September 1994

Spiros Cotsakis; Gary W. Gibbons

978-3-540-49361-7

1996
Edition 1

€100
Biological Prototypes and Synthetic Systems

Volume 1 Proceedings of the Second Annual Bionics Symposium sponsored by Cornell University and the General Electric Company, Advanced Electronics Center, held at Cornell University, August 30–September 1, 1961

E. E. Bernard

978-1-4684-1716-6

1962
Edition 1

€100
Telecommunications and Networking — ICT 2004

11th International Conference on Telecommunications Fortaleza, Brazil, August 1–6, 2004 Proceedings

José Neuman De Souza; Petre Dini; Pascal Lorenz

978-3-540-27824-5

2004
Edition 1

€100
IAG 150 Years

Proceedings of the 2013 IAG Scientific Assembly, Postdam,Germany, 1–6 September, 2013

Chris Rizos; Pascal Willis

978-3-319-30895-1

2016
Edition 1

€400

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.