License single eBooks

Your results

View Cart

Descriptional Complexity of Formal Systems

19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Giovanni Pighizzini; Cezar Câmpeanu

978-3-319-60252-3

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Digital Forensics XVIII

18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers

Gilbert Peterson; Sujeet Shenoi

978-3-031-10078-9

2022
Edition 1
€180
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
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
Information Retrieval Technology

6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings

Pu-Jen Cheng; Min-Yen Kan; Wai Lam; Preslav Nakov

978-3-642-17187-1

2010
Edition 1
€180
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
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
Natural Language Processing and Chinese Computing

13th National CCF Conference, NLPCC 2024, Hangzhou, China, November 1–3, 2024, Proceedings, Part IV

Derek F. Wong; Zhongyu Wei; Muyun Yang

978-981-97-9440-9

2025
Edition 1
€160
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
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€90
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
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
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
GeoSensor Networks

Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

Silvia Nittel; Alexandros Labrinidis; Anthony Stefanidis

978-3-540-79996-2

2008
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
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
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
Progress in Artificial Intelligence

24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1–3, 2025, Proceedings, Part I

José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso

978-3-032-05176-9

2026
Edition 1
€146
Foundations and Practice of Security

13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1–3, 2020, Revised Selected Papers

Gabriela Nicolescu; Assia Tria; José M. Fernandez; Jean-Yves Marion; Joaquin Garcia-Alfaro

978-3-030-70881-8

2021
Edition 1
€100
Neural Information Processing

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

Jun Wang; Laiwan Chan; DeLiang Wang

978-3-540-46482-2

2006
Edition 1
€240
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
Radiation Trapped in the Earth’s Magnetic Field

Proceedings of the Advanced Study Institute Held at the Chr. Michelsen Institute, Bergen, Norway August 16–September 3, 1965

Billy McCormac

978-94-010-3553-8

1966
Edition 1
€180
Advances in Computational Intelligence Systems

Contributions Presented at The 24th UK Workshop on Computational Intelligence (UKCI 2025), September 3-5, 2025, Edinburgh, UK

Emma Hart; Tomas Horvath; Zhiyuan Tan; Sarah Thomson

978-3-032-07938-1

2026
Edition 1
- Presents recent research on Computational Intelligence Systems
- Covers a wide range of application areas
- Collects the edited contributions presented at the 24th UK Workshop on Computational Intelligence
€400
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Manuel Serrano; Jurriaan Hage

978-3-319-39110-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€80
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
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
Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Rajeev Alur; Thomas Henzinger

978-3-540-68599-9

1996
Edition 1
€100
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
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 I

Mian Ahmad Jan; Fazlullah Khan

978-3-030-87900-6

2021
Edition 1
€100
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
Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Inmaculada Medina-Bulo; Mercedes G. Merayo; Robert Hierons

978-3-319-99927-2

2018
Edition 1
€100
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
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Advances in Multimedia Information Processing - PCM 2004

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

Kiyoharu Aizawa; Yuichi Nakamura; Shin'ichi Satoh

978-3-540-30543-9

2005
Edition 1
- Includes supplementary material: sn.pub/extras
€180
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
- This book is open access, which means that you have free and unlimited access
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
- 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
€280
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
- Includes supplementary material: sn.pub/extras
€280
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
Access Networks

4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers

Xiao Jun Hei; Lawrence Cheung

978-3-642-11664-3

2010
Edition 1
- fast track conference
- unique visibility
- state-of-the-art research
€100
Infinity in Logic and Computation

International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Margaret Archibald; Vasco Brattka; Valentin F. Goranko; Benedikt Löwe

978-3-642-03092-5

2009
Edition 1
€100
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I

Hermann Lödding; Ralph Riedel; Klaus-Dieter Thoben; Gregor von Cieminski; Dimitris Kiritsis

978-3-319-66923-6

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180
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
Electronic Government

13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings

Marijn Janssen; Hans Jochen Scholl; Maria A. Wimmer; Frank Edward Bannister

978-3-662-44426-9

2014
Edition 1
€100
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
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
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
Languages and Compilers for Parallel Computing

14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

Henry Gordon Dietz

978-3-540-35767-4

2003
Edition 1
€100
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
Man-Machine Interactions 5

5th International Conference on Man-Machine Interactions, ICMMI 2017 Held at Kraków, Poland, October 3-6, 2017

Aleksandra Gruca; Tadeusz Czachórski; Katarzyna Harezlak; Stanisław Kozielski; Agnieszka Piotrowska

978-3-319-67792-7

2018
Edition 1
- Recent research on Man-Machine Interactions
- Proceedings of the International Conference on Man-Machine Interactions ICMMI 2017 held in October 2017 in Poland
- Written by leading experts in the field
€400
Smart Technologies, Systems and Applications

Second International Conference, SmartTech-IC 2021, Quito, Ecuador, December 1–3, 2021, Revised Selected Papers

Fabián R. Narváez; Julio Proaño; Paulina Morillo; Diego Vallejo; Daniel González Montoya; Gloria M. Díaz

978-3-030-99170-8

2022
Edition 1
€180

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.