License single eBooks

Your results

View Cart

Multicore Software Engineering, Performance and Tools

International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings

Victor Pankratius; Michael Philippsen

978-3-642-31202-1

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock

978-3-642-14808-8

2010
Edition 1
- Up to date results
- Fast conference prceedings
- State-of-the-art report
€100
Euro-Par 2000 Parallel Processing

6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

Arndt Bode; Thomas Ludwig; Wolfgang Karl; Roland Wismüller

978-3-540-44520-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Rewriting Techniques and Applications

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Tobias Nipkow

978-3-540-69721-3

1998
Edition 1
€100
Futuristic Computational Systems and Advanced Engineering for the Society

Proceedings of the 6th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2024, Volume 1

D. Jude Hemanth; Utku Kose; Nabi Ibadov; Ismail Serkan Uncu; Hamit Armagan

978-3-031-92552-8

2025
Edition 1
- Presents advanced Computational Systems and Advanced Engineering for the Society
- Proceedings of the 6th Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2024
- Written by experts in the field
€419
Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Jim Grundy; Malcolm Newey

978-3-540-49801-8

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Genetic Programming

19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Malcolm I. Heywood; James McDermott; Mauro Castelli; Ernesto Costa; Kevin Sim

978-3-319-30668-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Dynamic Competitive Analysis in Marketing

Proceedings of the International Workshop on Dynamic Competitive Analysis in Marketing, Montréal, Canada, September 1–2, 1995

Steffen Jorgensen; Georges Zaccour

978-3-642-45753-1

1996
Edition 1
€180
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Christian Terboven; Bronis R. de Supinski; Pablo Reble; Barbara M. Chapman; Matthias S. Müller

978-3-319-24595-9

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Klaus Havelund; John Penix; Willem Visser

978-3-540-45297-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 1: Gesamtdarstellung und biografische Porträts

Jugendwerk der Deutschen Shell

978-3-322-95920-1

1992
Edition 1
€201
Computer Science and Education. Computer Science and Technology

18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1–7, 2023, Proceedings, Part I

Wenxing Hong; Geetha Kanaparan

978-981-97-0730-0

2024
Edition 1
€180
Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1

D. Jude Hemanth; Utku Kose; Bogdan Patrut; Mevlut Ersoy

978-3-031-56310-2

2024
Edition 1
- Presents advanced computing and networking technologies to enable intelligent and efficient IoT and CPS
- Covers proceedings of ICAIAME 2023
- Written by experts in the field
€419
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Shiva Nejati; Gregory Gay

978-3-030-27455-9

2019
Edition 1
€100
Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda

978-3-642-17164-2

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€100
Knowledge and Systems Sciences

24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 – December 1, 2025, Proceedings

Xijin Tang; Haoxiang Xia; Van Nam Huynh; Xianneng Li

978-981-95-4990-0

2026
Edition 1
€150
Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Jules Desharnais; Walter Guttmann; Stef Joosten

978-3-030-02149-8

2018
Edition 1
€100
Artificial Intelligence and Its Practical Applications in the Digital Economy

Proceedings of the International Conference on Artificial Intelligence and Its Practical Applications in the Age of Digital Transformation 2024, Volume 1

Yahya Mohamed Elhadj; Mohamedade Farouk Nanne; Anis Koubaa; Farid Meziane; Mohamed Deriche

978-3-031-71426-9

2024
Edition 1
- Presents recent research on Artificial Intelligence and its Practical Applications in the Digital Economy
- Proceedings of the International Conference on Artificial Intelligence and its Practical Applications in the Age of Digital Transformation 2024
- Written by respected experts in the field
€400
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part IV

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87202-1

2021
Edition 1
€180
Computational Collective Intelligence

13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings

Ngoc Thanh Nguyen; Lazaros Iliadis; Ilias Maglogiannis; Bogdan Trawiński

978-3-030-88081-1

2021
Edition 1
€200
Detection of Intrusions and Malware, and Vulnerability Assessment

19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 –July 1, 2022, Proceedings

Lorenzo Cavallaro; Daniel Gruss; Giancarlo Pellegrino; Giorgio Giacinto

978-3-031-09484-2

2022
Edition 1
€140
Genetic Programming

8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings

Maarten Keijzer; Andrea Tettamanzi; Pierre Collet; Jano van Hemert; Marco Tomassini

978-3-540-31989-4

2005
Edition 1
€100
Evolution in Computational Intelligence

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 1

Vikrant Bhateja; Preeti Patel; Vipin Khattri

978-3-032-18849-6

2026
Edition 1
- Presents research works in intelligent data engineering and analytics
- Provides results of FICTA 2025 held at London Metropolitan University, London
- Serves as a reference for researchers and practitioners in academia and industry
Not published yet

Available from
2026-04-14
Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Hartmut Ehrig; Gregor Engels; Francesco Parisi-Presicce; Grzegorz Rozenberg

978-3-540-30203-2

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Inductive Logic Programming

13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings

Tamas Horváth; Akihiro Yamamoto

978-3-540-39917-9

2003
Edition 1
€100
Ad-hoc, Mobile, and Wireless Networks

14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings

Symeon Papavassiliou; Stefan Ruehrup

978-3-319-19662-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Theoretical Aspects of Software Engineering

18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings

Wei-Ngan Chin; Zhiwu Xu

978-3-031-64626-3

2024
Edition 1
€220
Advances in Photosynthesis Research

Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983 Volume 2

C. Sybesma

978-94-017-6368-4

