License single eBooks

Your results

View Cart

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Karin Breitman; Ana Cavalcanti

978-3-642-10373-5

2009
Edition 1
€180
Human Aspects of Information Security, Privacy and Trust

5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Theo Tryfonas

978-3-319-58460-7

2017
Edition 1
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
€100
QSAR in Environmental Toxicology - II

Proceedings of the 2nd International Workshop on QSAR in Environmental Toxicology, held at McMaster University, Hamilton, Ontario, Canada, June 9–13, 1986

K.L. Kaiser

978-94-009-3937-0

1987
Edition 1
€180
Wireless Systems and Mobility in Next Generation Internet

First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004, Revised Selected Papers

Gabriele Kotsis; Otto Spaniol

978-3-540-31963-4

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Werner Damm; Ernst-Rüdiger Olderog

978-3-540-45739-8

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Languages and Compilers for Parallel Computing

31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

Mary Hall; Hari Sundar

978-3-030-34627-0

2019
Edition 1
€100
Teoria delle distribuzioni

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Saltino (Firenza), Italy, September 1-9, 1961

E. Magenes; G. Stampacchia

978-3-642-10967-6

2011
Edition 1
- Now available with Springer
€54
Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications

AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers

Thoralf Reis; Marco X. Bornschlegl; Marco Angelini; Matthias L. Hemmje

978-3-030-68007-7

2021
Edition 1
€150
ArtsIT, Interactivity and Game Creation

14th EAI International Conference, ArtsIT 2025, Dubai, United Arab Emirates, November 7–9, 2025, Proceedings, Part II

Anthony L. Brooks

978-3-032-26999-7

2026
Edition 1
€180

Not published yet

Available from
2026-06-11
Advances in Cryptology – ASIACRYPT 2024

30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9–13, 2024, Proceedings, Part VII

Kai-Min Chung; Yu Sasaki

978-981-96-0941-3

2025
Edition 1
€160
Human Aspects of Information Security and Assurance

18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9–11, 2024, Proceedings, Part II

Nathan Clarke; Steven Furnell

978-3-031-72563-0

2025
Edition 1
€170
Stochastic Structural Dynamics 2

New Practical Applications Second International Conference on Stochastic Structural Dynamics May 9–11, 1900, Boca Raton, Florida, USA

I. Elishakoff; Y.K. Lin

978-3-642-84534-5

1991
Edition 1
€180
Public-Key Cryptography – PKC 2016

19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I

Chen-Mou Cheng; Kai-Min Chung; Giuseppe Persiano; Bo-Yin Yang

978-3-662-49384-7

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Systematische Bewertung des defektdominierten Ermüdungsverhaltens der additiv gefertigten austenitischen Stähle X2CrNiMo17-12-2 und X2CrNiMo18-15-3

Felix Julian Stern

978-3-658-41927-1

2023
Edition 1
€327
Reaktionen in flüssigem Ammoniak zur Gewinnung von: 1. Titanylamid. 2. Oxykobalt (III)-amiden. 3. Ammonobasischen Kobalt (III)-benzylaten

Otto Schmitz-Dumont

978-3-663-05555-6

1958
Edition 1
€201
Integral Geometry, Radon Transforms and Complex Analysis

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Venice, Italy, June 3-12, 1996

Carlos A. Berenstein; Enrico Casadio Tarabusi; Peter F. Ebenfelt; Massimo A. Picardello; Simon Gindikin; Giuseppe Zampieri; Sigurdur Helgason; Alexander Tumanov

978-3-540-69702-2

1998
Edition 1
€66
Sense, Feel, Design

INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers

Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Larusdottir; Lucio Davide Spano; José Campos; Morten Hertzum; Tilo Mentler; José Abdelnour Nocera; Lara Piccolo; Stefan Sauer; Gerrit van der Veer

978-3-030-98388-8

2022
Edition 1
€180
Web-Age Information Management

WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers

Shaoxu Song; Yongxin Tong

978-3-319-47121-1

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Electronic Government

23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3–5, 2024, Proceedings

Marijn Janssen; Joep Crompvoets; J. Ramon Gil-Garcia; Habin Lee; Ida Lindgren; Anastasija Nikiforova; Gabriela Viale Pereira

978-3-031-70274-7

2024
Edition 1
€280
Recent Advances in Reinforcement Learning

8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers

Sertan Girgin; Manuel Loth; Rémi Munos; Philippe Preux; Daniil Ryabko

978-3-540-89722-4

2008
Edition 1
€100
Stakeholders and Information Technology in Education

IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers

Torsten Brinda; Nicholas Mavengere; Ilkka Haukijärvi; Cathy Lewin; Don Passey

