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
- Includes supplementary material: sn.pub/extras
€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
Neural Information Processing

13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46485-3

2006
Edition 1
€240
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
- Includes supplementary material: sn.pub/extras
€180
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
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
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
- Up to date results
- Fast track conference proceedings
- State of the art research
€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
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
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
- 11th International Workshop on Digital Forensics and Watermarking, IWDW 2012
€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
- Fast track conference proceedings
- Unique visibility
- State of the art research
€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
€140
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
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
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
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Syphilis und Innere Medizin

Die Syphilis des Zirkulations- und Respirationstraktes und der innersekretorischen Drüsen. Syphilis und Blutkrankheiten. Vol. 3

Hermann Schlesinger

978-3-7091-4701-6

1928
Edition 1
€294
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
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
- Includes supplementary material: sn.pub/extras
€100
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
- Includes supplementary material: sn.pub/extras
€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
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
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
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
- This book is open access, which means that you have free and unlimited access
Open Access
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
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
€150
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
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
- Gathers the contributions of the courses and keynote lectures delivered during the school
- Encompasses contributions on modelling and numerical methods, for direct and inverse problems
- Written by leading experts in the field
€320
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
Applications of Fibonacci Numbers

Volume 3 Proceedings of ‘The Third International Conference on Fibonacci Numbers and Their Applications’, Pisa, Italy, July 25–29, 1988

G.E. Bergum; Andreas N. Philippou; Alwyn F. Horadam

978-94-009-1910-5

1990
Edition 1
€180
Advances in Design and Digital Communication III

Proceedings of the 6th International Conference on Design and Digital Communication, Digicom 2022, November 3–5, 2022, Barcelos, Portugal

Nuno Martins; Daniel Brandão

978-3-031-20364-0

2023
Edition 1
- Discusses timely topics at the intersection between design and digital communication
- Describes some challenges that digital media causes to brands, institutions, education and society
- Proposes practical solutions to current questions in the area of communication design
€438
Recent Trends in Image Processing and Pattern Recognition

Third International Conference, RTIP2R 2020, Aurangabad, India, January 3–4, 2020, Revised Selected Papers, Part I

K. C. Santosh; Bharti Gawali

978-981-16-0507-9

2021
Edition 1
€180
Intelligent Computers, Algorithms, and Applications

Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3–6, 2023, Revised Selected Papers

Christophe Cruz; Yanchun Zhang; Wanling Gao

978-981-97-0065-3

2024
Edition 1
€160
Security and Privacy in Mobile Information and Communication Systems

First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers

Shiguo Lian

978-3-642-04434-2

2009
Edition 1
€100
General Relativity and Gravitation

Invited Papers and Discussion Reports of the 10th International Conference on General Relativity and Gravitation, Padua, July 3–8, 1983

B. Bertotti; F. de Felice; Alessandro Pascolini

978-94-009-6469-3

1984
Edition 1
€220
Intelligent Systems

10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part II

André Britto; Karina Valdivia Delgado

978-3-030-91699-2

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

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

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

978-3-030-85623-6

2021
Edition 1
€260
Advances in Microwave and Radio Frequency Processing

Report from the 8th International Conference on Microwave and High-Frequency Heating held in Bayreuth, Germany, September 3-7, 2001

M. Willert-Porada

978-3-540-32944-2

2006
Edition 1
- Contains selected topics from the 8th International Conference of microwave and high frequency heating
- Deals with application of radiation of 300 MHz to 300 GHz frequency to synthesis, heating or ionisation of matter, and also with generation, transmission and detection of microwave radiation
- Written from experts as an overview for non-experts and for the synergy of specialists in different fields
- Includes supplementary material: sn.pub/extras
€578
Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Michael A. McRobbie; J.K. Slaney

978-3-540-68687-3

1996
Edition 1
€180
Combinatorics and Computer Science

8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers

Michel M. Deza; Reinhardt Euler; Ioannis Manoussakis

978-3-540-70627-4

1996
Edition 1
€100
Trust Management VII

7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013, Proceedings

Carmen Fernandez-Gago; Fabio Martinelli; Siani Pearson; Isaac Agudo

978-3-642-38323-6

2013
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Human-Centric Decision and Negotiation Support for Societal Transitions

24th International Conference on Group Decision and Negotiation, GDN 2024, Porto, Portugal, June 3–5, 2024, Proceedings

Marta Campos Ferreira; Thomasz Wachowicz; Pascale Zaraté; Yu Maemura

978-3-031-59373-4

2024
Edition 1
€240
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
- Includes supplementary material: sn.pub/extras
€94
Middleware 2010

ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings

Indranil Gupta; Cecilia Mascolo

978-3-642-16955-7

2010
Edition 1
- Unique visibility
- State-of-the-art research
- Fast-track conference proceedings
€100
Mathematical Methods for Curves and Surfaces

8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Michael Floater; Tom Lyche; Marie-Laurence Mazure; Knut Morken; Larry L. Schumaker

978-3-642-54382-1

2014
Edition 1
€100
Knowledge Discovery in Databases: PKDD 2005

9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings

Alípio Jorge; Luís Torgo; Pavel Brazdil; Rui Camacho; João Gama

978-3-540-31665-7

2005
Edition 1
€180
Dependable Computer Systems and Networks

Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3–7, 2023, Brunów, Poland

Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk

978-3-031-37720-4

2023
Edition 1
- Presents recent research in Complex Systems and Dependability
- Provides general aspects and dependability of systems, networks theory, and communication technology
- Covers proceedings of the Eighteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX)
€380
Evaluation Science and Engineering

17th BenchCouncil International Symposium, Bench 2025, Guanghan, China, December 3–5, 2025, Revised Selected Papers

Jianfeng Zhan; Wei Wang; Fanda Fan; Yushan Su

978-981-95-9694-2

2026
Edition 1
€130

Not published yet

Available from
2026-05-15

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.