NASA Formal Methods (13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science))

By Aaron Dutle, Mariano M. Moscato, Laura Titolo

NASA Formal Methods (13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science))

By Aaron Dutle, Mariano M. Moscato, Laura Titolo

£75.91

NASA Formal Methods (15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings (Lecture Notes in Computer Science))

By Kristin Yvonne Rozier, Swarat Chaudhuri

NASA Formal Methods (15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings (Lecture Notes in Computer Science))

By Kristin Yvonne Rozier, Swarat Chaudhuri

£70.98 Elsewhere ~~£89.99~~ Save £19.01 (21%)

Dynamic Data Driven Applications Systems (4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings (Lecture Notes in Computer Science))

By Erik Blasch, Frederica Darema, Alex Aved

Dynamic Data Driven Applications Systems (4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings (Lecture Notes in Computer Science))

By Erik Blasch, Frederica Darema, Alex Aved

£51.61 Elsewhere ~~£64.99~~ Save £13.38 (21%)

Simulation Tools and Techniques (15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By José-Luis Guisado-Lizar, Agustín Riscos-Núñez, María-José Morón-Fernández, Gabriel Wainer

Simulation Tools and Techniques (15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By José-Luis Guisado-Lizar, Agustín Riscos-Núñez, María-José Morón-Fernández, Gabriel Wainer

£53.06 Elsewhere ~~£69.99~~ Save £16.93 (24%)

Modelling and Simulation for Autonomous Systems (10th International Conference, MESAS 2023, Palermo, Italy, October 17–19, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Jan Mazal, Adriano Fagiolini, Petr Vasik, Francesco Pacillo

Modelling and Simulation for Autonomous Systems (10th International Conference, MESAS 2023, Palermo, Italy, October 17–19, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Jan Mazal, Adriano Fagiolini, Petr Vasik, Francesco Pacillo

£64.34

Advances in Conceptual Modeling (ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings (Lecture Notes in Computer Science))

By Motoshi Saeki, Leah Wong, João Araujo, Clara Ayora

Advances in Conceptual Modeling (ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings (Lecture Notes in Computer Science))

By Motoshi Saeki, Leah Wong, João Araujo, Clara Ayora

£55.93 Elsewhere ~~£59.99~~ Save £4.06 (7%)

Learning in Man-Computer Interaction (A Review of the Literature (Project 385. HUFIT) (Research Reports Esprit))

By Bösser, Tom

Learning in Man-Computer Interaction (A Review of the Literature (Project 385. HUFIT) (Research Reports Esprit))

By Bösser, Tom

£90.95

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

£46.20

Computer Modelling in Atmospheric and Oceanic Sciences (Building Knowledge (GKSS School of Environmental Research))

By K. Hasselmann, Peter K. Muller, K. Hasselmann

Computer Modelling in Atmospheric and Oceanic Sciences (Building Knowledge (GKSS School of Environmental Research))

By K. Hasselmann, Peter K. Muller, K. Hasselmann

£91.04

Multi-Agent-Based Simulation III (4th International Workshop, Mabs 2003, Melbourne, Australia, July 14th, 2003, Revised Papers: v. 3 (Lecture Notes in Computer Science))

By David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier

Multi-Agent-Based Simulation III (4th International Workshop, Mabs 2003, Melbourne, Australia, July 14th, 2003, Revised Papers: v. 3 (Lecture Notes in Computer Science))

By David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier

£46.37

Large-Scale Scientific Computing (4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers (Lecture Notes in Computer Science))

By Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, Yalamov Plamen

Large-Scale Scientific Computing (4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers (Lecture Notes in Computer Science))

By Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, Yalamov Plamen

£46.24

Medical Simulation (International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science))

By Stephane Cotin, Dimitris N. Metaxas

Medical Simulation (International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science))

By Stephane Cotin, Dimitris N. Metaxas

£46.29

UML 2004 - The Unified Modeling Language (Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings (Lecture Notes in Computer Science))

By Thomas Baar, Alfred Strohmeier, Ana Moreira

UML 2004 - The Unified Modeling Language (Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings (Lecture Notes in Computer Science))

By Thomas Baar, Alfred Strohmeier, Ana Moreira

£46.23

Cellular Automata (6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings (Lecture Notes in Computer Science))

By Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra

Cellular Automata (6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings (Lecture Notes in Computer Science))

By Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra

£102

Systems Modeling and Simulation (Theory and Applications: Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Baik Doo-Kwon

Systems Modeling and Simulation (Theory and Applications: Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Baik Doo-Kwon

£91.29

UML Modeling Languages and Applications (__UML__ 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues Da Silva, Ambrosio Toval Alvarez

UML Modeling Languages and Applications (__UML__ 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues Da Silva, Ambrosio Toval Alvarez

£46.21

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

£105

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By V. S. Sunderam, Geert Dick van Albada, Peter M. A. Sloot, Jack Dongarra

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By V. S. Sunderam, Geert Dick van Albada, Peter M. A. Sloot, Jack Dongarra

£146

User Modeling 2005 (10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Liliana Ardissono, Paul Brna, Antonija Mitrovic

User Modeling 2005 (10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Liliana Ardissono, Paul Brna, Antonija Mitrovic

£91.68

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

£91.30

From Animals to Animats (9th International Conference on Simulation of Adaptive Behavior, SAB 2006 Rome, Italy, September 25-29, 2006 Proceedings: No. 9 (Lecture Notes in Computer Science))

By Stefano Nolfi, Gianluca Baldassare, Raffaele Calabretta, John Hallam

From Animals to Animats (9th International Conference on Simulation of Adaptive Behavior, SAB 2006 Rome, Italy, September 25-29, 2006 Proceedings: No. 9 (Lecture Notes in Computer Science))

By Stefano Nolfi, Gianluca Baldassare, Raffaele Calabretta, John Hallam

£102

Surgery Simulation and Soft Tissue Modeling (International Symposium, IS4TM 2003. Juan-Les-Pins, France, June 12-13, 2003, Proceedings (Lecture Notes in Computer Science))

By Nicholas Ayache, Hervé Delingette

Surgery Simulation and Soft Tissue Modeling (International Symposium, IS4TM 2003. Juan-Les-Pins, France, June 12-13, 2003, Proceedings (Lecture Notes in Computer Science))

By Nicholas Ayache, Hervé Delingette

£46.24

Modeling and Using Context (Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Varol Akman, Paolo Bouquet, Richmond Thomason, Roger A. Young

Modeling and Using Context (Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Varol Akman, Paolo Bouquet, Richmond Thomason, Roger A. Young

£46.24

View:
Safe Search(?):