License single eBooks

Your results

View Cart

Testing Techniques in Software Engineering

Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcook

978-3-642-14335-9

2010
Edition 1
- The book gives an detailed tutorial introduction to the scientific basis of testing
- This book is the outcome of Pernambuco Summer School on Software Engineering (PSSE) 2007, devoted to the study of computer science and to the promotion of international scientific collaboration
- includes state of the art contributions from invited lecturers
€419 €377
10% OFF
Residual Stress and Its Effects on Fatigue and Fracture

Proceedings of a Special Symposium held within the 16th European Conference of Fracture - ECF16, Alexandroupolis, Greece, 3-7 July, 2006

Anastasius Youtsos

978-1-4020-5329-0

2006
Edition 1
- Effects of residual stress on fatigue and fracture is an open key problem for structural integrity
- Contains recent advances on its title topics by leading European experts
- Contains theoretical/numerical studies of high value backed by sound experimental data
- Contains experimental studies based on novel and verifiable testing methods
€180 €162
10% OFF
Inorganic and Nutritional Aspects of Cancer

Proceedings of the First Conference of the International Association of Bioinorganic Scientists, Inc. held in La Jolla, California, January 3–5, 1977

G. Schrauzer

978-1-4684-0796-9

1978
Edition 1
€180 €162
10% OFF
Theory and Engineering of Complex Systems and Dependability

Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland

Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk

978-3-319-19216-1

2015
Edition 1
- Recent research in Complex Systems and Dependability
- Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 29 – July 3, 2015, Brunów, Poland
- Presents general aspects and dependability of systems, networks theory and communication technology
€280 €252
10% OFF
Quality, Reliability, Security and Robustness in Heterogeneous Systems

14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings

Trung Q. Duong; Nguyen-Son Vo; Van Ca Phan

978-3-030-14413-5

2019
Edition 1
€80 €72
10% OFF
Computer Vision and Image Processing

6th International Conference, CVIP 2021, Rupnagar, India, December 3–5, 2021, Revised Selected Papers, Part II

Balasubramanian Raman; Subrahmanyam Murala; Ananda Chowdhury; Abhinav Dhall; Puneet Goyal

978-3-031-11349-9

2022
Edition 1
€200 €180
10% OFF
Artificial Intelligence in Education

27th International Conference, AIED 2026, Seoul, South Korea, June 27–July 3, 2026, Proceedings, Part VI

Emmanuel G. Blanchard; Guanliang Chen; Min Chi; Seiji Isotani

978-3-032-29773-0

2027
Edition 1
€180 €162
10% OFF
Recent Developments in Micromechanics

Proceedings of the Mini-Symposium on Micromechanics at the CSME Mechanical Engineering Forum 1990 June 3–9, 1990, University of Toronto, Canada

D.R. Axelrad; Wolfgang Muschik

978-3-642-84332-7

1991
Edition 1
€180 €162
10% OFF
Recent Advances in Reinforcement Learning

8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers

Sertan Girgin; Manuel Loth; Rémi Munos; Philippe Preux; Daniil Ryabko

978-3-540-89722-4

2008
Edition 1
€100 €90
10% OFF
Integral Geometry, Radon Transforms and Complex Analysis

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Venice, Italy, June 3-12, 1996

Carlos A. Berenstein; Enrico Casadio Tarabusi; Peter F. Ebenfelt; Massimo A. Picardello; Simon Gindikin; Giuseppe Zampieri; Sigurdur Helgason; Alexander Tumanov

978-3-540-69702-2

1998
Edition 1
€66 €59
10% OFF
Swarm and Evolutionary computation

International Symposium, SIDE 2012, held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012, Proceedings

Leszek Rutkowski; Marcin Korytkowski; Rafał Scherer; Ryszard Tadeusiewicz; Lotfi Zadeh; Jacek Zurada

978-3-642-29353-5

2012
Edition 1
- Fast-track conference proceedings State-of-the-art research Up-to-date results
€100 €90
10% OFF
Developments in Applied Spectroscopy

Volume 3: Proceedings of the Fourteenth Annual Mid-America Spectroscopy Symposium Held in Chicago, Illinois, May 20–23, 1963

J. E. Forrette; E. Lanterman

978-1-4684-8688-9

1964
Edition 1
€100 €90
10% OFF
Bürokommunikation / Office Communications

Ein Beitrag zur Produktivitätssteigerung / Key to Improved Productivity. Vorträge des am 3./4. Mai 1983 in München abgehaltenen Kongresses

E. Witte

978-3-642-82062-5

1984
Edition 1
€201 €181
10% OFF
Computational Biology

First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers

Olivier Gascuel; Marie-France Sagot

978-3-540-45727-5

2001
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Computational Linguistics and Intelligent Text Processing

17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part II

Alexander Gelbukh

978-3-319-75487-1

2018
Edition 1
€180 €162
10% OFF
Ausbildung in der Medizinischen Informatik

Vorträge und Diskussionen anläßlich einer Fachtagung des FA 14 der GI in Berlin am 3. – 4. März 1982

P. L. Reichertz; P. Koeppe

