License single eBooks

Your results

View Cart

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
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
Speech and Computer

15th International Conference, SPECOM 2013, September 1-5, 2013, Pilsen, Czech Republic, Proceedings

Miloš Železný; Iwan Habernal; Andrey Ronzhin

978-3-319-01931-4

2013
Edition 1
- Fast-track-conference of SPECOM 2013
€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
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings

Nicolas Beldiceanu; Narendra Jussien; Eric Pinson

978-3-642-29828-8

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky; Nikolai Tillmann

978-3-642-16612-9

2010
Edition 1
- Unique visibility
- Fast-track conference proceedings
- State-of-the-art research
€100
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
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
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
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
Advances in Photosynthesis Research

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

C. Sybesma

978-94-017-4971-8

1984
Edition 1
€100
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
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
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
Korruption durch Bonuszuwendungen

Strafbarkeit der (Media-)Agentur als Beauftragte im Sinne von § 299 Abs. 1 StGB

David Schmid

978-3-86226-906-8

2013
Edition 1
€93
Bio-Inspired Information and Communications Technologies

13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings

Tadashi Nakano

978-3-030-92163-7

2021
Edition 1
€150
Public Key Cryptography -- PKC 2004

7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004

Feng Bao; Robert Deng; Jianying Zhou

978-3-540-24632-9

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Groupware: Design, Implementation, and Use

8th International Workshop, CRIWG 2002, La Serena, Chile, 1.-4. September 2002, Proceedings

Jörg M. Haake; Jose A. Pino

978-3-540-46124-1

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Multiple Periodic Variable Stars

Proceedings of the International Astronomical Union Colloquium No. 29, Held at Budapest, Hungary 1–5 September 1975

W.S. Fitch

978-94-010-1175-4

1976
Edition 1
€100
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
Advances in Intelligent Computing Techniques and Applications

Intelligent Systems, Intelligent Health Informatics, Intelligent Big Data Analytics and Smart Computing, Volume 1

Faisal Saeed; Fathey Mohammed; Yousef Fazea

978-3-031-59711-4

2024
Edition 1
- Focuses on recent topics in data science, health informatics, intelligent systems, smart computing
- Outcomes of the 7th International Conference of Reliable Information and Communication Technology IRICT 2023
- Presents emerging trends in intelligent computing and informatics
€459
Optimization and Applications

12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings

Nicholas N. Olenev; Yuri G. Evtushenko; Milojica Jaćimović; Michael Khachay; Vlasta Malkova

978-3-030-91059-4

2021
Edition 1
€150
Generative Programming and Component Engineering

4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Glück; Michael Lowry

978-3-540-31977-1

2005
Edition 1
€100
Software Composition

10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Sven Apel; Ethan Jackson

978-3-642-22045-6

2011
Edition 1
- Fast track proceedings
€100
Learning Technology for Education Challenges

12th International Workshop, LTEC 2024, Kaohsiung, Taiwan, July 29 – August 1, 2024, Proceedings

Lorna Uden; Dario Liberona

978-3-031-61678-5

2024
Edition 1
€240
Component-Based Software Engineering

9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Ian Gorton; George T. Heinemann; Ivica Crnkovic; Heinz W. Schmidt; Judith A. Stafford; Clemens Szyperski; Kurt Wallnau

978-3-540-35629-5

2006
Edition 1
€100
Ad Hoc Networks

7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings

Nathalie Mitton; Melike Erol Kantarci; Antoine Gallais; Symeon Papavassiliou

978-3-319-25067-0

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Computational Intelligence and Industrial Applications

11th International Symposium, ISCIIA 2024, Beijing, China, November 1–5, 2024, Proceedings, Part I

Bin Xin; Hongbin Ma; Jinhua She; Weihua Cao

978-981-96-4753-8

2025
Edition 1
€170
Neural Information Processing

16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I

Chi-Sing Leung; Minho Lee; Jonathan H. Chan

978-3-642-10677-4

2009
Edition 1
€280
Provable Security

Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Joon Sang Baek; Feng Bao; Kefei Chen; Xuejia Lai

978-3-540-88733-1

2008
Edition 1
€100
Few-Body Problems in Physics ’98

Proceedings of the 16th European Conference on Few-Body Problems in Physics, Autrans, France, June 1–6, 1998

Bertrand Desplanques; Konstantin Protasov; Bernard Silvestre-Brac; Jaume Carbonell

978-3-7091-6798-4

1999
Edition 1
€100
Databases and Information Systems

13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018, Proceedings

Audrone Lupeikiene; Olegas Vasilecas; Gintautas Dzemyda

978-3-319-97571-9

2018
Edition 1
€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
Die Onkologie

Teil 1: Epidemiologie - Pathogenese - Grundprinzipien der Therapie; Teil 2: Solide Tumoren - Lymphome - Leukämien

Wolfgang Hiddemann; Claus R. Bartram

978-3-540-79725-8

2010
Edition 2
- Fundiertes klinisches Grundlagenwissen und aktuelle Empfehlungen für die Praxis zusammengefasst in einem Werk
- Komplexes Wissen: anschaulich, einprägsam und praxistauglich
- Verfasst von anerkannten Experten aus Klinik, Praxis und Forschung
- Includes supplementary material: sn.pub/extras
€701
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016

Selected Papers from the ICOSAHOM conference, June 27-July 1, 2016, Rio de Janeiro, Brazil

Marco L. Bittencourt; Ney A. Dumont; Jan S. Hesthaven

978-3-319-65870-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€400
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
Knowledge Engineering and the Semantic Web

5th International Conference, KESW 2014, Kazan, Russia, September 29--October 1, 2014. Proceedings

Pavel Klinov; Dmitry Mouromtsev

978-3-319-11716-4

2014
Edition 1
€100
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
Product-Focused Software Process Improvement

18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Michael Felderer; Daniel Méndez Fernández; Burak Turhan; Marcos Kalinowski; Federica Sarro; Dietmar Winkler

978-3-319-69926-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Logical Aspects of Computational Linguistics

6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings

Sylvain Pogodalla; Jean-Philippe Prost

978-3-642-22221-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Low-Voltage Low-Power Analog Integrated Circuits

A Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Volume 8, No. 1 (1995)

Wouter A. Serdijn

978-1-4615-2283-6

1995
Edition 1
€180
Games and Learning Alliance

10th International Conference, GALA 2021, La Spezia, Italy, December 1–2, 2021, Proceedings

Francesca de Rosa; Iza Marfisi Schottman; Jannicke Baalsrud Hauge; Francesco Bellotti; Pierpaolo Dondio; Margarida Romero

978-3-030-92182-8

2021
Edition 1
€114

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.