License single eBooks

Your results

View Cart

Formal Methods for Open Object-Based Distributed Systems IV

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Scott F. Smith; Carolyn L. Talcott

978-0-387-35520-7

2000
Edition 1

€400
VLSI-SoC: At the Crossroads of Emerging Trends

21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers

Alex Orailoglu; H. Fatih Ugurdag; Luís Miguel Silveira; Martin Margala; Ricardo Reis

978-3-319-23799-2

2015
Edition 1

€100
ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Frederic Boniol; Virginie Wiels; Yamine Ait Ameur; Klaus-Dieter Schewe

978-3-319-07512-9

2014
Edition 1

€100
Testing of Software and Communicating Systems

19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

Margus Veanes; Jan Tretmans; Wolfgang Grieskamp

978-3-540-73066-8

2007
Edition 1

€100
Testing of Software and Communicating Systems

20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Toru Hasegawa

978-3-540-68524-1

2008
Edition 1

€100
Compiler Construction

10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Reinhard Wilhelm

978-3-540-45306-2

2001
Edition 1

€100
Responsible Design, Implementation and Use of Information and Communication Technology

19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020, Proceedings, Part I

Marié Hattingh; Machdel Matthee; Hanlie Smuts; Ilias Pappas; Yogesh K. Dwivedi; Matti Mäntymäki

978-3-030-44999-5

2020
Edition 1

€180
Foundations of Software Science and Computation Structures

4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Furio Honsell; Marino Miculan

978-3-540-45315-4

2001
Edition 1

€100
Fundamental Approaches to Software Engineering

4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings

Heinrich Hussmann

978-3-540-45314-7

2001
Edition 1

€100
The General Principles of Law as Applied by International Tribunals to Disputes on Attribution and Exercise of State Jurisdiction

Proefschrift ter Verkrijging van den Graad van Doctor in de Rechtsgeleerdheid aan de Rijksuniversiteit te Leiden, op Gezag van den Rector Magnificus Dr. B. G. Escher, Hoogleeraar in de Faculteit der Wis- en Natuurkunde, Publiek te Verdedigen op Woensdag 3 April 1946, des Namiddags te 3 Uur

Alexander Marie Stuyt

978-94-015-0955-8

1946
Edition 1

€100
Urban Air Quality: Measurement, Modelling and Management

Proceedings of the Second International Conference on Urban Air Quality: Measurement, Modelling and Management Held at the Computer Science School of the Technical University of Madrid 3–5 March 1999

Ranjeet S. Sokhi; Roberto San José; Nicolas Moussiopoulos; Ruwim Berkowicz

978-94-010-0932-4

2000
Edition 1

€280
Genetic Effects of Air Pollutants in Forest Tree Populations

Proceedings of the Joint Meeting of the IUFRO Working Parties Genetic Aspects of Air Pollution Population and Ecological Genetics Biochemical Genetics held in Großhansdorf, August 3–7, 1987

Florian Scholz; Hans-Rolf Gregorius; Dag Rudin

978-3-642-74548-5

1989
Edition 1

€180
Modelling and Simulation of Complex Systems for Sustainable Energy Efficiency II

Selected Contributions to the 2nd International Workshop on Modelling and Simulation of Complex Systems for Sustainable Energy Efficiency, MOSCOSSEE’2024, November 2–3, 2024, Matmata, Gabes, Tunisia

Ahmed Hammami; Abdel Kader Mahmoud; Ahmed Mohamed Yahya; Philippus Stephanus Heyns; Majdi Yangui; Mohamed Haddar

978-3-032-00930-2

2025
Edition 1

€340
Nora verläßt ihr Puppenheim

Autorinnen des 20. Jahrhunderts und ihr Beitrag zur ästhetischen Innovation. Dokumentation eines Symposiums am 2. und 3. Dezember 1999, Universität-GHS Siegen

Waltraud Wende

978-3-476-02693-4

2000
Edition 1

€107
ArtsIT, Interactivity and Game Creation

Creative Heritage. New Perspectives from Media Arts and Artificial Intelligence. 10th EAI International Conference, ArtsIT 2021, Virtual Event, December 2-3, 2021, Proceedings

Matthias Wölfel; Johannes Bernhardt; Sonja Thiel

978-3-030-95531-1

2022
Edition 1

€180
Software Services for e-World