978-3-662-05929-6

1982
Edition 1
€201 €181
10% OFF
Gene Expression and its Regulation

Proceedings of the Eleventh International Latin American Symposium, held at the University of La Plata, Argentina, November 28–December 3, 1971

F. Kenney

978-1-4684-0877-5

1973
Edition 1
€100 €90
10% OFF
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part IV

Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Helen Petrie; Antonio Piccinno; Giuseppe Desolda; Kori Inkpen

978-3-030-85610-6

2021
Edition 1
€220 €198
10% OFF
Computer Vision and Image Processing

8th International Conference, CVIP 2023, Jammu, India, November 3–5, 2023, Revised Selected Papers, Part III

Harkeerat Kaur; Vinit Jakhetiya; Puneet Goyal; Pritee Khanna; Balasubramanian Raman; Sanjeev Kumar

978-3-031-58535-7

2024
Edition 1
€180 €162
10% OFF
Semantic Multimedia

Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings

David Duke; Lynda Hardman; Alexander G. Hauptmann; Dietrich Paulus; Steffen Staab

978-3-540-92235-3

2008
Edition 1
€100 €90
10% OFF
Computer Science and Educational Informatization

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

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

978-981-96-3738-6

2025
Edition 1
€160 €144
10% OFF
Operations Research Proceedings 2008

Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) University of Augsburg, September 3-5, 2008

Bernhard Fleischmann; Karl-Heinz Borgwardt; Robert Klein; Axel Tuma

978-3-642-00142-0

2009
Edition 1
- Includes supplementary material: sn.pub/extras
€400 €360
10% OFF
Enterprise and Organizational Modeling and Simulation

15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

Robert Pergl; Eduard Babkin; Russell Lock; Pavel Malyzhenkov; Vojtěch Merunka

978-3-030-35646-0

2019
Edition 1
€100 €90
10% OFF
Approaches to Intelligent Agents

Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings

Hideyuki Nakashima; Chengqi Zhang

978-3-540-46693-2

1999
Edition 1
- Includes supplementary material: sn.pub/extras
€100 €90
10% OFF
Aromatic Hydroxyketones: Preparation and Physical Properties

Vol.1: Hydroxybenzophenones Vol.2: Hydroxyacetophenones I Vol.3: Hydroxyacetophenones II Vol.4: Hydroxypropiophenones, Hydroxyisobutyrophenones, Hydroxypivalophenones and Derivatives

Robert Martin

978-1-4020-9787-4

2011
Edition 3
- The only resource covering this vast quantity and depth of information on physical properties and syntheses on a wide range of hydroxyketones
- Powerful tool for the synthesis of intermediates of specialty polymers, pharmaceuticals and fine chemicals
- 6000 hydroxyketones covered and including approximately 6000 references
€2,038 €1,834
10% OFF
Generalizing from Limited Resources in the Open World

Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings

Jinyang Guo; Yuqing Ma; Yifu Ding; Ruihao Gong; Xingyu Zheng; Changyi He; Yantao Lu; Xianglong Liu

978-981-97-6125-8

2024
Edition 1
€240 €216
10% OFF
Artificial Intelligence in Education

27th International Conference, AIED 2026, Seoul, South Korea, June 27–July 3, 2026, Proceedings, Part IV

Emmanuel G. Blanchard; Guanliang Chen; Min Chi; Seiji Isotani

978-3-032-29763-1

2027
Edition 1
€180 €162
10% OFF
Computer Science – Theory and Applications

15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

Henning Fernau

978-3-030-50026-9

2020
Edition 1
€100 €90
10% OFF
Entertainment Computing – ICEC 2024

23rd IFIP TC 14 International Conference, ICEC 2024, Manaus, Brazil, September 30 – October 3, 2024, Proceedings

Pablo Figueroa; Angelo Di Iorio; Daniel Guzman del Rio; Esteban Walter Gonzalez Clua; Luis Cuevas Rodriguez

978-3-031-74353-5

2025
Edition 1
€200 €180
10% OFF
Intelligent Systems Design and Applications

22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 3

Ajith Abraham; Sabri Pllana; Gabriella Casalino; Kun Ma; Anu Bajaj

978-3-031-35501-1

2023
Edition 1
- Includes recent research on intelligent systems design and applications
- Presents the proceedings of the 22nd International Conference on Intelligent Systems Design and Applications ISDA 2022
- Written by leading experts in the field
€478 €430
10% OFF
Computational Intelligence Methods for Bioinformatics and Biostatistics

5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers

Francesco Masulli; Roberto Tagliaferri; Gennady M. Verkhivker

978-3-642-02504-4

2009
Edition 1
€100 €90
10% OFF
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V

Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Helen Petrie; Antonio Piccinno; Giuseppe Desolda; Kori Inkpen

978-3-030-85607-6

2021
Edition 1
€100 €90
10% OFF
Towards Open and Trustworthy Digital Societies

23rd International Conference on Asia-Pacific Digital Libraries, ICADL 2021, Virtual Event, December 1–3, 2021, Proceedings

Hao-Ren Ke; Chei Sian Lee; Kazunari Sugiyama

