License single eBooks

Your results

View Cart

Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

978-3-642-21691-6

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Advances in Soft Computing - AFSS 2002

2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002. Proceedings

Nikhil R. Pal; Michio Sugeno

978-3-540-45631-5

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€180
User Modeling, Adaptation and Personalization

23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings

Francesco Ricci; Kalina Bontcheva; Owen Conlan; Séamus Lawless

978-3-319-20267-9

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Next Generation Arithmetic

Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers

John Gustafson; Vassil Dimitrov

978-3-031-09779-9

2022
Edition 1
€120
Virtual Reality and Mixed Reality

22nd EuroXR International Conference, EuroXR 2025, Winterthur, Switzerland, September 3–5, 2025, Proceedings

Despina Michael-Grigoriou; Gabriel Zachmann; Regis Kopper; Sang Ho Yoon; Stefanie Zollmann; Patrick Bourdot

978-3-032-03805-0

2026
Edition 1
€130
Dynamics of Natural and Artificial Celestial Bodies

Proceedings of the US/European Celestial Mechanics Workshop, held in Poznań, Poland, 3–7 July 2000

Halina Pretka-Ziomek; Edwin Wnuk; P. Kenneth Seidelmann; David Richardson

978-94-017-1327-6

2001
Edition 1
€280
Global Design and Local Materialization

15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

Jianlong Zhang; Chengyu Sun

978-3-642-38974-0

2013
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Relational and Algebraic Methods in Computer Science

12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings

Harrie de Swart

978-3-642-21070-9

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Computational Science – ICCS 2023

23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V

Jiří Mikyška; Clélia de Mulatier; Maciej Paszynski; Valeria V. Krzhizhanovskaya; Jack J. Dongarra; Peter M.A. Sloot

978-3-031-36030-5

2023
Edition 1
€220
Developments in Language Theory

30th International Conference, DLT 2026, Rouen, France, June 30 – July 3, 2026, Proceedings

Marie-Pierre Béal; Pascal Caron

978-3-032-28404-4

2026
Edition 1
€130

Not published yet

Available from
2026-06-21
E-Commerce and Web Technologies

9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008, Proceedings

Giuseppe Psaila; Roland Wagner

978-3-540-85717-4

2008
Edition 1
€100
Big Data Analytics and Data Science

Proceedings of Eighth International Conference on Information System Design and Intelligent Applications (ISDIA 2024), Volume 3

Vikrant Bhateja; Hong Lin; Milan Simic; Jinshan Tang; Vustikayala Sivakumar Reddy

978-981-97-8666-4

2024
Edition 1
- Presents research papers written by active researchers in the field of intelligent systems
- Discusses the outcomes of ISDIA 2024 held in Dubai, UAE
- Serves as a reference resource for practitioners and researchers in academia and industry
€440
Coding and Cryptology

Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011. Proceedings

Yeow Meng Chee; Zhenbo Guo; San Ling; Fengjing Shao; Yuansheng Tang; Huaxiong Wang; Chaoping Xing

978-3-642-20901-7

2011
Edition 1
- Unique visibility
- Fast-track conference proceedings
- State-of-the-art research
€100
Computer Analysis of Images and Patterns

18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I

Mario Vento; Gennaro Percannella

978-3-030-29888-3

2019
Edition 1
€150
Algorithms – ESA 2005

13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings

Gerth S. Brodal; Stefano Leonardi

978-3-540-31951-1

2005
Edition 1
€180
Software Engineering Approaches for Offshore and Outsourced Development

Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers

Kay Berkling; Mathai Joseph; Bertrand Meyer; Martin Nordio

978-3-642-01856-5

2009
Edition 1
€100
Human Brain and Artificial Intelligence

4th International Workshop, HBAI 2024, Jeju Island, South Korea, August 3, 2024, Proceedings

Quanying Liu; Youzhi Qu; Haiyan Wu; Yu Qi; An Zeng; Dan Pan

978-981-96-4001-0

2025
Edition 1
€180
Software Product-Family Engineering

4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers

Frank van der Linden

978-3-540-47833-1

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Artificial Intelligence and Soft Computing

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

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