10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010, Proceedings

Wojciech Cellary; Elsa Estevez

978-3-642-16283-1

2010
Edition 1

€100
Multiple Approaches to Intelligent Systems

12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings

Ibrahim F. Imam; Yves Kodratoff; Ayman El-Dessouki; Moonis Ali

978-3-540-48765-4

1999
Edition 1

€180
Farm animal proteomics 2013

Proceedings of the 4th Management Committee Meeting and 3rd Meeting of Working Groups 1, 2 & 3 of COST Action FA1002 Košice, Slovakia - 25-26 April 2013

André de Almeida; David Eckersall; Elena Bencurova; Saskia Dolinska; Patrik Mlynarcik; Miroslava Vincova; Mangesh Bhide

978-90-8686-776-9

2013
Edition 1

€118
Bio-Inspired Computing

Proceedings of the 14th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2023) held during December 14-15, 2023, Volume 3: Information Retrieval and Applications

Anu Bajaj; Sreela Sreedhar; Ajith Abraham

978-3-031-78943-4

2025
Edition 1

€380
Technological Innovation for Human-Centric Systems

15th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2024, Caparica, Portugal, July 3–5, 2024, Proceedings

Luis M. Camarinha-Matos; Filipa Ferrada

978-3-031-63851-0

2024
Edition 1

€180
Monitoring and Securing Virtualized Networks and Services

8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 -- July 3, 2014. Proceedings

Anna Sperotto; Guillaume Doyen; Steven Latré; Marinos Charalambides; Burkhard Stiller

978-3-662-43862-6

2014
Edition 1

€94
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction

14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 – July 3, 2024, Proceedings, Part I

Hiroyuki Kajimoto; Pedro Lopes; Claudio Pacchierotti; Cagatay Basdogan; Monica Gori; Betty Lemaire-Semail; Maud Marchal

978-3-031-70058-3

2025
Edition 1

€280
VLSI-SoC: New Technology Enabler

27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6–9, 2019, Revised and Extended Selected Papers

Carolina Metzler; Pierre-Emmanuel Gaillardon; Giovanni De Micheli; Carlos Silva-Cardenas; Ricardo Reis

978-3-030-53273-4

2020
Edition 1

€100
Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Reiner Hähnle; Wil van der Aalst

978-3-030-16722-6

2019
Edition 1

Open Access
Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mikołaj Bojańczyk; Alex Simpson

978-3-030-17127-8

2019
Edition 1

Open Access
Tools and Algorithms for the Construction and Analysis of Systems

14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

C.R. Ramakrishnan; Jakob Rehof

978-3-540-78800-3

2008
Edition 1

€100
Climate Crisis and Resilient Transportation Systems

Proceedings of the 7th Conference on Sustainable Mobility, CSuM2024, September 4–6, 2024, Plastira’s Lake, Greece - Volume II: Inclusive Mobility, Land-Use Planning, and Climate Transition Strategies

Eftihia G. Nathanail; Nikolaos Gavanas; Evangelos Adamos

978-3-031-82714-3

2025
Edition 1

€539
Advances in Design, Simulation and Manufacturing VI

Proceedings of the 6th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2023, June 6–9, 2023, High Tatras, Slovak Republic - Volume 1: Manufacturing Engineering

Vitalii Ivanov; Justyna Trojanowska; Ivan Pavlenko; Erwin Rauch; Ján Piteľ

978-3-031-32767-4

2023
Edition 1

€419
Principles of Security and Trust

8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Flemming Nielson; David Sands

978-3-030-17138-4

2019
Edition 1

Open Access
Enhancing Urban Environment by Environmental Upgrading and Restoration

Proceedings of the NATO Advanced Research Workshop on Enhancing Urban Environment: Environmental Upgrading of Municipal Pollution Control Facilities and Restoration of Urban Waters, Rome, Italy from 6 - 9 November 2003.

Daniel Sztruhar; Mario Giulianelli; Ben Urbonas

978-1-4020-2694-2

2004
Edition 1

€400
Industrial Electromagnetics Modelling

Proceedings of the POLYMODEL 6, the Sixth Annual Conference of the North East Polytechnics Mathematical Modelling and Computer Simulation Group, held at the Moat House Hotel, Newcastle upon Tyne, May 1983

J. Caldwell; R. Bradley

978-94-009-6917-9

