Name: Come, Let's Play: Scenario-Based Programming Using Lscs and the Play-Engine [With CDROM]
Brand: Springer
SKU: 12545714
Price: 45.31 GBP
Availability: InStock

Intelligent Robotics and Applications (12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part V (Lecture Notes in Computer Science))

By Haibin Yu, Jinguo Liu, Lianqing Liu

Intelligent Robotics and Applications (12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part V (Lecture Notes in Computer Science))

By Haibin Yu, Jinguo Liu, Lianqing Liu

£45.34

Model Checking Software (26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Model Checking Software (26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

£45.04

Formal Methods and Software Engineering (21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Yamine Ait-Ameur, Shengchao Qin

Formal Methods and Software Engineering (21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Yamine Ait-Ameur, Shengchao Qin

£45.09

Integrated Formal Methods (15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

Integrated Formal Methods (15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

£45.15

Cyber-Physical Systems (A Model-Based Approach)

By Walid M. Taha, Abd-Elhamid M. Taha

Cyber-Physical Systems (A Model-Based Approach)

By Walid M. Taha, Abd-Elhamid M. Taha

£45.12

Cyber-Physical Systems (A Model-Based Approach)

By Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg

Cyber-Physical Systems (A Model-Based Approach)

By Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg

£45.04

IoT as a Service (6th EAI International Conference, IoTaaS 2020, Xi’an, China, November 19–20, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By Bo Li, Changle Li, Mao Yang, Zhongjiang Yan

IoT as a Service (6th EAI International Conference, IoTaaS 2020, Xi’an, China, November 19–20, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By Bo Li, Changle Li, Mao Yang, Zhongjiang Yan

£89.14

Efficiency in Complex Systems (Self-Organization Towards Increased Efficiency (Springer Proceedings in Complexity))

By Georgi Yordanov Georgiev, Mahmoud Shokrollahi-Far

Efficiency in Complex Systems (Self-Organization Towards Increased Efficiency (Springer Proceedings in Complexity))

By Georgi Yordanov Georgiev, Mahmoud Shokrollahi-Far

£173 Elsewhere ~~£179.99~~ Save £6.99 (4%)

Efficiency in Complex Systems (Self-Organization Towards Increased Efficiency (Springer Proceedings in Complexity))

By Georgi Yordanov Georgiev, Mahmoud Shokrollahi-Far

Efficiency in Complex Systems (Self-Organization Towards Increased Efficiency (Springer Proceedings in Complexity))

By Georgi Yordanov Georgiev, Mahmoud Shokrollahi-Far

£172 Elsewhere ~~£179.99~~ Save £7.99 (4%)

Foundations and Methods of Stochastic Simulation (A First Course (International Series in Operations Research & Management Science))

By Pei, Linda, Nelson, Barry L.

Foundations and Methods of Stochastic Simulation (A First Course (International Series in Operations Research & Management Science))

By Pei, Linda, Nelson, Barry L.

£89.97 Elsewhere ~~£109.99~~ Save £20.02 (18%)

Foundations and Methods of Stochastic Simulation (A First Course (International Series in Operations Research & Management Science))

By Pei, Linda, Nelson, Barry L.

Foundations and Methods of Stochastic Simulation (A First Course (International Series in Operations Research & Management Science))

By Pei, Linda, Nelson, Barry L.

£60.85 Elsewhere ~~£74.99~~ Save £14.14 (19%)

Agent-Based Business Process Simulation (A Primer with Applications and Examples)

By Taveter, Kuldar, Sulis, Emilio

Agent-Based Business Process Simulation (A Primer with Applications and Examples)

By Taveter, Kuldar, Sulis, Emilio

£89.09

Deep Generative Modeling

By Jakub M. Tomczak

Deep Generative Modeling

By Jakub M. Tomczak

£56.20

Understanding Modelling and Programming

By Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer

Understanding Modelling and Programming

By Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer

£45.99

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

£61.21

Advances in Quantitative Ethnography (6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part II (Communications in Computer and Information Science))

By Yoon Jeon Kim, Zachari Swiecki

Advances in Quantitative Ethnography (6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part II (Communications in Computer and Information Science))

By Yoon Jeon Kim, Zachari Swiecki

£61.22

Advances in Quantitative Ethnography (6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part I (Communications in Computer and Information Science))

By Yoon Jeon Kim, Zachari Swiecki

Advances in Quantitative Ethnography (6th International Conference, ICQE 2024, Philadelphia, PA, USA, November 3-7, 2024, Proceedings, Part I (Communications in Computer and Information Science))

By Yoon Jeon Kim, Zachari Swiecki

£61.25

Computer Aided Systems Theory – EUROCAST 2024 (19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science))

By Alexis Quesada Arencibia, Michael Affenzeller, Roberto Moreno - DÍaz

Computer Aided Systems Theory – EUROCAST 2024 (19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science))

By Alexis Quesada Arencibia, Michael Affenzeller, Roberto Moreno - DÍaz

£66.80

Computer Aided Systems Theory – EUROCAST 2024 (19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III (Lecture Notes in Computer Science))

By Alexis Quesada-Arencibia, Michael Affenzeller, Roberto Moreno - DÍaz

Computer Aided Systems Theory – EUROCAST 2024 (19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III (Lecture Notes in Computer Science))

By Alexis Quesada-Arencibia, Michael Affenzeller, Roberto Moreno - DÍaz

£61.75

Modeling of Dynamic Object Systems [German] (A Logic-based Approach (Vieweg Advanced Studies in Computer Science))

By Ralf Jungclaus, H.D. Ehrich

Modeling of Dynamic Object Systems [German] (A Logic-based Approach (Vieweg Advanced Studies in Computer Science))

By Ralf Jungclaus, H.D. Ehrich

£45.01

Computation in Cells and Tissues (Perspectives and Tools of Thought (Natural Computing Series))

By Ray Paton, H. Bolouri, W.M.L. Holcombe, J.H. Parish

Computation in Cells and Tissues (Perspectives and Tools of Thought (Natural Computing Series))

By Ray Paton, H. Bolouri, W.M.L. Holcombe, J.H. Parish

£94.10

Computational Methods in Systems Biology (First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 (Lecture Notes in Computer Science))

By Corrado Priami

Computational Methods in Systems Biology (First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 (Lecture Notes in Computer Science))

By Corrado Priami

£88.65

Come, Let's Play (Scenario-Based Programming Using Lscs and the Play-Engine [With CDROM])

By Marelly, Rami, Harel, David

Come, Let's Play (Scenario-Based Programming Using Lscs and the Play-Engine [With CDROM])

By Marelly, Rami, Harel, David

£45.31

View:
Safe Search(?):