978-3-319-54687-2

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Handbook of Advanced Magnetic Materials

Vol 1. Nanostructural Effects. Vol 2. Characterization and Simulation. Vol 3. Fabrication and Processing. Vol 4. Properties and Applications

Yi Liu; D.J. Sellmyer; Daisuke Shindo

978-1-4020-7984-9

2006
Edition 1
- Most comprehensive coverage of properties, characterization and processing of advanced magnetic materials and magnetic nanostructures
- Treats such timely topics as nanostructured magnetic materials; processing and modeling of novel nanocrystalline soft magnetic materials; and nano-structured magnetoelastic materials for sensor applications
- Chapters are written by an international group of experts
€978
Testing Techniques in Software Engineering

Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcook

978-3-642-14335-9

2010
Edition 1
- The book gives an detailed tutorial introduction to the scientific basis of testing
- This book is the outcome of Pernambuco Summer School on Software Engineering (PSSE) 2007, devoted to the study of computer science and to the promotion of international scientific collaboration
- includes state of the art contributions from invited lecturers
€419
Residual Stress and Its Effects on Fatigue and Fracture

Proceedings of a Special Symposium held within the 16th European Conference of Fracture - ECF16, Alexandroupolis, Greece, 3-7 July, 2006

Anastasius Youtsos

978-1-4020-5329-0

2006
Edition 1
- Effects of residual stress on fatigue and fracture is an open key problem for structural integrity
- Contains recent advances on its title topics by leading European experts
- Contains theoretical/numerical studies of high value backed by sound experimental data
- Contains experimental studies based on novel and verifiable testing methods
€180
Inorganic and Nutritional Aspects of Cancer

Proceedings of the First Conference of the International Association of Bioinorganic Scientists, Inc. held in La Jolla, California, January 3–5, 1977

G. Schrauzer

978-1-4684-0796-9

1978
Edition 1
€180
Computational Biology

First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers

Olivier Gascuel; Marie-France Sagot

978-3-540-45727-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Digitales Pricing

Strategische Preisbildung mit dem 3-Level-Ansatz – vom digitalen Geschäftsmodell bis zur Optimierung des Pricing-Prozesses

Frank Frohmann

978-3-658-37941-4

2022
Edition 2
- Das erste Buch, das die Auswirkungen der Digitalisierung auf Preismanagement umfassend darstellt
- Klare Abgrenzung und methodische Verknüpfung von Geschäftsmodell, Erlösmodell und Pricing-Prozess
- Integration preispsychologischer Erkenntnisse in den Pricingprozess. Maximaler Praxisbezug!
€257
Application of Big Data, Blockchain, and Internet of Things for Education Informatization

First EAI International Conference, BigIoT-EDU 2021, Virtual Event, August 1–3, 2021, Proceedings, Part II

Mian Ahmad Jan; Fazlullah Khan

978-3-030-87903-7

2021
Edition 1
€280
Advances in Dependable Systems and Networks

Proceedings of the Twentieth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 30 – July 3, 2025, Brunów, Poland

Wojciech Zamojski; Jacek Mazurkiewicz; Jaroslaw Sugier; Tomasz Walkowiak; Janusz Kacprzyk

978-3-031-92734-8

2025
Edition 1
- Presents recent research in Complex Systems and Dependability
- Proceedings of the Twentieth International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX)
- Presents general aspects and dependability of systems, networks theory, and communication technology
€419
Knowledge Discovery, Knowledge Engineering and Knowledge Management

9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

Ana Fred; David Aveiro; Jan L. G. Dietz; Kecheng Liu; Jorge Bernardino; Ana Salgado; Joaquim Filipe

978-3-030-15640-4

2019
Edition 1
€100
Advances in Bioengineering and Clinical Engineering

Proceedings of the XXIV Argentinian Congress of Bioengineering (SABI 2023), October 3–6, 2023, Buenos Aires, Argentina - Volume 1

Fernando Emilio Ballina; Ricardo Armentano; Rubén Carlos Acevedo; Gustavo Javier Meschino

978-3-031-61960-1

2024
Edition 1
- Reports on advances in biomaterials, biomechanics and tissue engineering
- Covers cutting-edge methods and instrumentation, including AI applications in healthcare
- First volume of a 2-volume set
€439
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
Semantic Multimedia

Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings

David Duke; Lynda Hardman; Alexander G. Hauptmann; Dietrich Paulus; Steffen Staab

978-3-540-92235-3

2008
Edition 1
€100
Computer Science and Educational Informatization

6th International Conference, CSEI 2024, Haikou, China, November 1–3, 2024, Revised Selected Papers, Part II

