License single eBooks

Your results

View Cart

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

David Till

978-1-4471-3240-0

1994
Edition 1
€100
Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Sujata Ghosh; Sanjiva Prasad

978-3-662-54069-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Approximation and Online Algorithms

21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings

Jarosław Byrka; Andreas Wiese

978-3-031-49815-2

2023
Edition 1
€130
Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Eerke Boiten; John Derrick; Graeme Smith

978-3-540-24756-2

2004
Edition 1
€100
Relational and Algebraic Methods in Computer Science

22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings

Uli Fahrenberg; Wesley Fussner; Luigi Santocanale

978-3-032-22469-9

2026
Edition 1
€160
Distributed Computing

29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses

978-3-662-48653-5

2015
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Knowledge Graph and Semantic Computing: Knowledge Graph Empowers New Infrastructure Construction

6th China Conference, CCKS 2021, Guangzhou, China, November 4-7, 2021, Proceedings

Bing Qin; Zhi Jin; Haofen Wang; Jeff Pan; Yongbin Liu; Bo An

978-981-16-6471-7

2021
Edition 1
€160
Computer Performance Engineering

14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Philipp Reinecke; Antinisca Di Marco

978-3-319-66583-2

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Evolutionary Computation in Combinatorial Optimization

10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings

Peter I. Cowling; Peter Merz

978-3-642-12139-5

2010
Edition 1
- Fast track conference proceeding
- Unique visibility
- State of the art research
€100
Functional Imaging and Modeling of the Heart

4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007

Frank B. Sachse; Gunnar Seemann

978-3-540-72907-5

2007
Edition 1
€100
Conceptual Modeling - ER 2002

21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings

Stefano Spaccapietra; Salvatore March; Yahiko Kambayashi

978-3-540-45816-6

2003
Edition 1
- Includes supplementary material: sn.pub/extras
€100
COTS-Based Software Systems

4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings

Xavier Franch; Dan Port

978-3-540-30587-3

2005
Edition 1
€100
Computational Science – ICCS 2025

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II

Michael H. Lees; Wentong Cai; Siew Ann Cheong; Yi Su; David Abramson; Jack J. Dongarra; Peter M. A. Sloot

978-3-031-97629-2

2025
Edition 1
€180
Computer Safety, Reliability and Security

17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

Wolfgang Ehrenberger

978-3-540-49646-5

1998
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Acanthaster and the Coral Reef: A Theoretical Perspective

Proceedings of a Workshop held at the Australian Institute of Marine Science, Townsville, Aug. 6–7, 1988

Roger H. Bradbury

978-3-642-46726-4

1990
Edition 1
€100
Embedded Computer Systems: Architectures, Modeling, and Simulation

19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

Dionisios N. Pnevmatikatos; Maxime Pelcat; Matthias Jung

978-3-030-27562-4

2019
Edition 1
€100
Trends and Applications in Knowledge Discovery and Data Mining

PAKDD 2024 Workshops, RAFDA and IWTA, Taipei, Taiwan, May 7–10, 2024, Proceedings

Zhaoxia Wang; Chang Wei Tan

978-981-97-2650-9

2024
Edition 1
€240
Games and Learning Alliance

7th International Conference, GALA 2018, Palermo, Italy, December 5–7, 2018, Proceedings

Manuel Gentile; Mario Allegra; Heinrich Söbke

978-3-030-11548-7

2019
Edition 1
€100
Hybrid Artificial Intelligent Systems

17th International Conference, HAIS 2022, Salamanca, Spain, September 5–7, 2022, Proceedings

Pablo García Bringas; Hilde Pérez García; Francisco Javier Martínez de Pisón; José Ramón Villar Flecha; Alicia Troncoso Lora; Enrique A. de la Cal; Álvaro Herrero; Francisco Martínez Álvarez; Giuseppe Psaila; Héctor Quintián; Emilio Corchado

978-3-031-15471-3

2022
Edition 1
€100
Web and Internet Economics

16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings

Xujin Chen; Nikolai Gravin; Martin Hoefer; Ruta Mehta

978-3-030-64946-3

2020
Edition 1
€100
Games and Learning Alliance

6th International Conference, GALA 2017, Lisbon, Portugal, December 5–7, 2017, Proceedings

João Dias; Pedro A. Santos; Remco C. Veltkamp

978-3-319-71940-5

2017
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection

18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings

Yves Demazeau; Tom Holvoet; Juan M. Corchado; Stefania Costantini

978-3-030-49778-1

2020
Edition 1
€100
Applied Algorithms

Third International Conference, ICAA 2026, Kolkata, India, January 7–9, 2026, Proceedings

Christos Zaroliagis; Dinabandhu Bhandari; Prosenjit Gupta; Swagatam Das

978-3-032-15621-1

2026
Edition 1
€146
Bioinformatics Research and Development

Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings

Mourad Elloumi; Josef Küng; Michal Linial; Robert Murphy; Kristan Schneider; Cristian Toma

978-3-540-70600-7

2008
Edition 1
€160
Security, Privacy, and Applied Cryptography Engineering

9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Shivam Bhasin; Avi Mendelson; Mridul Nandi

978-3-030-35869-3

