License single eBooks

Your results

View Cart

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Michael Butler; Sylvain Conchon; Fatiha Zaïdi

978-3-319-25423-4

2015
Edition 1

€100
Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Kung-Kiu Lau; Timothy P. Clement

978-1-4471-3560-9

1993
Edition 1

€100
Advances in Soft Computing. MICAI 2025 Posters Track

24th Mexican International Conference on Artificial Intelligence, MICAI 2025, Guanajuato, Mexico, November 3-7, 2025, Proceedings

Lourdes Martínez-Villaseñor; Roberto A. Vázquez; Gilberto Ochoa-Ruiz

978-3-032-08704-1

2025
Edition 1

€220
Computational Linguistics and Intelligent Text Processing

17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part I

Alexander Gelbukh

978-3-319-75477-2

2018
Edition 1

€100
Symmetries in Physics

Proceedings of the International Symposium Held in Honor of Professor Marcos Moshinsky at Cocoyoc, Morelos, México, June 3–7, 1991

Alejandro Frank; Kurt B. Wolf

978-3-642-77284-9

1992
Edition 1

€180
Mobile as Mainstream - Towards Future Challenges in Mobile Learning

13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014. Proceedings

Marco Kalz; Yasemin Bayyurt; Marcus Specht

978-3-319-13416-1

2014
Edition 1

€100
Electronic Participation

6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

Efthimios Tambouris; Ann Macintosh; Frank Edward Bannister

978-3-662-44914-1

2014
Edition 1

€80
Computer Vision and Image Processing

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

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

978-3-031-58181-6

2024
Edition 1

€180
Enterprise Information Systems

21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers

Joaquim Filipe; Michał Śmiałek; Alexander Brodsky; Slimane Hammoudi

978-3-030-40783-4

2020
Edition 1

€100
Science, Engineering Management and Information Technology

First International Conference, SEMIT 2022, Ankara, Turkey, February 2–3, 2022, Revised Selected Papers, Part I

Abolfazl Mirzazadeh; Babek Erdebilli; Erfan Babaee Tirkolaee; Gerhard-Wilhelm Weber; Arpan Kumar Kar

978-3-031-40395-8

2023
Edition 1

€160
Asia Pacific Business Process Management

Second Asia Pacific Conference, AP-BPM 2014, Brisbane, QLD, Australia, July 3-4, 2014, Proceedings

Chun Ouyang; Jae-Yoon Jung

978-3-319-08222-6

2014
Edition 1

€80
Information Security and Cryptology

7th International Conference, Inscrypt 2011, Beijing, China, November 30 -- December 3, 2011. Revised Selected Papers

Chuan-Kun Wu; Moti Yung; Dongdai Lin

978-3-642-34704-7

2012
Edition 1

€100
Local Area Network Security

Workshop LANSEC '89. European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3-6, 1989. Proceedings

Thomas A. Berson; Thomas Beth

978-3-540-46802-8

1989
Edition 1

€46
Electronic Participation

Fourth IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012, Proceedings

Efthimios Tambouris; Ann Macintosh; Øystein Sæbø

978-3-642-33250-0

2012
Edition 1

€100
Artificial Intelligence and Soft Computing

11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II

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

978-3-642-29350-4

2012
Edition 1

€100
Electronic Participation

16th IFIP WG 8.5 International Conference, ePart 2024, Ghent, Belgium, September 3–5, 2024, Proceedings

Marius Rohde Johannessen; Csaba Csáki; Lieselot Danneels; Sara Hofmann; Thomas Lampoltshammer; Peter Parycek; Gerhard Schwabe; Efthimios Tambouris; Jolien Ubacht

978-3-031-70804-6

2024
Edition 1

€130
Design and Analysis of Algorithms

First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings

Guy Even; Dror Rawitz

978-3-642-34862-4

2012
Edition 1

€100
Digital-Forensics and Watermarking

