License single eBooks

Your results

View Cart

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

978-3-540-48257-4

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
High-Speed Electronics

Basic Physical Phenomena and Device Principles Proceedings of the International Conference, Stockholm, Sweden, August 7–9, 1986

Bengt Källbäck; Heinz Beneking

978-3-642-82979-6

1986
Edition 1
€180
Web, Web-Services, and Database Systems

NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers

Akmal Chaudhri; Mario Jeckle; Erhard Rahm; Rainer Unland

978-3-540-36560-0

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Smart Card Research and Advanced Applications

13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers

Marc Joye; Amir Moradi

978-3-319-16763-3

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€94
Mobile Information Systems II

IFIP Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005

John Krogstie; Karlheinz Kautz; David Allen

978-0-387-31166-1

2005
Edition 1
- Presents the most current research on and analysis of mobile information systems
- Includes supplementary material: sn.pub/extras
€180
Computer Vision – ECCV 2012

12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012. Proceedings, Part VI

Andrew Fitzgibbon; Svetlana Lazebnik; Pietro Perona; Yoichi Sato; Cordelia Schmid

978-3-642-33783-3

2012
Edition 1
- Up to date results
- State of the art research
- Fast track conference proceedings
€180
Knowledge Management in Organisations

19th International Conference, KMO 2025, Kota Kinabalu, Malaysia, August 4–7, 2025, Proceedings, Part I

Lorna Uden; I-Hsien Ting

978-3-031-95898-4

2025
Edition 1
€180
Software Technologies

15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers

Marten van Sinderen; Leszek A. Maciaszek; Hans-Georg Fill

978-3-030-83007-6

2021
Edition 1
€100
Wireless and Satellite Systems

7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers

Prashant Pillai; Yim Fun Hu; Ifiok Otung; Giovanni Giambene

978-3-319-25479-1

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Computational Intelligence Methods for Bioinformatics and Biostatistics

14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Massimo Bartoletti; Annalisa Barla; Andrea Bracciali; Gunnar W. Klau; Leif Peterson; Alberto Policriti; Roberto Tagliaferri

978-3-030-14160-8

2019
Edition 1
€100
Languages and Compilers for Parallel Computing

11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings

Siddharta Chatterjee; Jan F. Prins; Larry Carter; Jeanne Ferrante; Zhiyuan L. Li; David Sehr; Pen-Chung Yew

978-3-540-48319-9

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Internet of Things

Third International Conference, ICIoT 2022, Chennai, India, April 5–7, 2022, Revised Selected Papers

Revathi Venkataraman; Annie Uthra; Vijayan Sugumaran; R. I. Minu; Pethuru Raj Chelliah

978-3-031-28475-5

2023
Edition 1
€130
Advances in Enterprise Engineering VI

Second Enterprise Engineering Working Conference, EEWC 2012, Delft, The Netherlands, May 7-8, 2012, Proceedings

Antonia Albani; David Aveiro; Joseph Barjis

978-3-642-29903-2

2012
Edition 1
- Fast track proceedings
€100
Object Representation in Computer Vision

International NSF-ARPA Workshop, New York City, NY, USA, December 5 - 7, 1994. Proceedings

Martial Hebert; Jean Ponce; Terry Boult; Ari Gross

978-3-540-47526-2

1995
Edition 1
€100
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Shuvendu K. Lahiri; Chao Wang

978-3-030-01090-4

2018
Edition 1
€100
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage

4th International Conference, TMM_CH 2025, Athens, Greece, April 7–9, 2025, Revised Selected Papers

Antonia Moropoulou; Andreas Georgopoulos; Marinos Ioannides; Anastasios Doulamis; Kyriakos Lampropoulos; Alfredo Ronchi

978-3-032-15069-1

2026
Edition 1
€170
Rough Sets

International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016, Proceedings

Víctor Flores; Fernando Gomide; Andrzej Janusz; Claudio Meneses; Duoqian Miao; Georg Peters; Dominik Ślęzak; Guoyin Wang; Richard Weber; Yiyu Yao

978-3-319-47160-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Extended Reality

International Conference, XR Salento 2024, Lecce, Italy, September 4–7, 2024, Proceedings, Part III

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71710-9

2024
Edition 1
€280
Artificial Intelligence and Soft Computing

17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

Leszek Rutkowski; Rafał Scherer; Marcin Korytkowski; Witold Pedrycz; Ryszard Tadeusiewicz; Jacek M. Zurada

978-3-319-91262-2

2018
Edition 1
€180
PRICAI 2006: Trends in Artificial Intelligence

9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings

Quiang Yang; Geoff Webb

978-3-540-36668-3

2006
Edition 1
€320
Machines, Computations, and Universality

10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers

Enrico Formenti; Jérôme Durand-Lose

978-3-031-81202-6

2025
Edition 1
€110
Collaboration Technologies and Social Computing

10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

Hironori Egi; Takaya Yuizono; Nelson Baloian; Takashi Yoshino; Satoshi Ichimura; Armanda Rodrigues

978-3-319-98743-9

2018
Edition 1
€100
Artificial Neural Networks and Machine Learning – ICANN 2018

27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I

Věra Kůrková; Yannis Manolopoulos; Barbara Hammer; Lazaros Iliadis; Ilias Maglogiannis

978-3-030-01418-6

2018
Edition 1
€100
Databases Theory and Applications

26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings

Mohamed A. Sharaf; Muhammad Aamir Cheema; Jianzhong Qi

978-3-319-19548-3

2015
Edition 1
€100
Electrical Processes in Atmospheres

