License single eBooks

Your results

View Cart

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Tiziana Margaria; Bernhard Steffen

978-3-662-45231-8

2014
Edition 1
€100
Testing of Communicating Systems

IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

Myungchul Kim; Sungwon Kang; Keesoo Hong

978-0-387-35198-8

1997
Edition 1
€400
PDMS and Clusters

Proceedings of the 1st International Workshop on the Physics of Small Systems, Held on the Island of Wangerooge, Germany, September 8-12, 1986

Eberhard R. Hilf; Friedrich Kammer; Karl Wien

978-3-540-47404-3

1987
Edition 1
€160
Computer Vision, Imaging and Computer Graphics Theory and Applications

17th International Joint Conference, VISIGRAPP 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers

A. Augusto de Sousa; Kurt Debattista; Alexis Paljic; Mounia Ziat; Christophe Hurter; Helen Purchase; Giovanni Maria Farinella; Petia Radeva; Kadi Bouatouch

978-3-031-45725-8

2023
Edition 1
€160
Computational Learning Theory

15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings

Jyrki Kivinen; Robert H. Sloan

978-3-540-45435-9

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Controlled Natural Language

Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers

Norbert E Fuchs

978-3-642-14418-9

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Progress in Cryptology - LATINCRYPT 2010

First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, Proceedings

Michel Abdalla; Paulo S.L.M. Barreto

978-3-642-14712-8

2010
Edition 1
€100
Artificial Intelligence and Machine Learning

35th Benelux Conference, BNAIC/Benelearn 2023, Delft, The Netherlands, November 8–10, 2023, Revised Selected Papers

Frans A. Oliehoek; Manon Kok; Sicco Verwer

978-3-031-74650-5

2025
Edition 1
€150
Neural Information Processing

28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part III

Teddy Mantoro; Minho Lee; Media Anugerah Ayu; Kok Wai Wong; Achmad Nizar Hidayanto

978-3-030-92238-2

2021
Edition 1
€180
Engineering Multi-Agent Systems

8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers

Cristina Baroglio; Jomi F. Hubner; Michael Winikoff

978-3-030-66534-0

2020
Edition 1
€100
Advances in Design and Digital Communication VI

Proceedings of the 9th International Conference on Design and Digital Communication, Digicom 2025, November 6–8, 2025, Barcelos, Portugal

Nuno Martins; Daniel Brandão

978-3-032-13836-1

2026
Edition 1
- Discusses timely topics at the intersection between design and digital communication
- Describes some challenges that digital media causes to brands, institutions, education and society
- Proposes practical solutions to current questions in the area of communication design
€439

Not published yet

Available from
2026-05-02
MultiMedia Modeling

31st International Conference on Multimedia Modeling, MMM 2025, Nara, Japan, January 8–10, 2025, Proceedings, Part I

Ichiro Ide; Ioannis Kompatsiaris; Changsheng Xu; Keiji Yanai; Wei-Ta Chu; Naoko Nitta; Michael Riegler; Toshihiko Yamasaki

978-981-96-2054-8

2025
Edition 1
€280
Bridging People and Sound

12th International Symposium, CMMR 2016, São Paulo, Brazil, July 5–8, 2016, Revised Selected Papers

Mitsuko Aramaki; Richard Kronland-Martinet; Sølvi Ystad

978-3-319-67738-5

2017
Edition 1
€100
Computer Information Systems and Industrial Management

11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings

Agostino Cortesi; Nabendu Chaki; Khalid Saeed; Sławomir Wierzchoń

978-3-642-33260-9

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Physics of Formation of FeII Lines Outside LTE

Proceedings of the 94th Colloquium of the International Astronomical Union Held in Anacapri, Capri Island, Italy, 4–8 July 1986

Roberto Viotti; Alberto A. Vittone; M. Friedjung

978-94-009-4023-9

1988
Edition 1
€180
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
- Examines the impact of COVID-19, supply chain, climate change and sustainable development in Africa
- Demonstrates the interdependence and interconnection of world economies
- Explores topics such as agriculture, entrepreneurship, education, gender, and capital flows in Africa
€320
Conceptual Structures: Fulfilling Peirce's Dream

Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings.

Dickson Lukose; Harry Delugach; Mary Keeler; Leroy Searle; John Sowa

978-3-540-69424-3

1997
Edition 1
€180
Enterprise Information Systems

12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers

Joaquim Filipe; José Cordeiro

978-3-642-19802-1

2011
Edition 1
- Fast track proceedings
€180
Computer-Aided Architectural Design: The Next City – New Technologies and the Future of the Built Environment