978-3-319-91253-0

2018
Edition 1
€180
Intelligent Information and Database Systems

9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I

Ngoc Thanh Nguyen; Satoshi Tojo; Le Minh Nguyen; Bogdan Trawiński

978-3-319-54472-4

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Applied Technologies

First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part I

Miguel Botto-Tobar; Marcelo Zambrano Vizuete; Pablo Torres-Carrión; Sergio Montes León; Guillermo Pizarro Vásquez; Benjamin Durakovic

978-3-030-42517-3

2020
Edition 1
€100
Towards Autonomous Robotic Systems

20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part I

Kaspar Althoefer; Jelizaveta Konstantinova; Ketao Zhang

978-3-030-23807-0

2019
Edition 1
€100
Intelligent Computing Theories and Application

15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part I

De-Shuang Huang; Vitoantonio Bevilacqua; Prashan Premaratne

978-3-030-26763-6

2019
Edition 1
€100
Human Mental Workload: Models and Applications

4th International Symposium, H-WORKLOAD 2020, Granada, Spain, December 3–5, 2020, Proceedings

Luca Longo; Maria Chiara Leva

978-3-030-62302-9

2020
Edition 1
€100
Singularities in Boundary Value Problems

Proceedings of the NATO Advanced Study Institute held at Maratea, Italy, September 22 – October 3, 1980

H.G. Garnir

978-94-009-8434-9

1981
Edition 1
€400
Electronic Government

Third International Conference, EGOV 2004, Zaragoza, Spain, August 30-September 3, 2004, Proceedings

Roland Traunmüller

978-3-540-30078-6

2004
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Text, Speech and Dialogue

15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012, Proceedings

Petr Sojka; Aleš Horak; Ivan Kopecek; Karel Pala

978-3-642-32790-2

2012
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Computer Performance Evaluation: Modelling Techniques and Tools

Modelling Techniques and Tools. 7th International Conference, Vienna, Austria, May 3 - 6, 1994. Proceedings

Günter Haring; Gabriele Kotsis

978-3-540-48416-5

1994
Edition 1
€100
Ambient Assisted Living and Home Care

4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings

Jose Bravo; Ramón Hervás; Marcela Rodriguez

978-3-642-35395-6

2012
Edition 1
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
€100
Business Process Management

13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings

Hamid Reza Motahari-Nezhad; Jan Recker; Matthias Weidlich

978-3-319-23063-4

2015
Edition 1
€100
Fundamentals of Computation Theory

12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings

Gabriel Ciobanu; Gheorghe Paun

978-3-540-48321-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€180
Advances in Quantitative Ethnography

Second International Conference, ICQE 2020, Malibu, CA, USA, February 1-3, 2021, Proceedings

Andrew R. Ruis; Seung B. Lee

978-3-030-67788-6

2021
Edition 1
€100
Progress in Cryptology - AFRICACRYPT 2010

Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings

Daniel J. Bernstein; Tanja Lange

978-3-642-12678-9

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€100
Pattern Recognition and Artificial Intelligence

Third International Conference, ICPRAI 2022, Paris, France, June 1–3, 2022, Proceedings, Part I

Mounîm El Yacoubi; Eric Granger; Pong Chi Yuen; Umapada Pal; Nicole Vincent

978-3-031-09037-0

2022
Edition 1
€300
SPDE in Hydrodynamics: Recent Progress and Prospects

Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, August 29 - September 3, 2005

Sergio Albeverio; Giuseppe Da Prato; Franco Flandoli; Michael Röckner; Yakov G. Sinai

978-3-540-78493-7

2008
Edition 1
- Includes supplementary material: sn.pub/extras
€66
User Interface Management Systems

Proceedings of the Workshop on User Interface Management Systems held in Seeheim, FRG, November 1–3, 1983

Günther E. Pfaff

978-3-642-70041-5

1985
Edition 1
€180
Spectroscopy of Biological Molecules

6th European Conference on the Spectroscopy of Biological Molecules, 3–8 September 1995, Villeneuve d’Ascq, France

Jean Claude Merlin; Sylvia Turrell; Jean Pierre Huvenne