1983
Edition 1

€100
E-Government, E-Services and Global Processes

Joint IFIP TC 8 and TC 6 International Conferences, EGES 2010 and GISP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

Marijn Janssen; Winfried Lamersdorf; Jan Pries Heje; Michael Rosemann

978-3-642-15346-4

2010
Edition 1

€100
Information Technology for Balanced Manufacturing Systems

IFIP TC 5, WG 5.5 Seventh International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, Niagra Falls, Ontario, Canada, September 4-6, 2006

Weiming Shen

978-0-387-36594-7

2006
Edition 1

€400
Programming Languages and Systems

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

David Sands

978-3-540-45309-3

2001
Edition 1

€100
Network Control and Engineering for QoS, Security and Mobility, V

IFIP 19th World Computer Congress,TC-6, 5th IFIP International Conference on Network Control and Engineering for QoS, Security, and Mobility, August 20-25, 2006, Santiago, Chile

Dominique Gaiti

978-0-387-34827-8

2006
Edition 1

€180
Algorithms for Sensor Systems

9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers

Paola Flocchini; Jie Gao; Evangelos Kranakis; Friedhelm Meyer auf der Heide

978-3-642-45346-5

2014
Edition 1

€100
Artificial Intelligence and Machine Learning

31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers

Bart Bogaerts; Gianluca Bontempi; Pierre Geurts; Nick Harley; Bertrand Lebichot; Tom Lenaerts; Gilles Louppe

978-3-030-65154-1

2020
Edition 1

€100
Compiler Construction

17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Laurie Hendren

978-3-540-78791-4

2008
Edition 1

€100
Coordination, Organizations, Institutions, and Norms in Agent Systems X

COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers

Aditya Ghose; Nir Oren; Pankaj Telang; John Thangarajah

978-3-319-25420-3

2015
Edition 1

€94
Foundations of Software Science and Computational Structures

11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings

Roberto Amadio

978-3-540-78499-9

2008
Edition 1

€100
Responsible Design, Implementation and Use of Information and Communication Technology

19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020, Proceedings, Part II

Marié Hattingh; Machdel Matthee; Hanlie Smuts; Ilias Pappas; Yogesh K. Dwivedi; Matti Mäntymäki

978-3-030-45002-1

2020
Edition 1

€180
Fundamental Approaches to Software Engineering

11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

José Fiadeiro; Paola Inverardi

978-3-540-78743-3

2008
Edition 1

€100
NETWORKING 2011 Workshops

International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers

Vicente Casares-Giner; Pietro Manzoni; Ana Pont

978-3-642-23041-7

2011
Edition 1

€100
Fundamental Approaches to Software Engineering

27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Dirk Beyer; Ana Cavalcanti

978-3-031-57259-3

2024
Edition 1

Open Access
Prerational Intelligence: Adaptive Behavior and Intelligent Systems Without Symbols and Logic , Volume 1, Volume 2 Prerational Intelligence: Interdisciplinary Perspectives on the Behavior of Natural and Artificial Systems, Volume 3

Holk Cruse; Jeffrey Dean; Helge Ritter

978-94-010-0870-9

2000
Edition 1

€100
Fundamental Approaches to Software Engineering

28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Artur Boronat; Gordon Fraser

978-3-031-90900-9

2025
Edition 1

Open Access
Computer Games

Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

Tristan Cazenave; Mark H.M. Winands; Hiroyuki Iida

978-3-319-05428-5

2014
Edition 1

€100
Service Research and Innovation

5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2–3, 2015, and October 19–20, 2017, Revised Selected Papers

Amin Beheshti; Mustafa Hashmi; Hai Dong; Wei Emma Zhang

978-3-319-76587-7

2018
Edition 1

€100
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction

14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 – July 3, 2024, Proceedings, Part II

Hiroyuki Kajimoto; Pedro Lopes; Claudio Pacchierotti; Cagatay Basdogan; Monica Gori; Betty Lemaire-Semail; Maud Marchal

978-3-031-70061-3

2025
Edition 1

€146
Operations Research Proceedings 2004

Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) - Jointly Organized with the Netherlands Society for Operations Research (NGB), Tilburg, September 1-3, 2004

Hein Fleuren; Dick den Hertog; Peter Kort

978-3-540-27679-1

2005
Edition 1

€280

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.