License single eBooks

Your results

View Cart

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Roy Dyckhoff

978-3-540-45008-5

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Education and Management

International Symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011, Proceedings, Part IV

Mark Zhou

978-3-642-23062-2

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€180
Game Theory for Networks

11th International EAI Conference, GameNets 2022, Virtual Event, July 7–8, 2022, Proceedings

Fang Fang; Fu Shu

978-3-031-23141-4

2022
Edition 1
€160
Design, Learning, and Innovation

8th EAI International Conference, DLI 2023, Aalborg, Denmark, November 6–7, 2023, Proceedings

Eva Brooks; Anders Kalsgaard Møller; Emma Edstrand

978-3-031-67307-8

2024
Edition 1
€150
Category Theory and Computer Science

6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings

David Pitt; David E. Rydeheard; Peter Johnstone

978-3-540-44661-3

1995
Edition 1
€100
Advances in Databases and Information Systems

13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009, Proceedings

Janis Grundspenkis; Tadeusz Morzy; Gottfried Vossen

978-3-642-03973-7

2009
Edition 1
€100
Micro Total Analysis Systems 2002

Proceedings of the μTAS 2002 Symposium, held in Nara, Japan, 3–7 November 2002 Volume 2

Yoshinobu Baba; Shuichi Shoji; Albert van den Berg

978-94-010-0504-3

2002
Edition 1
€100
Agile Processes in Software Engineering and Extreme Programming – Workshops

XP 2024 Workshops, Bozen-Bolzano, Italy, June 4–7, 2024, Revised Selected Papers

Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybyłek; Ademar Aguiar; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna

978-3-031-72781-8

2025
Edition 1
- This book is open access, which means that you have free and unlimited access
Open Access
The Importance of Chemical “Speciation” in Environmental Processes

Report of the Dahlem Workshop on the Importance of Chemical “Speciation” in Environmental Processes Berlin 1984, September 2–7

M. Bernhard; M. Bernhard; E.A. Jenne; F.E. Brinckman; F.E. Brinckman; D.R. Kester; U. Förstner; P.J. Sadler; W.R. Wolf; K.J. Irgolic; J.M. Wood; E.A. Jenne; W. Mertz; P.J. Sadler; H.J. Tobschall

978-3-642-70441-3

1986
Edition 1
€180
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings

Marc Cavazza; Stéphane Donikian

978-3-540-77039-8

2007
Edition 1
€100
Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo; Doron A. Peled; Leonore D. Zuck

978-3-540-78163-9

2008
Edition 1
€100
The Transfer and Diffusion of Information Technology for Organizational Resilience

IFIP TC8 WG 8.6 International Working Conference, June 7-10, 2006, Galway, Ireland

Brian Donnellan; Tor Larsen; Linda Levine; Janice DeGross

978-0-387-34410-2

2006
Edition 1
- Presents the most current research in IT diffusion for organizational resilience
- Includes supplementary material: sn.pub/extras
€180
Agent Technologies, Infrastructures, Tools, and Applications for E-Services

NODe 2002 Agent-Related Workshop, Erfurt, Germany, October 7-10, 2002, Revised Papers

Ryszard Kowalczyk; Jörg Müller; Huaglory Tianfield; Rainer Unland

978-3-540-36559-4

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Osteologie aktuell VII

7. Jahrestagung der Deutschen Gesellschaft für Osteologie e.V., 26.–28. März 1992 in Erlangen

T. Lange; Hans-Jürgen Pesch; Hartmut Stöß; Benno Kummer

978-3-642-78188-9

1993
Edition 1
€201
Advances in Computational Intelligence Systems

Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK

Plamen Angelov; Alexander Gegov; Chrisina Jayne; Qiang Shen

978-3-319-46562-3

2017
Edition 1
- Reports on cutting-edge research in computational intelligence
- Covers a wide range of application areas
- Give emphasis to novel computational intelligence methods
- Includes supplementary material: sn.pub/extras
€400
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII

International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