Kun Zhang; Xianhua Song; Mohammad S. Obaidat; Anas Bilal; Jun Hu; Zeguang Lu

978-981-96-3738-6

2025
Edition 1
€160
Operations Research Proceedings 2008

Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) University of Augsburg, September 3-5, 2008

Bernhard Fleischmann; Karl-Heinz Borgwardt; Robert Klein; Axel Tuma

978-3-642-00142-0

2009
Edition 1
- Includes supplementary material: sn.pub/extras
€400
Enterprise and Organizational Modeling and Simulation

15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

Robert Pergl; Eduard Babkin; Russell Lock; Pavel Malyzhenkov; Vojtěch Merunka

978-3-030-35646-0

2019
Edition 1
€100
Progress in Artificial Intelligence

23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3–6, 2024, Proceedings, Part I

Manuel Filipe Santos; José Machado; Paulo Novais; Paulo Cortez; Pedro Miguel Moreira

978-3-031-73497-7

2025
Edition 1
€160
Approaches to Intelligent Agents

Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings

Hideyuki Nakashima; Chengqi Zhang

978-3-540-46693-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Knowledge Discovery and Data Mining

22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part II

Dinh Phung; Vincent S. Tseng; Geoffrey I. Webb; Bao Ho; Mohadeseh Ganji; Lida Rashidi

978-3-319-93037-4

2018
Edition 1
€180
Computer Vision and Image Processing

8th International Conference, CVIP 2023, Jammu, India, November 3–5, 2023, Revised Selected Papers, Part III

Harkeerat Kaur; Vinit Jakhetiya; Puneet Goyal; Pritee Khanna; Balasubramanian Raman; Sanjeev Kumar

978-3-031-58535-7

2024
Edition 1
€180
Computer Science – Theory and Applications

15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

Henning Fernau

978-3-030-50026-9

2020
Edition 1
€100
Intelligent Systems Design and Applications

22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 3

Ajith Abraham; Sabri Pllana; Gabriella Casalino; Kun Ma; Anu Bajaj

978-3-031-35501-1

2023
Edition 1
- Includes recent research on intelligent systems design and applications
- Presents the proceedings of the 22nd International Conference on Intelligent Systems Design and Applications ISDA 2022
- Written by leading experts in the field
€478
Entertainment Computing – ICEC 2024

23rd IFIP TC 14 International Conference, ICEC 2024, Manaus, Brazil, September 30 – October 3, 2024, Proceedings

Pablo Figueroa; Angelo Di Iorio; Daniel Guzman del Rio; Esteban Walter Gonzalez Clua; Luis Cuevas Rodriguez

978-3-031-74353-5

2025
Edition 1
€200
Progress in Artificial Intelligence

19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I

Paulo Moura Oliveira; Paulo Novais; Luís Paulo Reis

978-3-030-30241-2

2019
Edition 1
€180
Aromatic Hydroxyketones: Preparation and Physical Properties

Vol.1: Hydroxybenzophenones Vol.2: Hydroxyacetophenones I Vol.3: Hydroxyacetophenones II Vol.4: Hydroxypropiophenones, Hydroxyisobutyrophenones, Hydroxypivalophenones and Derivatives

Robert Martin

978-1-4020-9787-4

2011
Edition 3
- The only resource covering this vast quantity and depth of information on physical properties and syntheses on a wide range of hydroxyketones
- Powerful tool for the synthesis of intermediates of specialty polymers, pharmaceuticals and fine chemicals
- 6000 hydroxyketones covered and including approximately 6000 references
€2,038
Generalizing from Limited Resources in the Open World

Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings

Jinyang Guo; Yuqing Ma; Yifu Ding; Ruihao Gong; Xingyu Zheng; Changyi He; Yantao Lu; Xianglong Liu

978-981-97-6125-8

2024
Edition 1
€240
Computer Security

23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I

Javier Lopez; Jianying Zhou; Miguel Soriano

978-3-319-99073-6

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

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V

Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Helen Petrie; Antonio Piccinno; Giuseppe Desolda; Kori Inkpen

978-3-030-85607-6

2021
Edition 1
€100
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II

Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Helen Petrie; Antonio Piccinno; Giuseppe Desolda; Kori Inkpen

978-3-030-85616-8

2021
Edition 1
€200
Swarm and Evolutionary computation

International Symposium, SIDE 2012, held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012, Proceedings

Leszek Rutkowski; Marcin Korytkowski; Rafał Scherer; Ryszard Tadeusiewicz; Lotfi Zadeh; Jacek Zurada

978-3-642-29353-5

2012
Edition 1
- Fast-track conference proceedings State-of-the-art research Up-to-date results
€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.