Proceedings of the Fifth International Conference on Atmospheric Electricity held at Garmisch-Partenkirchen (Germany), 2–7 September 1974

H. Dolezalek; R. Reiter

978-3-642-85294-7

1976
Edition 1
€180
Middleware 2012

ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings

Priya Narasimhan; Peter Triantafillou

978-3-642-35170-9

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Innovative Technologies and Learning

8th International Conference, ICITL 2025, Oslo, Norway, August 5–7, 2025, Proceedings, Part II

Wei-Sheng Wang; Frode Eika Sandnes; Chin-Feng Lai; Tengel Aas Sandtrø; Yueh-Min Huang

978-3-031-98197-5

2026
Edition 1
€280
The Semantic Web

Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings

Jeff Z. Pan; Huajun Chen; Hong-Gee Kim; Juanzi Li; Zhe Wu; Ian Horrocks; Riichiro Mizoguchi; Zhaohui Wu

978-3-642-29923-0

2012
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100
Computational Collective Intelligence

10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

Ngoc Thanh Nguyen; Elias Pimenidis; Zaheer Khan; Bogdan Trawiński

978-3-319-98446-9

2018
Edition 1
€100
ENTERprise Information Systems

International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part II

Maria Manuela Cruz-Cunha; Joao Varajao; Philip Powell; Ricardo Martinho

978-3-642-24355-4

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Foundations and Practice of Security

14th International Symposium, FPS 2021, Paris, France, December 7–10, 2021, Revised Selected Papers

Esma Aïmeur; Maryline Laurent; Reda Yaich; Benoît Dupont; Joaquin Garcia-Alfaro

978-3-031-08147-7

2022
Edition 1
€120
Ubiquitous Mobile Information and Collaboration Systems

Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers

Luciano Baresi; Schahram Dustdar; Harald Gall; Maristella Matera

978-3-540-30188-2

2005
Edition 1
€100
Fuzzy Logic and Applications

12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

Robert Fullér; Silvio Giove; Francesco Masulli

978-3-030-12544-8

2019
Edition 1
€100
Theory of Cryptography

20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I

Eike Kiltz; Vinod Vaikuntanathan

978-3-031-22318-1

2022
Edition 1
€200
Computer Security - ESORICS 94

Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings

Dieter Gollmann

978-3-540-49034-0

1994
Edition 1
€100
Monte Carlo Search

First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings

Tristan Cazenave; Olivier Teytaud; Mark H. M. Winands

978-3-030-89453-5

2021
Edition 1
€130
Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities

14th International Conference, NooJ 2020, Zagreb, Croatia, June 5–7, 2020, Revised Selected Papers

Božo Bekavac; Kristina Kocijan; Max Silberztein; Krešimir Šojat

978-3-030-70629-6

2021
Edition 1
€100
Automatisieren mit SPS Übersichten und Übungsaufgaben

Von Grundverknüpfungen bis Ablaufsteuerungen: STEP 7-Programmierung, Lösungsmethoden, Lernaufgaben, Kontrollaufgaben, Lösungen, Beispiele zur Anlagensimulation

Günter Wellenreuther; Dieter Zastrow

978-3-8348-9210-2

2007
Edition 3
- Projektorientierte Lernaufgaben und Kontrollaufgaben zur Prüfungsvorbereitung in einem Buch
€206
Emerging Technologies for Developing Countries

5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings

Muthoni Masinde; Antoine Bagula

978-3-031-35883-8

2023
Edition 1
€140
Experimental Algorithms

10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings

Panos M. Pardalos; Steffen Rebennack

978-3-642-20662-7

2011
Edition 1
- up-to-date results
- fast track conference proceedings
- state-of-the art report
€100
Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

James L. Rash; Christopher A. Rouff; Walter Truszkowski; Diana Gordon; Michael G. Hinchey

978-3-540-45484-7

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Cellular Automata: Research Towards Industry

ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

Roberto Serra; Furio Suggi Liverani

978-1-4471-1281-5

1998
Edition 1
€180
Cellular Automata and Discrete Complex Systems

20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers

Teijiro Isokawa; Katsunobu Imai; Nobuyuki Matsui; Ferdinand Peper; Hiroshi Umeo

978-3-319-18812-6

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Coherence and Quantum Optics VII

Proceedings of the Seventh Rochester Conference on Coherence and Quantum Optics, held at the University of Rochester, June 7–10, 1995

J.H. Eberly; L. Mandel; E. Wolf

978-1-4757-9742-8

1996
Edition 1
€400
Emerging Technology Trends in Electronics, Communication and Networking

Third International Conference, ET2ECN 2020, Surat, India, February 7–8, 2020, Revised Selected Papers

Shilpi Gupta; Jignesh N. Sarvaiya

978-981-15-7219-7

2020
Edition 1
€100
Neural Computing for Advanced Applications

5th International Conference, NCAA 2024, Guilin, China, July 5–7, 2024, Proceedings, Part III

Haijun Zhang; Xianxian Li; Tianyong Hao; Weizhi Meng; Zhou Wu; Qian He

978-981-97-7007-6

2025
Edition 1
€180
The Semantic Web: Research and Applications

4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings

Enrico Franconi; Michael Kifer; Wolfgang May

978-3-540-72667-8

2007
Edition 1
€180
Trust Management VIII

8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014, Proceedings

Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes

978-3-662-43813-8

2014
Edition 1
€100
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies

First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

Bo Chen; Mike Paterson; Guochuan Zhang

978-3-540-74450-4

2007
Edition 1
€100
Variable Neighborhood Search

6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers

Angelo Sifaleras; Said Salhi; Jack Brimberg

978-3-030-15843-9

2019
Edition 1
€130

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.