License single eBooks

Your results

View Cart

Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Manuel Núnez; Zakaaria Maamar; Fernando Pelayo; Key Pousttchi; Fernando Rubio

978-3-540-30233-9

2004
Edition 1
€100
Web Information Systems Engineering – WISE 2024

25th International Conference, Doha, Qatar, December 2–5, 2024, Proceedings, Part III

Mahmoud Barhamgi; Hua Wang; Xin Wang

978-981-96-0570-5

2025
Edition 1
€146
Landschaftswandel und Siedlungsverschiebung

Siedlungsdynamik im Großraum Susiana vom 5. bis 2. Jahrtausend vor unserer Zeit

Elnaz Rashidian

978-3-662-62358-9

2020
Edition 1
€187
Information Security and Privacy

12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007, Proceedings

Josef Pieprzyk; Hossein Ghodosi; Ed Dawson

978-3-540-73458-1

2007
Edition 1
€100
Angewandte Mathematik mit Mathcad, Lehr- und Arbeitsbuch

Band 2: Komplexe Zahlen und Funktionen, Vektoralgebra und Analytische Geometrie, Matrizenrechnung, Vektoranalysis

Josef Trölß

978-3-211-29688-2

2006
Edition 1
- Computerorientierte Anwendung der Mathematik in vielen Beispielen
- Kurze Zusammenfassung wichtiger theoretischer Grundlagen
- Simulation von Berechnungsvorgängen und anschauliche graphische Darstellung
€449
Parallele Datenverarbeitung mit dem Transputer

2. Transputer-Anwender-Treffen, TAT ’90, Aachen, 17./18. September 1990 Proceedings

Reinhard Grebe; Christian Ziemann

978-3-642-76602-2

1991
Edition 1
€201
Internet and Distributed Computing Systems

8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings

Giuseppe Di Fatta; Giancarlo Fortino; Wenfeng Li; Mukaddim Pathan; Frederic Stahl; Antonio Guerrieri

978-3-319-23237-9

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

10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Paliath Narendran; Michael Rusinowitch

978-3-540-48685-5

1999
Edition 1
€100
Symposia on Theoretical Physics

2 Lectures presented at the 1964 Second Anniversary Symposium of the Institute of Mathematical Sciences Madras, India

Alladi Ramakrishnan

978-1-4684-7752-8

1966
Edition 1
€100
Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023)

Volume 2: Innovations in Industrial Engineering and Robotics in Industry - Bridging the Gap Between Theory and Practical Application

Marcelo V. Garcia; Carlos Gordón-Gallegos; Asier Salazar-Ramírez; Carlos Nuñez

978-3-031-70981-4

2024
Edition 1
- Showcases the intricate relationship between industrial engineering and robotics within the context of industry
- Focuses on practical applications and real-world case studies, bridges the gap between theoretical advancements and their tangible impact on industrial practices
- Proceedings of the Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023)
€400
Learning Technology for Education in Cloud - MOOC and Big Data

Third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014. Proceedings

Lorna Uden; Jane Sinclair; Yu-Hui Tao; Dario Liberona

978-3-319-10671-7

2014
Edition 1
€100
Polymers as Colloid Systems

32nd Meeting of the Kolloid-Gesellschaft and the Berliner Polymeren Tage, Berlin, October 2–4, 1985

J. Springer

978-3-7985-1695-3

1985
Edition 1
€100
Flexible Query Answering Systems

13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Alfredo Cuzzocrea; Sergio Greco; Henrik Legind Larsen; Domenico Saccà; Troels Andreasen; Henning Christiansen

978-3-030-27629-4

2019
Edition 1
€100
Provable Security

First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings

Willy Susilo; Joseph K. Liu; Yi Mu

978-3-540-75670-5

2007
Edition 1
€100
Multimedia Communications, Services and Security

4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011. Proceedings

Andrzej Dziech; Andrzej Czyzewski

978-3-642-21512-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Relational and Algebraic Methods in Computer Science

19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