Stephen Cranefield; Luis Gustavo Nardin; Nathan Lloyd

978-3-031-82039-7

2025
Edition 1
€110
Text Processing

FIRE 2016 International Workshop, Kolkata, India, December 7–10, 2016, Revised Selected Papers

Prasenjit Majumder; Mandar Mitra; Parth Mehta; Jainisha Sankhavara

978-3-319-73606-8

2018
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Sergei Artemov; Anil Nerode

978-3-319-27683-0

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Enterprise Design, Operations, and Computing

26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3–7, 2022, Proceedings

João Paulo A. Almeida; Dimka Karastoyanova; Giancarlo Guizzardi; Marco Montali; Fabrizio Maria Maggi; Claudenir M. Fonseca

978-3-031-17604-3

2022
Edition 1
€100
Neural Information Processing

20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I

Minho Lee; Akira Hirose; Zeng-Guang Hou; Rhee Man Kil

978-3-642-42054-2

2013
Edition 1
- Up-to-date results
- State-of-the-art research
- Fast-track conference proceedings
€100
International Conference on Neural Computing for Advanced Applications

4th International Conference, NCAA 2023, Hefei, China, July 7–9, 2023, Proceedings, Part I

Haijun Zhang; Yinggen Ke; Zhou Wu; Tianyong Hao; Zhao Zhang; Weizhi Meng; Yuanyuan Mu

978-981-99-5844-3

2023
Edition 1
€180
Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus; Claudio Sacerdoti Coen

978-3-030-75333-7

2021
Edition 1
€100
Metaheuristics

15th International Conference, MIC 2024, Lorient, France, June 4–7, 2024, Proceedings, Part I

Marc Sevaux; Alexandru-Liviu Olteanu; Eduardo G. Pardo; Angelo Sifaleras; Salma Makboul

978-3-031-62912-9

2024
Edition 1
€260
Opioid Peptides and Blood Pressure Control

11th Scientific Meeting of the International Society of Hypertension Satellite Symposium · Bonn · September 6–7, 1986

K.O. Stumpe; Karin Kraft; Alan I. Faden

978-3-642-73429-8

1988
Edition 1
€180
Interactive Collaborative Robotics

5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings

Andrey Ronzhin; Gerhard Rigoll; Roman Meshcheryakov

978-3-030-60337-3

2020
Edition 1
€100
Peer-to-Peer Systems

First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers

Peter Druschel; Frans Kaashoek; Antony Rowstron

978-3-540-45748-0

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Analysis of Verbal and Nonverbal Communication and Enactment.The Processing Issues

COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers

Anna Esposito; Alessandro Vinciarelli; Klara Vicsi; Catherine Pelachaud; Anton Nijholt

978-3-642-25775-9

2011
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Extended Reality

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

Lucio Tommaso De Paolis; Pasquale Arpaia; Marco Sacco

978-3-031-71707-9

2024
Edition 1
€140
Artificial Intelligence Applications and Innovations. AIAI 2020 IFIP WG 12.5 International Workshops

MHDW 2020 and 5G-PINE 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings

Ilias Maglogiannis; Lazaros Iliadis; Elias Pimenidis

978-3-030-49190-1

2020
Edition 1
€100
Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen; Peter Niebert

978-3-540-40903-8

2004
Edition 1
€100
Diagrammatic Representation and Inference

9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Mateja Jamnik; Yuri Uesaka; Stephanie Elzer Schwartz

978-3-319-42333-3

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€130
Implementation of Functional Languages

11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

Pieter Koopman; Chris Clack

978-3-540-44658-3

2000
Edition 1
- Includes supplementary material: sn.pub/extras
€100
E-Business and Telecommunication Networks

Third International Conference, ICETE 2006, Setúbal, Portugal, August 7-10, 2006, Selected Papers

Joaquim Filipe; Mohammad S. Obaidat

978-3-540-70760-8

2008
Edition 1
€160
Recent Trends in Algebraic Development Techniques

12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