1984
Edition 1
€100
Intelligent Robotics and Applications

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

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

978-3-031-13844-7

2022
Edition 1
€220
Energie

TerraTec ’95 Kongreß West-Ost-Transfer Umwelt vom 1. bis 3. März 1995

Volker U. Hoffmann

978-3-322-83427-0

1995
Edition 1
€181
Stochastic Differential Systems

Proceedings of the IFIP-WG 7/1 Working Conference Eisenach, GDR, April 6–13, 1986

Hans Jürgen Engelbert; Wolfgang Schmidt

978-3-540-47245-2

1987
Edition 1
€100
Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems

Proceedings of FAIM 2023, June 18–22, 2023, Porto, Portugal, Volume 1: Modern Manufacturing

Francisco J. G. Silva; António B. Pereira; Raul D. S. G. Campilho

978-3-031-38241-3

2024
Edition 1
- Reports on innovative manufacturing processes, systems, and technologies
- Highlights applications of machine learning and automation strategies in manufacturing
- First volume of a 2-volume set
€539
Finite-State Methods and Natural Language Processing

5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers

Anssi Yli-Jyrä; Lauri Karttunen; Juhani Karhumäki

978-3-540-35469-7

2006
Edition 1
€100
Tests and Proofs

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Martin Gogolla; Burkhart Wolff

978-3-642-21768-5

2011
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the-art report
€100
Neue Forschungen in Afghanistan

Vorträge auf der 5. Arbeitstagung der Arbeitsgemeinschaft Afghanistan in Mannheim 1.–3. Februar 1979

Carl Rathjens

978-3-322-97152-4

1981
Edition 1
€201
Applied Intelligence and Informatics

Second International Conference, AII 2022, Reggio Calabria, Italy, September 1–3, 2022, Proceedings

Mufti Mahmud; Cosimo Ieracitano; M. Shamim Kaiser; Nadia Mammone; Francesco Carlo Morabito

978-3-031-24801-6

2022
Edition 1
€180
Computer Algebra in Scientific Computing

25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings

François Boulier; Matthew England; Ilias Kotsireas; Timur M. Sadykov; Evgenii V. Vorozhtsov

978-3-031-41724-5

2023
Edition 1
€160
Business Modeling and Software Design

14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1–3, 2024, Proceedings

Boris Shishkov

978-3-031-64073-5

2024
Edition 1
€120
Trust and Privacy in Digital Business

First International Conference, TrustBus 2004, Zaragoza, Spain, August 30-September 1, 2004, Proceedings

Sokratis Katsikas; Günther Pernul

978-3-540-30079-3

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Security and Privacy in Digital Economy

First International Conference, SPDE 2020, Quzhou, China, October 30 – November 1, 2020, Proceedings

Shui Yu; Peter Mueller; Jiangbo Qian

978-981-15-9129-7

2020
Edition 1
€180
Advances in High Performance Computing and Computational Sciences

The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005

Yurii I. Shokin; Nargozy Danaev; Murat Orunkhanov; Nina Shokina

978-3-540-33844-4

2006
Edition 1
- Sound mathematical theory meets supercomputing
€400
Österreichische Mediengeschichte

Band 1: Von den frühen Drucken zur Ausdifferenzierung des Mediensystems (1500 bis 1918)

Matthias Karmasin; Christian Oggolder

978-3-658-11008-6

2016
Edition 1
- Erste gebündelte Übersicht der österreichischen Mediengeschichte
- Einbettung in einen sozialgeschichtlichen Zusammenhang
- Zeigt Interdependenzen von gesellschafltichen und politischen Veränderungen sowie medialen Innovationen und Entwicklungen
- Includes supplementary material: sn.pub/extras
€187
Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Wolfram Kahl; Michael Winter; José Oliveira

978-3-319-24704-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Medical Image Computing and Computer Assisted Intervention – MICCAI 2021

24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part VI

Marleen de Bruijne; Philippe C. Cattin; Stéphane Cotin; Nicolas Padoy; Stefanie Speidel; Yefeng Zheng; Caroline Essert

978-3-030-87231-1

2021
Edition 1
€180
Data Mining and Big Data

Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

Ying Tan; Hideyuki Takagi; Yuhui Shi

978-3-319-61845-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Abfallwirtschaft Stoffkreisläufe

TerraTec ’95 Kongreß West-Ost-Transfer Umwelt vom 1. bis 3. März 1995

Hasso Scheffler; Herbert Mohry

978-3-322-83426-3

1995
Edition 1
€181
Intelligent Decision Technologies 2019

Proceedings of the 11th KES International Conference on Intelligent Decision Technologies (KES-IDT 2019), Volume 1

Ireneusz Czarnowski; Robert J. Howlett; Lakhmi C. Jain

978-981-13-8311-3

2020
Edition 1
- Includes recent research on intelligent decision technologies
- Highlights the interdisciplinarity of intelligent decision technologies, connecting computer science with the development of artificial intelligence; information systems with the development of decision support systems; and engineering with the development of systems
- Addresses such diverse areas as finance, linguistics, management and transportation
€400
Experimental Algorithms

14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Evripidis Bampis

978-3-319-20086-6

2015
Edition 1
€100
Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro; José Fiadeiro

978-3-319-70848-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€130
Recent Advances in System Modelling and Optimization

Proceedings of the IFIP-WG 7/1 Working Conference, Santiago, Chile, August 27–31, 1984

Luis Contesse; Rafael Correa; Andres Weintraub

978-3-540-47201-8

1986
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.