Uli Fahrenberg; Mai Gehrke; Luigi Santocanale; Michael Winter

978-3-030-88701-8

2021
Edition 1
€146
Thermal Radiation Phenomena

Volume 1: Radiative Properties of Air / Volume 2: Excitation and Non-Equilibrium Phenomena in Air

Roll K. M. Landshoff; John L. Magee

978-1-4684-8709-1

1969
Edition 1
€280
Big Data and Internet of Things

Proceeding of The Seventh International Conference on Big Data and Internet of Things BDIoT'24, Volume 2

Oussama Mahboub; Khalid Haddouch; Hicham Omara; Mostafa Hefnawi

978-3-031-74491-4

2024
Edition 1
- Presents new research and applications in Big Data and IoT
- Proceedings of the 7th International Conference on Big Data and Internet of Things
- Written by experts in the field
€380
Science and Technologies for Smart Cities

7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings

Sara Paiva; Xuejun Li; Sérgio Ivan Lopes; Nishu Gupta; Danda B. Rawat; Asma Patel; Hamid Reza Karimi

978-3-031-06371-8

2022
Edition 1
€220
Algorithmic Learning Theory

15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings

Shai Ben David; John Case; Akira Maruoka

978-3-540-30215-5

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Algorithms – ESA 2013

21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Hans L. Bodlaender; Giuseppe F. Italiano

978-3-642-40450-4

2013
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Internet Science

6th International Conference, INSCI 2019, Perpignan, France, December 2–5, 2019, Proceedings

Samira El Yacoubi; Franco Bagnoli; Giovanna Pacini

978-3-030-34770-3

2019
Edition 1
€100
Language and Automata Theory and Applications

9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe

978-3-319-15579-1

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Generative Systems and Intelligent Tutoring Systems

21st International Conference, ITS 2025, Alexandroupolis, Greece, June 2–6, 2025, Proceedings, Part I

Sabine Graf; Angelos Markos

978-3-031-98281-1

2026
Edition 1
€160
Solar Thermal Energy Utilization

German Studies on Technology and Applications. Volume 2: Technologies of Heat Exchangers (Receiver/Reformer) and Storage

Manfred Becker

978-3-662-01628-2

1987
Edition 1
€100
Computational Statistics

Volume 2: Proceedings of the 10th Symposium on Computational Statistics, COMPSTAT, Neuchâtel, Switzerland, August 1992

Yadolah Dodge; Joe Whittaker

978-3-642-48678-4

1992
Edition 1
€100
Programming Languages

18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Fernando Magno Quintao Pereira

978-3-319-11863-5

2014
Edition 1
€80
Information Security and Cryptology - ICISC 2009

12th International Conference, Seoul, Korea, December 2-4. 2009. Revised Selected Papers

Donghoon Lee; Seokhie Hong

978-3-642-14423-3

2010
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Engineering of Complex Computer Systems

29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings

Yuan Zhou; Sin G. Teo; Xiaofei Xie; Zuohua Ding; Yang Liu

978-3-032-00828-2

2026
Edition 1
€260
Advances in Biometrics

Third International Conferences, ICB 2009, Alghero, Italy, June 2-5, 2009, Proceedings

Massimo Tistarelli; Mark S. Nixon

978-3-642-01793-3

2009
Edition 1
€280
Mathematik für Wirtschaftsingenieure und naturwissenschaftlich-technische Studieng?e

Band 2 Analysis im IR^n, Lineare Algebra, Hilberträume, Fourieranalyse, Differentialgleichungen, Stochastik

Norbert Henze; Günter Last

978-3-8348-9785-5

2010
Edition 2
- Die Höhere Mathematik für angewandte Studiengänge
€523
Practical Aspects of Knowledge Management

5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings

Dimitris Karagiannis; Ulrich Reimer

978-3-540-30545-3

2004
Edition 1
€180
Logic Programming

21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Maurizio Gabbrielli; Gopal Gupta

978-3-540-31947-4