16th International Conference, CAAD Futures 2015, São Paulo, Brazil, July 8-10, 2015. Selected Papers

Gabriela Celani; David Moreno Sperling; Juarez Moara Santos Franco

978-3-662-47386-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Neural Information Processing

28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part VI

Teddy Mantoro; Minho Lee; Media Anugerah Ayu; Kok Wai Wong; Achmad Nizar Hidayanto

978-3-030-92310-5

2021
Edition 1
€220
Predictive Intelligence in Medicine

Third International Workshop, PRIME 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings

Islem Rekik; Ehsan Adeli; Sang Hyun Park; Maria del C. Valdés Hernández

978-3-030-59354-4

2020
Edition 1
€100
Auctions, Market Mechanisms and Their Applications

First International ICST Conference, AMMA 2009, Boston, MA, USA, May 8-9, 2009, Revised Selected Papers

Sanmay Das; Michael Ostrovsky; David Pennock; Boleslaw K. Szymanski

978-3-642-03821-1

2009
Edition 1
€100
Quality, Reliability, Security and Robustness in Heterogeneous Systems

19th EAI International Conference, QShine 2023, Shenzhen, China, October 8 – 9, 2023, Proceedings, Part II

Victor C.M. Leung; Hezhang Li; Xiping Hu; Zhaolong Ning

978-3-031-65123-6

2024
Edition 1
€200
Computer Vision – ACCV 2024 Workshops

17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8–12, 2024, Revised Selected Papers, Part I

Minsu Cho; Ivan Laptev; Du Tran; Angela Yao; Hong-Bin Zha

978-981-96-2641-0

2025
Edition 1
€150
Information Systems

18th European, Mediterranean, and Middle Eastern Conference, EMCIS 2021, Virtual Event, December 8–9, 2021, Proceedings

Marinos Themistocleous; Maria Papadaki

978-3-030-95947-0

2022
Edition 1
€200
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
Computer Information Systems and Industrial Management

14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings

Khalid Saeed; Wladyslaw Homenda

978-3-319-24369-6

2015
Edition 1
€180
Digital Connectivity – Social Impact

51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016, Proceedings

S. Subramanian; R. Nadarajan; Shrisha Rao; Shina Sheen

978-981-10-3274-5

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Energy Informatics

Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6–8, 2023, Proceedings, Part I

Bo Nørregaard Jørgensen; Luiz Carlos Pereira da Silva; Zheng Ma

978-3-031-48649-4

2024
Edition 1
€120
E-Commerce and Web Technologies

17th International Conference, EC-Web 2016, Porto, Portugal, September 5-8, 2016, Revised Selected Papers

Derek Bridge; Heiner Stuckenschmidt

978-3-319-53676-7

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Computational Intelligence Systems

Contributions Presented at the 22nd UK Workshop on Computational Intelligence (UKCI 2023), September 6–8, 2023, Birmingham, UK

Nitin Naik; Paul Jenkins; Paul Grace; Longzhi Yang; Shaligram Prajapat

978-3-031-47508-5

2024
Edition 1
- Presents recent research developments in AI, computational intelligence, and related domains
- Provides innovative techniques in AI and computational intelligence
- Exhibits applications of state-of-the-art AI and computational intelligence techniques
€400
Agile Processes in Software Engineering and Extreme Programming

21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings

Viktoria Stray; Rashina Hoda; Maria Paasivaara; Philippe Kruchten

978-3-030-49392-9

2020
Edition 1
Open Access
Computer Vision, Imaging and Computer Graphics Theory and Applications

16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8–10, 2021, Revised Selected Papers

A. Augusto de Sousa; Vlastimil Havran; Alexis Paljic; Tabitha Peck; Christophe Hurter; Helen Purchase; Giovanni Maria Farinella; Petia Radeva; Kadi Bouatouch

978-3-031-25477-2

2023
Edition 1
€160
Harmonic Analysis, Partial Differential Equations, Complex Analysis, Banach Spaces, and Operator Theory (Volume 1)

Celebrating Cora Sadosky's life

María Cristina Pereyra; Stefania Marcantognini; Alexander M. Stokolos; Wilfredo Urbina

978-3-319-30961-3

2016
Edition 1
- Contains survey/expository articles by leading experts
- Features fully-refereed high quality papers exploring new results and trends in spectral theory, mathematical physics, geometric function theory, partial differential equations, as well as the novel field of chromatic derivatives
- Examines the remarkable connections between harmonic analysis and operator theory
- Includes supplementary material: sn.pub/extras
€280
Proceedings of the 8th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’18), Vol.1

Med Salim Bouhlel; Stefano Rovetta

978-3-030-21005-2