11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected Papers

Yun Q. Shi; Fernando Pérez-González; Hyoung Joong Kim

978-3-642-40099-5

2013
Edition 1

€100
Advanced Data Mining and Applications

20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part IV

Quan Z. Sheng; Gill Dobbie; Jing Jiang; Xuyun Zhang; Wei Emma Zhang; Yannis Manolopoulos; Jia Wu; Wathiq Mansoor; Congbo Ma

978-981-96-0840-9

2025
Edition 1

€146
Advances in Neural Networks - ISNN 2007

4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part I

Derong Liu; Shumin Fei; Zeng-Guang Hou; Huaguang Zhang; Changyin Sun

978-3-540-72383-7

2007
Edition 1

€280
Pattern Recognition and Image Analysis

12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 – July 3, 2025, Proceedings, Part II

Nuno Gonçalves; Hélder P. Oliveira; Joan Andreu Sánchez

978-3-031-99568-2

2026
Edition 1

€260
The Significance and Regulation of Soil Biodiversity

Proceedings of the International Symposium on Soil Biodiversity, held at Michigan State University, East Lansing, May 3–6, 1993

Harold P. Collins; G. Philip Robertson; Michael J. Klug

978-94-011-0479-1

1995
Edition 1

€280
Pearl 93

Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 2./3. Dezember 1993

Peter Holleczek

978-3-642-78658-7

1993
Edition 1

€201
Rule-Based Modeling and Computing on the Semantic Web

5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings

Monica Palmirani; Davide Sottara

978-3-642-24908-2

2011
Edition 1

€100
Models in Software Engineering

Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Michel R. V. Chaudron

978-3-642-01648-6

2009
Edition 1

€100
Informatics in Economy

15th International Conference, IE 2016, Cluj-Napoca, Romania, June 2-3, 2016, Revised Selected Papers

Gheorghe Cosmin Silaghi; Robert Andrei Buchmann; Catalin Boja

978-3-319-73459-0

2018
Edition 1

€100
Computer Science – CACIC 2022

28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3–6, 2022, Revised Selected Papers

Patricia Pesado

978-3-031-34147-2

2023
Edition 1

€160
Contaminated Soil ’95

Proceedings of the Fifth International FZK/TNO Conference on Contaminated Soil, 30 October–3 November 1995, Maastricht, The Netherlands

W.J. van den Brink; R. Bosman; F. Arendt

978-94-011-0415-9

1995
Edition 1

€280
Security and Privacy in Communication Networks

8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers

Angelos D. Keromytis; Roberto Di Pietro

978-3-642-36883-7

2013
Edition 1

€100
Theory of Cryptography

14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I

Martin Hirt; Adam Smith

978-3-662-53641-4

2016
Edition 1

€100
Kommunikation in Verteilten Systemen (KiVS) 2005

14. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005), Kaiserslautern, 28. Februar - 3. März 2005

Paul Müller; Reinhard Gotzhein; Jens B. Schmitt

978-3-540-27301-1

2005
Edition 1

€374
Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Christoph Benzmüller; Marijn J.H. Heule; Renate A. Schmidt

978-3-031-63501-4

2024
Edition 1

Open Access
Mathematical and Computational Modelling Across the Scales

Lecture Notes of the XX Jacques-Louis Lions Spanish-French School, Barcelona, Spain, July 3-7, 2023

Pedro Diez; Matteo Giacomini

978-3-031-84897-1

2025
Edition 1

€280
Silicon Valley Cybersecurity Conference

Second Conference, SVCC 2021, San Jose, CA, USA, December 2–3, 2021, Revised Selected Papers

Sang-Yoon Chang; Luis Bathen; Fabio Di Troia; Thomas H. Austin; Alex J. Nelson

978-3-030-96057-5

2022
Edition 1

€40
Ill-posed Variational Problems and Regularization Techniques