Francesco Parisi-Presicce

978-3-540-69719-0

1998
Edition 1
€100
Advances in Multimedia Modeling

19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I

Shipeng Li; Abdulmotaleb El Saddik; Meng Wang; Tao Mei; Nicu Sebe; Shuicheng Yan; Richang Hong; Cathal Gurrin

978-3-642-35725-1

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Applied Computer Sciences in Engineering

7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings

Juan Carlos Figueroa-García; Fabián Steven Garay-Rairán; Germán Jairo Hernández-Pérez; Yesid Díaz-Gutierrez

978-3-030-61834-6

2020
Edition 1
€180
Evolvable Systems: From Biology to Hardware

First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers

Tetsuya Higuchi; Masaya Iwata; Liu Weixin

978-3-540-69204-1

1997
Edition 1
€100
Advances in Bioinformatics and Computational Biology

8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

João C. Setubal; Nalvo F. Almeida

978-3-319-02624-4

2013
Edition 1
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
€100
Turbellarian Biology

Proceedings of the Sixth International Symposium on the Biology of the Turbellaria, held at Hirosaki, Japan, 7–12 August 1990

Seth Tyler

978-94-011-2775-2

1991
Edition 1
€180
Computing Science, Communication and Security

5th International Conference, COMS2 2024, Mehsana, Gujarat, India, February 6–7, 2024, Proceedings

Nirbhay Chaubey; Noor Zaman Jhanjhi; Sabu M. Thampi; Satyen Parikh; Kiran Amin

978-3-031-75170-7

2025
Edition 1
€180
Progress in Mathematical Relativity, Gravitation and Cosmology

Proceedings of the Spanish Relativity Meeting ERE2012, University of Minho, Guimarães, Portugal, September 3-7, 2012

Alfonso García-Parrado; Filipe C. Mena; Filipe Moura; Estelita Vaz

978-3-642-40157-2

2014
Edition 1
- Current research in core area of mathematics and physics
- Major international conferences
- Includes numerical methods in relativity
- Includes supplementary material: sn.pub/extras
€280
From Natural to Artificial Neural Computation

International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7 – 9, 1995 Proceedings

Jose Mira; Francisco Sandoval

978-3-540-49288-7

1995
Edition 1
€100
Applications and Techniques in Information Security

8th International Conference, ATIS 2017, Auckland, New Zealand, July 6–7, 2017, Proceedings

Lynn Batten; Dong Seong Kim; Xuyun Zhang; Gang Li

978-981-10-5421-1

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I

Annalisa Appice; Pedro Pereira Rodrigues; Vítor Santos Costa; Carlos Soares; João Gama; Alípio Jorge

978-3-319-23528-8

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Rocco De Nicola; Davide Sangiorgi

978-3-540-31483-7

2005
Edition 1
€100
Model Driven Architecture - Foundations and Applications

First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Alan Hartman; David Kreische

978-3-540-32093-7

2005
Edition 1
€100
Implementation of Functional Languages

12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers

Markus Mohnen; Pieter Koopman

978-3-540-45361-1

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Applied Demography in the 21st Century

Selected Papers from the Biennial Conference on Applied Demography, San Antonio, Teas, Januara 7-9, 2007

Steve H. Murdock; David A. Swanson

978-1-4020-8329-7

2008
Edition 1
- It is the only current work with examples of applied demography in the 21st century
- Provides one of the only works which examines both the substance and methods of applied demography
- Contains works by many of the most prominent scholars in the area of applied demography as well as practitioners who describe applied demography in use
€280
Aspects of Littorinid Biology

Proceedings of the Fifth International Symposium on Littorinid Biology, held in Cork, Ireland, 7–13 September 1996

Ruth M. O'Riordan; Gavin M. Burnell; Mark S. Davies; Neil F. Ramsay

978-94-011-5336-2

1998
Edition 1
€400
Agreement Technologies

6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marin Lujak

978-3-030-17294-7

2019
Edition 1
€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.