License single eBooks

Your results

View Cart

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

Stan Budkowski; Ana Cavalli; Elie Najm

978-0-387-35394-4

1998
Edition 1
€400
International Conference on Civil Engineering Innovative Development in Engineering Advances (ICC IDEA - 2025) Volume 3

Next-Generation Composite Structures, Transportation, Structural Health Monitoring, and Disaster Resilience

Md. Abdul Mannan; Hemant S.Chore; R. Sathyanathan; S. Durgadevagi

978-981-95-2014-5

2026
Edition 1
- Highlights the latest advancements in composite materials for transportation systems and modern infrastructure
- Discusses innovative techniques in structural health monitoring and disaster resilience, with real-time assessment tools
- Addresses strategies for using advanced materials to mitigate natural hazards in civil engineering projects
€559
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 1: Invited Lectures

Bruno Buchberger

978-3-540-39684-0

1985
Edition 1
€100
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 2: Research Contributions

Bob F. Caviness

978-3-540-39685-7

1985
Edition 1
€180
Marine Isotope Stage 3 in Southern South America, 60 KA B.P.-30 KA B.P.

Germán Mariano Gasparini; Jorge Rabassa; Cecilia Deschamps; Eduardo Pedro Tonni

978-3-319-40000-6

2016
Edition 1
- Presents the latest findings from the Symposium on MIS 3, hosted by the University of La Plata and the CONICET Center
- Details the latest understanding of MIS 3 in South American with particular case studies and data from Brazil, Argentina and Uruguay
- A key resource for those interested in climatic variability and paleoenvironments
- Includes supplementary material: sn.pub/extras
€180
5 T High Temperature Superconductor 3 Pole Wavelength Shifter Magnet for Accelerator-based Light Sources

Jeonghwan Park

978-981-96-8679-7

2025
Edition 1
- Nominated as an outstanding Ph.D. thesis by the Seoul National University
- Develops the world’s first 5 T conduction-cooled MI HTS WLS magnet, eliminating the need for liquid helium cooling
- Shares detailed information on manufacturing of the magnet and associate test results
€340
Die konstant gedrallten Strahlflächen mit einer kubischen Zentraltorse von der konstanten Böschung √3

Klaus Meirer

978-3-662-26180-4

1971
Edition 1
€187
Longitudinalstudie über Wachstum und Entwicklung von früh- und reifgeborenen Kindern von der Geburt bis zum 6. Lebensjahr

Ergebnisse der bisherigen Auswertung der psychologischen Untersuchungsbefunde

Maria Regina Schröder

978-3-322-87850-2

1977
Edition 1
€201
Haut als endokrines ErfolgsorganGestagene Geriatrische Endokrinologie des Mannes

Gestagene. Geriatrische Endokrinologie des Mannes. 17. Sym- posion, Hamburg, 4.-6. März 1971

Joachim Kracht

978-3-642-95216-6

1971
Edition 1
€201
Security Standardisation Research

Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings

Lidong Chen; David McGrew; Chris Mitchell

978-3-319-49100-4

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Knowledge Discovery and Data Mining

6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002. Proceedings

Ming-Syan Cheng; Philip S. Yu; Bing Liu

978-3-540-47887-4

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Software Process and Product Measurement

International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

Alain Abran; René Braungarten; Reiner R. Dumke; Juan J. Cuadrado-Gallego; Jacob Brunekreef

978-3-642-05415-0

2009
Edition 1
€100
Databases and Information Systems

12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

Guntis Arnicans; Vineta Arnicane; Juris Borzovs; Laila Niedrite

978-3-319-40180-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Brain Inspired Cognitive Systems

14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I

Amir Hussain; Bo Jiang; Jinchang Ren; Mufti Mahmud; Erfu Yang; Aihua Zheng; Chenglong Li; Shuqiang Wang; Zhi Gao; Zhicheng Zhao

978-981-96-2882-7

2025
Edition 1
€114
Solar Water Heating Systems

Proceedings of the Workshop on Solar Water Heating Systems New Delhi, India 6–10 May, 1985

