License single eBooks

Your results

View Cart

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
- Includes supplementary material: sn.pub/extras
€100
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
- Includes supplementary material: sn.pub/extras
€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
- Includes supplementary material: sn.pub/extras
€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
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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
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
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
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
- Reports on advances in modelling and simulation of complex systems
- Highlights applications relating to renewable and hybrid energy systems
- Covers analytical and finite element modelling, and AI applications
€340
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
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
- Includes supplementary material: sn.pub/extras
€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
- Reflects the will of a group of scientists that merge innovation with excellence of research
- Of interest to scientists at the early stages of their careers as well as to researchers well established in the field and to whom proteomics may be the necessary next step towards more in-depth research activities
- A witness to the vitality of the area and the importance it holds to animal and food research, to science, industry, government agencies, the consumer and ultimately the society as a whole
€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
- Presents Innovations in Bio-Inspired Computing and Applications
- Covers Proceedings of the 14th International Conference on Innovations in Bio-Inspired Computing and Applications
- Written by prominent experts in the field
€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
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
- Presents intelligent solutions for smart and sustainable manufacturing
- Reports on innovations in design engineering and manufacturing technology
- Discusses comprehensive research methods for industrial applications
€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
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
- Reports on strategies for inclusive, just, safe and climate neutral mobility
- Covers a set of models and applications
- Second volume of a 2-volume set
€539
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
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
- Includes supplementary material: sn.pub/extras
€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
- Presents the most current research in Information and Communication Technologies
- Includes supplementary material: sn.pub/extras
€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
- Includes supplementary material: sn.pub/extras
€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
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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
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
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
- Most up-to-date research on information technologies for manufacturing systems
- Includes supplementary material: sn.pub/extras
€400
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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€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
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
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
- Includes supplementary material: sn.pub/extras
€94
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
- This book is open access, which means that you have free and unlimited access
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
- This book is open access, which means that you have free and unlimited access
Open Access
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
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
- Includes supplementary material: sn.pub/extras
€100
Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Mario Bravetti; Leila Kloul; Gianluigi Zavattaro

978-3-540-31903-0

2005
Edition 1
€100
Foundations of Software Science and Computation Structures

28th International Conference, FoSSaCS 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

Parosh Aziz Abdulla; Delia Kesner

978-3-031-90897-2

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
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
- Includes supplementary material: sn.pub/extras
€280
VLSI-SOC: From Systems to Chips

IFIP TC 10/WG 10.5, Twelfth International Conference on Very Large Scale Ingegration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany

Manfred Glesner; Ricardo Reis; Leandro Indrusiak; Vincent Mooney; Hans Eveking

978-0-387-33403-5

2006
Edition 1
- Most up-to-date research on microelectronics design
- Includes supplementary material: sn.pub/extras
€180
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
Foundations on Natural and Artificial Computation

4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

José M. Ferrández; José Ramón Álvarez; Félix de la Paz; Fco. Javier Toledo

978-3-642-21344-1

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Unique selling points
€100
Programming Languages and Systems

28th European Symposium on Programming, ESOP 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

Luís Caires

978-3-030-17184-1

2019
Edition 1
Open Access

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.