978-3-030-91669-5

2021
Edition 1
€200 €180
10% OFF
Correlation in Hydrocarbon Exploration

Proceedings of the conference Correlation in Hydrocarbon Exploration organized by the Norwegian Petroleum Society and held in Bergen, Norway, 3–5 October 1988

John Collinson

978-94-009-1149-9

1989
Edition 1
€100 €90
10% OFF
Ambient Assistive Health and Wellness Management in the Heart of the City

7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009, Proceedings

Mokhtari Mounir; Ismail Khalil; Jérémy Bauchet; Daqing Zhang; Chris D. Nugent

978-3-642-02868-7

2009
Edition 1
€100 €90
10% OFF
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II

Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Helen Petrie; Antonio Piccinno; Giuseppe Desolda; Kori Inkpen

978-3-030-85616-8

2021
Edition 1
€200 €180
10% OFF
DNA Computing

9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers

Junghuei Chen; John Reif

978-3-540-24628-2

2004
Edition 1
€100 €90
10% OFF
Increasing Small Ruminant Productivity in Semi-arid Areas

Proceedings of a Workshop held at the International Center for Agricultural Research in the Dry Areas, Aleppo, Syria, 30 November to 3 December 1987

E.F. Thomson; F.S. Thomson

978-94-009-1317-2

1988
Edition 1
€100 €90
10% OFF
Energy Informatics

5th Energy Informatics Academy Conference, EI.A 2025, Kuala Lumpur, Malaysia, December 3–5, 2025, Proceedings, Part I

Bo Nørregaard Jørgensen; Zheng Grace Ma; Salman Yussof

978-3-032-19134-2

2026
Edition 1
€160 €144
10% OFF
Perspectives on Soviet and Russian Computing

First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers

John Impagliazzo; Eduard Proydakov

978-3-642-22816-2

2011
Edition 1
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
€100 €90
10% OFF
Progress in Artificial Intelligence

24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1–3, 2025, Proceedings, Part II

José Valente de Oliveira; João Leite; João Rodrigues; João Dias; Pedro Cardoso

978-3-032-05179-0

2026
Edition 1
€146 €131
10% OFF
Artificial Intelligence in Education

27th International Conference, AIED 2026, Seoul, South Korea, June 27–July 3, 2026, Proceedings, Part II

Emmanuel G. Blanchard; Guanliang Chen; Min Chi; Seiji Isotani

978-3-032-29755-6

2027
Edition 1
€180 €162
10% OFF
Engineering Theories of Software Intensive Systems

Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

Manfred Broy; Johannes Gruenbauer; David Harel; Tony Hoare

978-1-4020-3532-6

2005
Edition 1
- Software Engineering
- System and Program Verification
- Security Engineering
€400 €360
10% OFF
Theory and Applications of Dependable Computer Systems

Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland

Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk

978-3-030-48256-5

2020
Edition 1
- Presents recent research in Complex Systems and Dependability
- Gathers the Proceedings of the Fifteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), held on June 29–July 3, 2020, in Brunów, Poland
- Discusses general aspects of the dependability of systems, networks theory and communication technology
€280 €252
10% OFF
Process Support and Knowledge Representation in Health Care

BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

Richard Lenz; Silvia Miksch; Mor Peleg; Manfred Reichert; David Riano; Annette ten Teije

978-3-642-36438-9

2013
Edition 1
- Up-to-date results in process support and knowledge representation in health care
- Fast-track conference proceedings
- State-of-the-art research
€90 €81
10% OFF
Advances in Visual Computing

4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, Proceedings, Part II

Richard Boyle; Bahram Parvin; Darko Koracin; Fatih Porikli; Jörg Peters; James Klosowski; Laura Arns; Yu Ka Chun; Theresa-Marie Rhyne; Laura Monroe

978-3-540-89646-3

2008
Edition 1
€180 €162
10% OFF
Mathematical Modeling and Numerical Simulation in Continuum Mechanics

Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan

Ivo Babuska; Philippe G. Ciarlet; Tetsuhiko Miyoshi

978-3-642-56288-4

2002
Edition 1
- One of the first CSE books arising from Japan
- Includes supplementary material: sn.pub/extras
€180 €162
10% OFF
Chemotaxonomie der Pflanzen

Eine Übersicht über die Verbreitung und die systematische Bedeutung der Pflanzenstoffe. Band 3: Dicotyledoneae: Acanthaceae — Cyrillaceae

R. Hegnauer

978-3-0348-9385-5

1964
Edition 1
€701 €631
10% OFF
AIxIA 2021 – Advances in Artificial Intelligence

20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1–3, 2021, Revised Selected Papers

Stefania Bandini; Francesca Gasparini; Viviana Mascardi; Matteo Palmonari; Giuseppe Vizzari

978-3-031-08421-8

2022
Edition 1
€200 €180
10% OFF
Ad-Hoc, Mobile, and Wireless Networks

18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings

Maria Rita Palattella; Stefano Scanzio; Sinem Coleri Ergen

978-3-030-31831-4

2019
Edition 1
€100 €90
10% OFF

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.