License single eBooks

Your results

View Cart

Models in Software Engineering

Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Thomas Kühne

978-3-540-69489-2

2007
Edition 1
€100
Virtual Reality and Mixed Reality

20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 – December 1, 2023, Proceedings

Gabriel Zachmann; Krzysztof Walczak; Omar A. Niamut; Kyle Johnsen; Wolfgang Stuerzlinger; Mariano Alcañiz-Raya; Greg Welch; Patrick Bourdot

978-3-031-48495-7

2023
Edition 1
€130
Pattern Recognition and Image Analysis

Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part 1

Jorge S. Marques; Nicolás Pérez de la Blanca; Pedro Pina

978-3-540-32237-5

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Tests and Proofs

6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Achim Brucker; Jacques Julliand

978-3-642-30473-6

2012
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€100
Chinese Computational Linguistics

19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings

Maosong Sun; Sujian Li; Yue Zhang; Yang Liu; Shizhu He; Gaoqi Rao

978-3-030-63031-7

2020
Edition 1
€100
Water Structure at the Water-Polymer Interface

Proceedings of a Symposium held on March 30 and April 1, 1971, at the 161st National Meeting of the American Chemical Society

H. Jellinek

978-1-4615-8681-4

1972
Edition 1
€100
Diagrammatic Representation and Inference

8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings

Tim Dwyer; Helen Purchase; Aidan Delaney

978-3-662-44043-8

2014
Edition 1
€110
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III

Honghai Liu; Zhouping Yin; Lianqing Liu; Li Jiang; Guoying Gu; Xinyu Wu; Weihong Ren

978-3-031-13835-5

2022
Edition 1
€220
Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges

IFIP TC8 WG 8.2 International Working Conference, August 1-3, 2005, Cleveland, Ohio, U.S.A.

Carsten Sørensen; Youngjin Yoo; Kalle Lyytinen; Janice I. DeGross

978-0-387-28918-2

2005
Edition 1
- Catalogues the very latest research in the rapidly changing field of ubiquitous information environments, with particular attention to mobile and wireless communication technologies
- Includes supplementary material: sn.pub/extras
€180
Organisation und Betrieb von DV-Versorgungssystemen

Vorträge der 11. Gl-Fachtagung über Rechenzentren am 30. November und 1. Dezember 1995 in Göttingen

Dieter Wall;

978-3-663-14575-2

1995
Edition 1
€201
Forthcoming Networks and Sustainability in the IoT Era

First EAI International Conference, FoNeS – IoT 2020, Virtual Event, October 1-2, 2020, Proceedings

Enver Ever; Fadi Al-Turjman

978-3-030-69431-9

2021
Edition 1
€100
Muscle Hypertrophy of Genetic Origin and its use to Improve Beef Production

A Seminar in the CEC Programme of Coordination of Research on Beef Production held in Toulouse, France, June 1–12, 1980

J.W. King; F. Ménissier

978-94-009-7550-7

1982
Edition 1
€400
Elemente der theoretischen Physik

Band 1, Klassische Mechanik und Spezielle Relativitätstheorie Eine Einführung für das Lehramts- und Bachelorstudium

Franz Embacher

978-3-8348-9782-4

2010
Edition 1
- Der kompakte Einsteigerkurs für Bachelor und für das Lehramt
€273
Case-Based Reasoning Research and Development

22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

Luc Lamontagne; Enric Plaza

978-3-319-11209-1

2014
Edition 1
€100
Systems, Software and Services Process Improvement

30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part I

Murat Yilmaz; Paul Clarke; Andreas Riel; Richard Messnarz

978-3-031-42307-9

2023
Edition 1
€180
VLSI Algorithms and Architectures

3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings

John H. Reif

978-0-387-34770-7

1988
Edition 1
€180
Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II

Giovanni Casini; Besik Dundua; Temur Kutsia

978-3-032-04590-4

2026
Edition 1
€130
Innovation and Emerging Trends in Computing and Information Technologies

First International Conference, IETCIT 2024, Mohali, Punjab, India, March 1–2, 2024, Proceedings, Part I

