License single eBooks

Your results

View Cart

Automated Reasoning

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

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

978-3-031-63498-7

2024
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
Geometrical and Topological Methods in Gauge Theories

Proceedings of the Canadian Mathematical Society Summer Research Institute McGill University, Montreal September 3–8, 1979

J. P. Harnad; S. Shnider

978-3-540-38142-6

1980
Edition 1
€100
Mössbauer Effect Methodology

Volume 3 Proceedings of the Third Symposium on Mössbauer Effect Methodology New York City, January 29, 1967

Irwin J. Gruverman

978-1-4757-1547-7

1967
Edition 1
€100
Advances in Computer Games

14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

Aske Plaat; Jaap van den Herik; Walter Kosters

978-3-319-27992-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Multiphysics and Multiscale Building Physics

Proceedings of the 9th International Building Physics Conference (IBPC 2024) Volume 3: Building Systems and HVAC Technologies

Umberto Berardi

978-981-97-8313-7

2025
Edition 1
- Presents the latest research findings from experts in building physics and sustainable buildings
- Promotes new discoveries in advanced building systems and envelopes
- Presents practical solutions to address the SDGs within buildings and cities
€500
Agent and Multi-Agent Systems: Technologies and Applications

Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009, Proceedings

Anne Hakansson; Ronald Hartung

978-3-642-01665-3

2009
Edition 1
€180
Technologies for E-Services

6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

Christoph Bussler; Ming-Chien Shan

978-3-540-32889-6

2006
Edition 1
€100
Journalistik

Theorie und Praxis aktueller Medienkommunikation Band 3: Quiz und Forum (Fragen/Antworten, Diskussion, Evaluation)

Siegfried Weischenberg; Markus Kriener

978-3-322-80356-6

1998
Edition 1
- Fragen und Antworten zur Journalistik
€404
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection

7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29–November 3, 2018, Proceedings, Part I

Marinos Ioannides; Eleanor Fink; Raffaella Brumana; Petros Patias; Anastasios Doulamis; João Martins; Manolis Wallace

978-3-030-01762-0

2018
Edition 1
€220
Untersuchung von Nahrungs-, Genussmitteln und Gebrauchsgegenständen; T. 3, Die Genussmittel, Wasser, Luft, Gebrauchsgegenstände, Geheimmittel und ähnliche Mittel

Josef König

978-3-662-41996-0

1918
Edition 4
€187
Mechanics of Composite, Hybrid & Multi-functional Materials, Thermomechanics & Infrared Imaging and Mechanics of Additive & Advanced Manufactured Materials, Volume 3

Proceedings of the 2024 Annual Conference on Experimental and Applied Mechanics

Frank Gardea; Rosa De Finis; Suhasini Gururaja; Emily Retzlaff

978-3-031-85837-6

2025
Edition 1
€419
Urkunden des Politeuma der Juden von Herakleopolis (144/3–133/2 v. Chr.) (P. Polit. Iud.)

James M. S. Cowey; Klaus Maresch

978-3-663-14281-2

2001
Edition 1
€168
Advances in Cryptology - ASIACRYPT 2000

6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000 Proceedings

Tatsuaki Okamoto

978-3-540-44448-0

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Web and Big Data

Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I

Jie Shao; Man Lung Yiu; Masashi Toyoda; Dongxiang Zhang; Wei Wang; Bin Cui

978-3-030-26072-9

2019
Edition 1
€146
Recent Advances in Parallel Virtual Machine and Message Passing Interface

14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings

Franck Capello; Thomas Herault; Jack Dongarra

978-3-540-75416-9

2007
Edition 1
€100
Innovation for Systems Information and Decision

Third Innovation for Systems Information and Decision Meeting, INSID 2021, Virtual Event, December 1–3, 2021, Proceedings

Adiel Teixeira de Almeida; Danielle Costa Morais

978-3-030-91768-5

2021
Edition 1
€110
Advances on Data Mining: Applications and Theoretical Aspects

11th Industrial Conference, ICDM 2011, New York, NY, USA, August 30 – September 3, 2011, Proceedings

Petra PErner

978-3-642-23184-1

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
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
Modelling and Simulation for Autonomous Systems

11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1–3, 2024, Revised Selected Papers

Jan Mazal; Adriano Fagiolini; Petr Vašík; Agostino Bruzzone; Stefan Pickl; Petr Stodola; Vlastimil Neumann; Pavel Loučka

978-3-031-99732-7

2026
Edition 1
€260
Metadata and Semantic Research

15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers

Emmanouel Garoufallou; María-Antonia Ovalle-Perandones; Andreas Vlachidis

978-3-030-98876-0

2022
Edition 1
€160
Information and Communication Technologies for Ageing Well and e-Health

6th International Conference, ICT4AWE 2020, Prague, Czech Republic, May 3–5, 2020, Revised Selected Papers

Martina Ziefle; Nick Guldemond; Leszek A. Maciaszek

978-3-030-70807-8

2021
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
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
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
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
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
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
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
Computer Science and Educational Informatization

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

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

978-981-96-3735-5

2025
Edition 1
€150
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
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
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
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
Interactive Storytelling

Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings

Ruth Aylett; Mei Yii Lim; Sandy Louchart; Paolo Petta; Mark Riedl

978-3-642-16638-9

2010
Edition 1
€100
Information Retrieval Technology

10th Asia Information Retrieval Societies Conference, AIRS 2014, Kuching, Malaysia, December 3-5, 2014. Proceedings

Azizah Jaafar; Nazlena Mohamad Ali; Shahrul Azman Mohd Noah; Alan F. Smeaton; Peter Bruza; Zainab Abu Bakar; Nursuriati Jamil; Tengku Mohd Tengku Sembok

978-3-319-12844-3

2014
Edition 1
€100
Computer Science - Theory and Applications

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings

Volker Diekert; Mikhail Volkov; Andrei Voronkov

978-3-540-74510-5

2007
Edition 1
€100
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
Advances in Superconductivity X

Proceedings of the 10th International Symposium on Superconductivity (ISS ’97), October 27–30, 1997, Gifu Volume 1–3

Kozo Osamura; Izumi Hirabayashi

978-4-431-66879-4

1998
Edition 1
- Presents the most up-to-date information by the world leading researchers * Covers a broad range of development in superconductivity, from fundamental aspects to applications
€280
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
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
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
Jugend ’92

Lebenslagen, Orientierungen und Entwicklungsperspektiven im vereinigten Deutschland. Band 3: Die neuen Länder: Rückblick und Perspektiven

Jugendwerk der Deutschen Shell

978-3-322-95893-8

1992
Edition 1
€220
Benchmarking, Measuring, and Optimizing

15th BenchCouncil International Symposium, Bench 2023, Sanya, China, December 3–5, 2023, Revised Selected Papers

Sascha Hunold; Biwei Xie; Kai Shu

978-981-97-0316-6

2024
Edition 1
€110
Information Security and Privacy

22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part II

Josef Pieprzyk; Suriadi Suriadi

978-3-319-59870-3

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

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.