H.P. Garg

978-94-009-5480-9

1986
Edition 1
€400
Computational Kinematics ’95

Proceedings of the Second Workshop on Computational Kinematics, held in Sophia Antipolis, France, September 4–6, 1995

J.-P. Merlet; Bahram Ravani

978-94-011-0333-6

1995
Edition 1
€100
Text, Speech, and Dialogue

25th International Conference, TSD 2022, Brno, Czech Republic, September 6–9, 2022, Proceedings

Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala

978-3-031-16270-1

2022
Edition 1
€100
Computer Vision - ECCV'98

5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I

Hans Burkhardt; Bernd Neumann

978-3-540-69354-3

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Oestrogene Hypophysentumoren

15. Symposion der Deutschen Gesellschaft für Endokrinologie in Köln vom 6. – 8. März 1969

Joachim Kracht

978-3-642-95126-8

1969
Edition 1
€280
Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems

Proceedings of the EMBO Course “Formal Analysis of Genetic Regulation”, Held in Brussels, September 6–16, 1977

R. Thomas

978-3-642-49321-8

1979
Edition 1
€100
IoT Technologies for HealthCare

6th EAI International Conference, HealthyIoT 2019, Braga, Portugal, December 4–6, 2019, Proceedings

Nuno M. Garcia; Ivan Miguel Pires; Rossitza Goleva

978-3-030-42029-1

2020
Edition 1
€80
Advances in Computer Games

11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers

H. Jaap van den Herik; Shun-Chin Hsu; Tsan-sheng Hsu; H.H.L.M. Donkers

978-3-540-48889-7

2006
Edition 1
€150
Theoretical and Mathematical Foundations of Computer Science

Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers

Qihai Zhou

978-3-642-24999-0

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€180
Collaboration Technologies and Social Computing

25th International Conference, CRIWG+CollabTech 2019, Kyoto, Japan, September 4–6, 2019, Proceedings

Hideyuki Nakanishi; Hironori Egi; Irene-Angelica Chounta; Hideyuki Takada; Satoshi Ichimura; Ulrich Hoppe

978-3-030-28011-6

2019
Edition 1
€114
Financial Cryptography and Data Security

26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers

Ittay Eyal; Juan Garay

978-3-031-18283-9

2022
Edition 1
€200
Artificial Intelligence in Healthcare

First International Conference, AIiH 2024, Swansea, UK, September 4–6, 2024, Proceedings, Part I

Xianghua Xie; Iain Styles; Gibin Powathil; Marco Ceccarelli

978-3-031-67278-1

2024
Edition 1
€280
Agreement Technologies

6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marin Lujak

978-3-030-17294-7

2019
Edition 1
€100
COTS-Based Software Systems

First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings

John Dean; Andree Gravel

978-3-540-45588-2

2002
Edition 1
€100
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

Mario Trapp; Erwin Schoitsch; Jérémie Guiochet; Friedemann Bitsch

978-3-031-14862-0

2022
Edition 1
€180
Logic for Programming, Artificial Intelligence, and Reasoning

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Geoff Sutcliffe; Andrei Voronkov

978-3-540-31650-3

2005
Edition 1
€180
Smart Grid and Internet of Things

4th EAI International Conference, SGIoT 2020, TaiChung, Taiwan, December 5–6, 2020, Proceedings

Yi-Bing Lin; Der-Jiunn Deng

978-3-030-69514-9

2021
Edition 1
€220
Software Product-Family Engineering

5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers

Frank van der Linden

978-3-540-24667-1

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180
The Semantic Web – ISWC 2020

19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part I

Jeff Z. Pan; Valentina Tamma; Claudia d’Amato; Krzysztof Janowicz; Bo Fu; Axel Polleres; Oshani Seneviratne; Lalana Kagal

978-3-030-62419-4

2020
Edition 1
€180
Technologies and Applications of Artificial Intelligence

29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6–7, 2024, Proceedings, Part I

Wei-Ta Chu; Chih-Ya Shen; Hong-Han Shuai