Manisha Malhotra

978-3-031-80839-5

2025
Edition 1
€220
Structural Information and Communication Complexity

20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Thomas Moscibroda; Adele A. Rescigno

978-3-319-03578-9

2013
Edition 1
€100
Algorithms and Data Structures

8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings

Frank Dehne; Jörg Rüdiger Sack; Michiel Smid

978-3-540-45078-8

2003
Edition 1
€100
Image and Video Technology

6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013, Proceedings

Reinhard Klette; Mariano Rivera; Shin`ichi Satoh

978-3-642-53842-1

2014
Edition 1
- Up-to-date results
- Fast conference proceedings tracks of PSIVT 2013
€100
Weightlessness—Physical Phenomena and Biological Effects

Proceedings of the Symposium on Physical and Biological Phenomena Under Zero G Conditions Held July 1, 1960 at Hawthorne, California

Elliot T. Benedikt

978-1-4899-6279-9

1961
Edition 1
€100
Advances in Intelligent Systems

Selected papers from 2012 International Conference on Control Systems (ICCS 2012), March 1-2, Hong Kong

Gary Lee

978-3-642-27869-3

2012
Edition 1
- Latest research on Control Systems
- Selected papers from from 2012 International Conference on Control System (ICCS 2012), March 1-2, Hong Kong
- Written by leading experts in the field
€400
Knowledge Science, Engineering and Management

4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings

Yaxin Bi; Mary Anne Williams

978-3-642-15280-1

2010
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€180
Selecta Mathematica I

Maschinenerzeugte 0-1 Folgen. Rot und Schwarz. Das Äquivalenzprinzip.Die kombinatorischen arcsin-Gesetze. Der Heiratssatz

K. Jacobs; E.S. Andersen; G. Baxter; J.P. Imhof

978-3-642-95113-8

1969
Edition 1
€486
Technologies and Applications of Artificial Intelligence

28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1–2, 2023, Proceedings, Part II

Chao-Yang Lee; Chun-Li Lin; Hsuan-Ting Chang

978-981-97-1714-9

2024
Edition 1
€150
Heat Pump Fundamentals

Proceedings of the NATO Advanced Study Institute on Heat Pump Fundamentals, Espinho, Spain, September 1–12, 1980

J. Berghmans

978-94-009-6818-9

1983
Edition 1
€100
Security and Privacy in the Age of Ubiquitous Computing

IFIP TC11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, Japan

Ryoichi Sasaki; Eiji Okamoto; Hiroshi Yoshiura

978-0-387-25660-3

2005
Edition 1
- Presents the most up-to-date research on information security issues including practical applications
- Includes supplementary material: sn.pub/extras
€280
Advances in Applied Microeconomics

International Conference on Applied Economics (ICOAE) 2024, Belgrade, Republic of Serbia, July 11-13, Vol 1

Nicholas Tsounis; Aspasia Vlachvei

978-3-031-76654-1

2025
Edition 1
- Offers advance methods and applications in empirical macroeconomic research
- Examines applications in health economics, labor economics, financial economics, and agricultural economics
- Features country specific studies with economic policy conclusions
€479
Quantum Engineering Sciences and Technologies for Industry and Services

First International Conference, QUEST-IS 2025, Paris, France, December 1–4, 2025, Proceedings, Part II

Frédéric Barbaresco; François Gerin

978-3-032-13855-2

2026
Edition 1
- Contributions by leading scientists and engineers
- Research with critical implications for society and business
- Papers address foundational and application issues
€150
Artificial Intelligence for Communications and Networks

4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

Yasushi Kambayashi; Ngoc Thanh Nguyen; Shu-Heng Chen; Petre Dini; Munehiro Takimoto

978-3-031-29126-5

2023
Edition 1
€130
Combinatorial Pattern Matching

26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

Ferdinando Cicalese; Ely Porat; Ugo Vaccaro

978-3-319-19929-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Natural Language Processing and Chinese Computing

13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part I

Derek F. Wong; Zhongyu Wei; Muyun Yang

978-981-97-9431-7

2025
Edition 1
€160
Information Search, Integration, and Personlization

11th International Workshop, ISIP 2016, Lyon, France, November 1–4, 2016, Revised Selected Papers

Dimitris Kotzinos; Dominique Laurent; Jean-Marc Petit; Nicolas Spyratos; Yuzuru Tanaka

978-3-319-68282-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Information Systems, Logistics, and Supply Chain

6th International Conference, ILS 2016, Bordeaux, France, June 1–4, 2016, Revised Selected Papers

Cecilia Temponi; Nico Vandaele

978-3-319-73758-4

2018
Edition 1
€100
Service-Oriented Computing

21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I

Flavia Monti; Stefanie Rinderle-Ma; Antonio Ruiz Cortés; Zibin Zheng; Massimo Mecella

978-3-031-48421-6

2023
Edition 1
€150
Pattern Recognition and Artificial Intelligence

Third International Conference, ICPRAI 2022, Paris, France, June 1–3, 2022, Proceedings, Part II

Mounîm El Yacoubi; Eric Granger; Pong Chi Yuen; Umapada Pal; Nicole Vincent

978-3-031-09282-4

2022
Edition 1
€280
Social Robotics

8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings

Arvin Agah; John-John Cabibihan; Ayanna M. Howard; Miguel A. Salichs; Hongsheng He

978-3-319-47437-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Cyber Security, Cryptology, and Machine Learning

6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 – July 1, 2022, Proceedings

Shlomi Dolev; Jonathan Katz; Amnon Meisels

978-3-031-07689-3

2022
Edition 1
€180
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Nicolas Peltier; Viorica Sofronie-Stokkermans

978-3-030-51074-9

2020
Edition 1
€160
Optimal Shape Design

Lectures given at the Joint C.I.M./C.I.M.E. Summer School held in Troia (Portugal), June 1-6, 1998

B. Kawohl; A. Cellina; O. Pironneau; A. Ornelas; L. Tartar; J.-P. Zolesio

978-3-540-44486-2

2000
Edition 1
€99
Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Rastislav Královic; Pawel Urzyczyn

978-3-540-37793-1

2006
Edition 1
€180
Advances in Bioinformatics and Computational Biology

11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

Ronnie Alves

978-3-030-01722-4

2018
Edition 1
€100
Human-Computer Interaction – INTERACT 2023

19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I

José Abdelnour Nocera; Marta Kristín Lárusdóttir; Helen Petrie; Antonio Piccinno; Marco Winckler

978-3-031-42280-5

2023
Edition 1
€180
Advances in Automation and Robotics, Vol.2

Selected papers from the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011

Gary Lee

978-3-642-25646-2

2012
Edition 1
- Latest research on Automation and Robotics
- Selected papers from the 2011 International Conference on Automation and Robotics (ICAR 2011), Dubai, December 1-2, 2011
- Written by leading experts in the field
€400
System Analysis and Modeling: Theory and Practice

7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

Oystein Haugen; Rick Reed; Reinhard Gotzhein

978-3-642-36757-1

2013
Edition 1
- Up-to-date results in system analysis and modeling
- Fast-track conference proceedings
- State-of-the-art research
€90
Inhalts- und Schrankenbestimmungen des Grundeigentums zum Schutz der natürlichen Lebensgrundlagen

Das Verhältnis von Art. 14 Abs. 1 und 2 GG zu Art. 20a GG

Daniela Blasberg

978-3-540-77739-7

2008
Edition 1
- Analyse des Konflikts zwischen Grundeigentum und Umweltschutz
- Includes supplementary material: sn.pub/extras
€366
Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Christiano Braga; Narciso Martí-Oliet

978-3-319-15075-8

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€80
Modeling and Simulation in Engineering, Economics, and Management

International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012, Proceedings

Kurt J. Engemann; Anna M. Gil-Lafuente; José M. Merigó-Lindahl

978-3-642-30433-0

2012
Edition 1
- Fast track proceedings
€100
Fun with Algorithms

7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

Alfredo Ferro; Fabrizio Luccio; Peter Widmayer

978-3-319-07890-8

2014
Edition 1
€100

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.