Proceedings of the “Workshop on Ill-Posed Variational Problems and Regulation Techniques” held at the University of Trier, September 3–5, 1998

Michel Thera; Rainer Tichatschke

978-3-642-45780-7

1999
Edition 1

€180
Foundations and Practice of Security

7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers

Frédéric Cuppens; Joaquin Garcia-Alfaro; Nur Zincir Heywood; Philip W. L. Fong

978-3-319-17040-4

2015
Edition 1

€100
Telematics and Computing

14th International Congress of Telematics and Computing, WITCOM 2025, Huatulco, Mexico, November 3–7, 2025, Proceedings, Part I

Miguel Félix Mata-Rivera; Roberto Zagal-Flores; Cristian Barria-Huidobro

978-3-032-09735-4

2026
Edition 1

€180
Numerical Analysis and Its Applications

Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers

Zhilin Li; Lubin Vulkov; Jerzy Wásniewski

978-3-540-31852-1

2005
Edition 1

€180
Quantum Interaction

8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Harald Atmanspacher; Claudia Bergomi; Thomas Filk; Kirsty Kitto

978-3-319-15931-7

2015
Edition 1

€94
Computer Vision and Image Processing

6th International Conference, CVIP 2021, Rupnagar, India, December 3–5, 2021, Revised Selected Papers, Part I

Balasubramanian Raman; Subrahmanyam Murala; Ananda Chowdhury; Abhinav Dhall; Puneet Goyal

978-3-031-11346-8

2022
Edition 1

€200
Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Stephan Merz; Jun Pang

978-3-319-11737-9

2014
Edition 1

€100
Advanced Data Mining and Applications

20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3–5, 2024, Proceedings, Part VI

Quan Z. Sheng; Gill Dobbie; Jing Jiang; Xuyun Zhang; Wei Emma Zhang; Yannis Manolopoulos; Jia Wu; Wathiq Mansoor; Congbo Ma

978-981-96-0850-8

2025
Edition 1

€130
Sn Organotin Compounds

Part 17: Organotin-Oxygen Compounds of the Types RSn(OR′)3 and RSn(OR′)2OR″; R2Sn(X)OR′, RSnX(OR′)2, and RSnX2(OR′)

Rainer Bohrer; Herbert Schumann; Ulrich Krüerke; Bernd Kalbskopf; Ingeborg Schumann; Hans-Jürgen Richter-Ditten

978-3-662-09150-0

1989
Edition 8

€160
Financial Cryptography and Data Security

18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers

Nicolas Christin; Reihaneh Safavi-Naini

978-3-662-45472-5

2014
Edition 1

€100
Differential Geometrical Methods in Mathematical Physics

Proceedings of the Conference Held at Aix-en-Provence, September 3-7, 1979 and Salamanca, September 10-14, 1979

P. L. Garcia; A. Perez-Rendon; J. M. Souriau

978-3-540-38405-2

1980
Edition 1

€88
Implementation and Application of Functional Languages

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill; Jurriaan Hage

978-3-642-34407-7

2012
Edition 1

€90
PCs in der betrieblichen Datenverarbeitung

Anwendung — Organisation — Technik Beiträge des 3. deutschen PC-Kongresses 1985, durchgeführt von ASB, BIFOA, GMI

Dietrich Seibt; Helmut Weber

978-3-322-86047-7

1986
Edition 1

€201
Advances in Conceptual Modeling

ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings

Georg Grossmann; Sudha Ram

978-3-030-65847-2

2020
Edition 1

€100
CKBS ’90

Proceedings of the International Working Conference on Cooperating Knowledge Based Systems 3–5 October 1990, University of Keele, UK

S.M. Deen

978-1-4471-1831-2

1991
Edition 1

€100
Advances in Multimedia Information Processing - PCM 2004

5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part II

Kiyoharu Aizawa; Yuichi Nakamura; Shin'ichi Satoh

978-3-540-30542-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.