978-981-96-4589-3

2025
Edition 1
€280
Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Marko van Eekelen; Olha Shkaravska

978-3-642-15331-0

2010
Edition 1
€100
Intelligent Robotics and Applications

18th International Conference, ICIRA 2025, Okayama, Japan, August 6–9, 2025, Proceedings, Part I

Takayuki Matsuno; Honghai Liu; Lianqing Liu; Zhouping Yin; Xiangyang Zhu; Weihong Ren; Zhiyong Wang; Yixuan Sheng

978-981-95-2095-4

2026
Edition 1
€160
Security in Ad-hoc and Sensor Networks

First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers

Claude Castelluccia; Hannes Hartenstein; Christof Paar; Dirk Westhoff

978-3-540-30496-8

2005
Edition 1
€100
Electronic Commerce and Web Technologies

First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings

Kurt Bauknecht; Sanjay Kumar Madria; Günther Pernul

978-3-540-44463-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Database and Expert Systems Applications

4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993. Proceedings

Vladimir Marik; Jiri Lazansky; Roland Wagner

978-3-540-47982-6

1993
Edition 1
€180
Business Process Management Workshops

BPM 2019 International Workshops, Vienna, Austria, September 1–6, 2019, Revised Selected Papers

Chiara Di Francescomarino; Remco Dijkman; Uwe Zdun

978-3-030-37453-2

2019
Edition 1
€100
Sustainable Manufacturing as a Driver for Growth

Proceedings of the 19th Global Conference on Sustainable Manufacturing, December 4–6, 2023, Buenos Aires, Argentina

Holger Kohl; Günther Seliger; Franz Dietrich; Sebastián Mur

978-3-031-77429-4

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
- Reports on sustainable manufacturing applications in emerging/developing countries
- Offers a good balance of research findings and industrial practice
Open Access
Machine Learning and Intelligent Communications

Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

Xuemai Gu; Gongliang Liu; Bo Li

978-3-319-73564-1

2018
Edition 1
€100
Eruptive Solar Flares

Proceedings of Colloquium No. 133 of the International Astronomical Union Held at Iguazú, Argentina, 2–6 August 1991

Zdenek Svestka; Bernard V. Jackson; Marcos E. Machado

978-3-540-46794-6

1992
Edition 1
€180
Managing Knowledge in a World of Networks

15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings

Steffen Staab; Vojtech Svatek

978-3-540-46365-8

2006
Edition 1
€100
Advances in Computational Intelligence Systems

Contributions Presented at the 19th UK Workshop on Computational Intelligence, September 4-6, 2019, Portsmouth, UK

Zhaojie Ju; Longzhi Yang; Chenguang Yang; Alexander Gegov; Dalin Zhou

978-3-030-29933-0

2020
Edition 1
- Highlights the latest research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects edited contributions presented at the 19th UK Workshop on Computational Intelligence, held in Portsmouth, UK on 4–6 September 2019
€280
Die Funktionsdiagnostik des Herzens

Fünftes Freiburger Symposion an der Medizinischen Universität-Klinik vom 6. bis 8. Juni 1957

Helmut Klepzig

978-3-642-94726-1

1957
Edition 1
€201
Theory of Cryptography

22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part I

Elette Boyle; Mohammad Mahmoody

978-3-031-78011-0

2025
Edition 1
€160
Konnektionismus in Artificial Intelligence und Kognitionsforschung

6. Österreichische Artificial-Intelligence-Tagung (KONNAI) Salzburg, Österreich, 18.–21. September 1990 Proceedings

Georg Dorffner

978-3-642-76070-9

1990
Edition 1
€201
Body Area Networks. Smart IoT and Big Data for Intelligent Health Management

18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings

Marouan Mizmizi; Maurizio Magarini; Prabhat Kumar Upadhyay; Massimiliano Pierobon

978-3-031-72524-1

2024
Edition 1
€140
Multi-Agent-Based Simulation XV

International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Francisco Grimaldo; Emma Norling

978-3-319-14627-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94

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.