2020
Edition 1
- Proceedings of the eighth International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT’18) held jointly in Genoa–Italy, Hammamet–Tunisia in December 18-20, 2018, Volume 1
- Covers themes in Electronic, Signal, Image and Video processing, Telecommunications and Networks, and Computer Science
- Written by experts in these fields
- Promotes a technological reference frame that gives answers and original innovating ideas
€438
Proceedings of the Ninth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’25), Volume 1

Sergey Kovalev; Igor Kotenko; Andrey Sukhanov

978-3-032-13615-2

2026
Edition 1
- Presents key advances in Intelligent Information Technologies for Industry
- Includes proceedings of the 9th IITI 2025 conference “Intelligent Information Technologies for Industry”
- Written by experts in the field
€400
Business Analytical Capabilities and Artificial Intelligence-Enabled Analytics: Applications and Challenges in the Digital Era, Volume 1

Abdalmuttaleb M. A. Musleh Al-Sartawi; Arafat Salih Aydiner; Mohammad Kanan

978-3-031-56015-6

2024
Edition 1
- Focuses on AI-enabled analytics to furbish solutions for the current Fourth Industrial Revolution's problems
- Presents design, development, and implementation of AI applications using perception, appreciation, and assessment
- Uses learning approaches
€440
Proceedings of the 2nd International Conference on Advances in Civil Infrastructure and Construction Materials (CICM 2023), Volume 1

M. Shahria Alam; G. M. Jahid Hasan; A. H. M. Muntasir Billah; Kamrul Islam

978-3-031-63276-1

2024
Edition 1
- Presents select peer-reviewed proceedings of 2nd CICM 2023
- Discusses latest advances in the field of civil infrastructure and construction materials
- Enriches understanding by including contributions from leading experts across the globe
€459
Lösungsheft zu den Aufgaben des Buches Betriebswirtschaftstheorie Band 1, Grundlagen-, Produktions- und Kostentheorie

W. Busse von Colbe; G. Lassmann

978-3-642-96256-1

1975
Edition 1
€522
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
Proceedings of the Eighth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’24), Volume 1

Sergey Kovalev; Igor Kotenko; Andrey Sukhanov; Yin Li; Yao Li

978-3-031-77688-5

2024
Edition 1
- Presents key advances in Intelligent Information Technologies for Industry
- Proceedings of the 8th IITI 2024 conference “Intelligent Information Technologies for Industry”
- Written by experts in the field
€439
106. Kongreß der Deutschen Gesellschaft für Chirurgie München, 29. März — 1. April 1989

Michael Betzler; Christian Herfarth; Horst Hamelmann; Michael Raute; Konrad Meßmer; Edgar Ungeheuer

978-3-642-74573-7

1989
Edition 1
€201
Die Bedeutung der Begriffe Stasis und Aponoia für das Verständnis des 1. Clemensbriefes

Paul Mikat

978-3-322-98663-4

1969
Edition 1
€201
Empowering Teaching for Digital Equity and Agency

IFIP TC 3 Open Conference on Computers in Education, OCCE 2020, Mumbai, India, January 6–8, 2020, Proceedings

Torsten Brinda; Don Passey; Therese Keane

978-3-030-59847-1

2020
Edition 1
€180
Communication Systems and Networks

9th International Conference, COMSNETS 2017, Bengaluru, India, January 4–8, 2017, Revised Selected Papers and Invited Papers

Nishanth Sastry; Sandip Chakraborty

978-3-319-67235-9

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Machine Learning, Optimization, and Data Science

7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II

Giuseppe Nicosia; Varun Ojha; Emanuele La Malfa; Gabriele La Malfa; Giorgio Jansen; Panos M. Pardalos; Giovanni Giuffrida; Renato Umeton

978-3-030-95470-3

2022
Edition 1
€160
Arbeit und Informationstechnik

Fachtagung, veranstaltet vom Fachbereich 8 „Informatik und Gesellschaft“ der GI Karlsruhe, 15. – 17. Juli 1986, Proceedings

Klaus T. Schröder

978-3-642-71380-4

1986
Edition 1
€201
Human-Computer Interaction – INTERACT 2025

20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part II

Carmelo Ardito; Simone Diniz Junqueira Barbosa; Tayana Conte; André Freire; Isabela Gasparini; Philippe Palanque; Raquel Prates

978-3-032-05002-1

2026
Edition 1
€160
Current Developments in Web Based Learning

ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015, Revised Selected Papers

Zhiguo Gong; Dickson K. W. Chiu; Di Zou

978-3-319-32865-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Intelligent Agents and Multi-Agent Systems

6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings

Jaeho Lee; Mike Barley

978-3-540-39896-7

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€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.