978-94-011-0371-8

1995
Edition 1
€400
Vom Wert der Natur

Zur ökologischen Reform von Wirtschaft und Gesellschaft. Natur in der ökonomischen Theorie Teil 3

Hans Immler

978-3-322-94170-1

1989
Edition 2
€404
Graph Structures for Knowledge Representation and Reasoning

Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Madalina Croitoru; Sebastian Rudolph; Stefan Woltran; Christophe Gonzales

978-3-319-04534-4

2014
Edition 1
€100
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Leonel Sousa; Nuno Roma; Pedro Tomás

978-3-030-85665-6

2021
Edition 1
€220
Developments in Language Theory

13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings

Volker Diekert; Dirk Nowotka

978-3-642-02737-6

2009
Edition 1
€100
Complex Analysis - Fifth Romanian-Finnish Seminar. Proceedings of the Seminar Held in Bucharest, June 28 - July 3, 1981

Part 1

C. Andreian Cazacu; N. Boboc; M. Jurchescu; I. Suciu

978-3-540-38671-1

1983
Edition 1
€69
Proceedings of the 4th International Conference on Biomass Utilization and Sustainable Energy; ICoBiomasSE 2024; 2–3 September; Penang, Malaysia

Sustainability Through Net Zero Emissions, Circular Economy, and Academia-Industry Collaboration

Hui Lin Ong; Siti Jamilah Hanim Mohd Yusof; Noor Hasyierah Mohd Salleh; Khairul Farihan Kasim; Noor Shazliana Aizee Abidin

978-981-96-3785-0

2025
Edition 1
- Presents peer-reviewed articles from the 4th International Conference on Biomass Utilization and Sustainable Energy 2024
- Highlights the concepts of circular economy in the field of biomass innovation towards sustainable development
- Provides a platform for professionals, researchers, and policy makers in these areas to solve environmental issues
€559
Kardioprotektion durch Aktivierung des mitochondrialen Signal Transducer and Activator of Transcription 3 nach ischämischer Postkonditionierung im Schwein

Nilgün Gedik

978-3-658-10661-4

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€126
Proceedings of the 32nd International Conference on Nuclear Engineering—Volume 3; ICONE 2025, 22-26 June, Weihai, China

Nuclear Fuel and Materials, Transportation and Fuel Cycle, and Reactor Physics I

Sichao Tan; Weiqiang Xu; Yanyan Zhu

978-981-95-2628-4

2026
Edition 1
- Provides latest advancements in nuclear fuel and materials, transportation and fuel cycle
- Presents up-to-date progresses on reactor physics
- Summarizes findings and achievements by leading research groups and professionals
€459
Teil 1 Konflikte in der Triade Teil 2 Spielregeln in der Psychotherapie Teil 3 Weiterbildungsforschung und Evaluation

B. Boothe; Peter Buchheim; B. Diepold; Manfred Cierpka; J. Cremerius; Theodor Seifert; E. Effer; M. Ermann; P. Hahn; R. Johnen; L. Köhler; K. König; H. Lang; C. Leggewie; W. Lutz; G. Rudolf; C. Sies; H. Strupp; U. Streeck; R. Welter-Enderlin; U. Wirtz; D. Zimmer

978-3-642-95727-7

1995
Edition 1
€201
Complex Analysis - Fifth Romanian-Finnish Seminar. Proceedings of the Seminar Held in Bucharest, June 28 - July 3, 1981

Part 2

C. Andreian Cazacu; N. Boboc; M. Jurchescu; I. Suciu

978-3-540-38672-8

1983
Edition 1
€69
Neural Information Processing

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

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

978-3-642-42042-9

2013
Edition 1
- Up-to-date results
- State-of-the-art research
- Fast-track conference proceedings
€100
Pattern Recognition and Image Analysis

12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 – July 3, 2025, Proceedings, Part I

Nuno Gonçalves; Hélder P. Oliveira; Joan Andreu Sánchez

978-3-031-99565-1

2026
Edition 1
€280
Information Security and Cryptology

11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers

Dongdai Lin; XiaoFeng Wang; Moti Yung

978-3-319-38898-4

2016
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.