2019
Edition 1
€100
SDL 2011: Integrating System and Software Modeling

15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Iulian Ober; Ileana Ober

978-3-642-25264-8

2012
Edition 1
- Up to date results
- Fast track conference proceedings
- State of the art research
€100
Experimental Algorithms

12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings

Vincenzo Bonifaci; Camil Demetrescu; Alberto Marchetti-Spaccamela

978-3-642-38527-8

2013
Edition 1
- Fast track conference proceedings
- Unique visibility
- State of the art research
€100
Cyberspace Safety and Security

15th International Symposium, CSS 2025, Hangzhou, China, July 4–7, 2025, Proceedings

Yang Xiang; Jian Shen

978-981-95-3551-4

2026
Edition 1
€146
Ant Colony Optimization and Swarm Intelligence

5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings

Marco Dorigo; Luca Maria Gambardella; Mauro Birattari; Alcherio Martinoli; Riccardo Poli; Thomas Stützle

978-3-540-38483-0

2006
Edition 1
€180
Algorithmic Game Theory

16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings

Argyrios Deligkas; Aris Filos-Ratsikas

978-3-031-43254-5

2023
Edition 1
€160
Groupes de Monodromie en Géométrie Algébrique

Séminaire de Géométrie Algébrique du Bois-Marie 1967-1969 (SGA 7 II)

Pierre Deligne; Nicholas Michael Katz

978-3-540-37764-1

1973
Edition 1
€69
Atomic Physics 3

Proceedings of the Third International Conference on Atomic Physics, August 7–11, 1972, Boulder, Colorado

Stephen Smith

978-1-4684-2961-9

1973
Edition 1
€100
Algorithmic Number Theory

5th International Symposium, ANTS-V, Sydney, Australia, July 7-12, 2002. Proceedings

Claus Fieker; David R. Kohel

978-3-540-45455-7

2002
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Emanuele De Angelis; Wim Vanhoof

978-3-030-98869-2

2022
Edition 1
€110
Advanced Information Systems Engineering

22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings

Barbara Pernici

978-3-642-13094-6

2010
Edition 1
€180
Knowledge Science, Engineering and Management

9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings

Franz Lehner; Nora Fteimi

978-3-319-47650-6

2016
Edition 1
- Includes supplementary material: sn.pub/extras
€100
Distributed Algorithms

5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings

Sam Toueg; Paul G. Spirakis; Lefteris Kirousis

978-3-540-46789-2

1992
Edition 1
€100
Detection of Intrusions and Malware, and Vulnerability Assessment

8th International Conference, DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011, Proceedings

Thorsten Holz; Herbert Bos

978-3-642-22424-9

2011
Edition 1
- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
€100
Security and Privacy in Communication Networks

6th International ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, Proceedings

Sushil Jajodia; Jianying Zhou

978-3-642-16161-2

2010
Edition 1
- Up to date results
- Fast conference proceedings
- State-of-the-art report
€180
Frontiers in Handwriting Recognition

18th International Conference, ICFHR 2022, Hyderabad, India, December 4–7, 2022, Proceedings

Utkarsh Porwal; Alicia Fornés; Faisal Shafait

978-3-031-21648-0

2022
Edition 1
€180
Database and Expert Systems Applications

5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings

Dimitris Karagiannis

978-3-540-48796-8

1994
Edition 1
€180
Modelling and Optimization of Complex System

Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3–9 July, 1978

G.I. Marchuk

978-3-540-34781-1

1979
Edition 1
€100
Information Systems Evolution

CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010, Selected Extended Papers

Pnina Soffer; Erik Proper

978-3-642-17722-4

2011
Edition 1
- Up to date results in information systems evolution
€100
Persuasive Technology

20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, Proceedings

Khin Than Win; Raian Ali; Evangelos Karapanos; George A. Papadopoulos; Kiemute Oyibo; Elena Vlahu-Gjorgievska

978-3-031-94959-3

2025
Edition 1
€150
Artificial Intelligence in Education

24th International Conference, AIED 2023, Tokyo, Japan, July 3–7, 2023, Proceedings

Ning Wang; Genaro Rebolledo-Mendez; Noboru Matsuda; Olga C. Santos; Vania Dimitrova

978-3-031-36272-9

2023
Edition 1
€240
Mathematical Optimization Theory and Operations Research

24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7–11, 2025, Proceedings

Yury Kochetov; Michael Khachay; Anton Eremeev; Panos Pardalos

978-3-031-97077-1

2025
Edition 1
€160
Digital Information Processing and Communications

International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011. Proceedings

Vaclav Snasael; Jan Platos; Eyas El-Qawasmeh

978-3-642-22389-1

2011
Edition 1
€180
Parallel and Distributed Computing, Applications and Technologies

23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings

Hiroyuki Takizawa; Hong Shen; Toshihiro Hanawa; Jong Hyuk Park; Hui Tian; Ryusuke Egawa

978-3-031-29927-8

2023
Edition 1
€160
Ubiquitous Intelligence and Computing

6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings

Daqing Zhang; Marius Portmann; Ah-Hwee Tan; Jadwiga Indulska

978-3-642-02830-4

2009
Edition 1
€100
Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Harald Ganzinger

978-3-540-48660-2

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