2005
Edition 1
€100
Functional Imaging and Modeling of the Heart

Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings

Alejandro F. Frangi; Petia I. Radeva; Andres Santos; Monica Hernandez

978-3-540-32081-4

2005
Edition 1
€180
Logical Aspects of Computational Linguistics

7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

Denis Bechet; Alexandre Dikovsky

978-3-642-31262-5

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Applied Reconfigurable Computing. Architectures, Tools, and Applications

14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

Nikolaos Voros; Michael Huebner; Georgios Keramidas; Diana Goehringer; Christos Antonopoulos; Pedro C. Diniz

978-3-319-78890-6

2018
Edition 1
€100
Swarm Intelligence

13th International Conference, ANTS 2022, Málaga, Spain, November 2–4, 2022, Proceedings

Marco Dorigo; Heiko Hamann; Manuel López-Ibáñez; José García-Nieto; Andries Engelbrecht; Carlo Pinciroli; Volker Strobel; Christian Camacho-Villalón

978-3-031-20176-9

2022
Edition 1
€150
Structural Information and Communication Complexity

32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings

Ulrich Schmid; Roman Kuznets

978-3-031-91736-3

2025
Edition 1
€280
Computer Animation and Social Agents

38th International Conference, CASA 2025, Strasbourg, France, June 2–4, 2025, Proceedings

Christos Mousas; Hyewon Seo; Daniel Thalmann; Frederic Cordier

978-981-95-0100-7

2026
Edition 1
€146
Nitrogen Fixation with Non-Legumes

The Third International Symposium on Nitrogen Fixation with Non-legumes, Helsinki, 2–8 September 1984

P. Uomala; F.A. Skinner

978-94-009-4378-0

1986
Edition 1
€400
Prüfung der generalnormkonformen Rechnungslegung bei langfristiger Fertigung

Erfüllung der Generalnorm des § 264 Abs. 2 HGB aus Sicht des Abschlußprüfers

Marcus Falk

978-3-322-97724-3

1996
Edition 1
€437
Sensor Based Intelligent Robots

International Workshop Dagstuhl Castle, Germany, September 28 - October 2, 1998 Selected Papers

Henrik I Christensen; Horst Bunke; Hartmut Noltemeier

978-3-540-46619-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Complex Networks & Their Applications XIII

Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 2

Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol

978-3-031-82431-9

2025
Edition 1
- Presents the latest research in Complex Networks and their Applications
- Gathers the edited proceedings of the Thirteenth International Workshop on Complex Networks & their Applications
- Offers state-of-the-art research on complex networks, including various research directions
€539
Logics in Artificial Intelligence

European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

Manuel Ojeda-Aciego; Inma P. de Guzman; Gerhard Brewka; Luis M. Pereira

978-3-540-40006-6

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Critical Information Infrastructures Security

15th International Conference, CRITIS 2020, Bristol, UK, September 2–3, 2020, Proceedings

Awais Rashid; Peter Popov

978-3-030-58295-1

2020
Edition 1
€120
Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Ed Brinksma

978-3-540-68519-7

1997
Edition 1
€100
Topics in Cryptology – CT-RSA 2022

Cryptographers’ Track at the RSA Conference 2022, Virtual Event, March 1–2, 2022, Proceedings

Steven D. Galbraith

978-3-030-95312-6

2022
Edition 1
€200
Stars and the Milky Way System

Volume 2 Proceedings of the First European Astronomical Meeting Athens, September 4–9, 1972

L. N. Mavridis

978-3-642-65666-8

1974
Edition 1
€180
Mössbauer Effect Methodology

Proceedings of the Fifth Symposium on Mössbauer Effect Methodology New York City, February 2, 1969

Irwin J. Gruverman

978-1-4684-3156-8

1970
Edition 1
€180
Parallel and Distributed Processing and Applications

Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings

Yi Pan; Daoxu Chen; Minyi Guo; Jiannong Cao; Jack Dongarra

978-3-540-32100-2

2005
Edition 1
€280

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.