Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Name: Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
Price: 193.99 CAD
Availability: InStock
Author: Klaus P. Jantke
ISBN: 9783112733400

Édition : Wolfgang Bibel , Klaus P. Jantke

31 décembre 1986

193,99 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 970 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

250

Mathematical Research

Publié par: De Gruyter

Dimensions à l’expédition: 9" H x 7" W x 1" L

ISBN: 9783112733400

Exploring the World of Data Science and Machine Learning

NIBEDITA Sahu Livre numérique Kobo
11,99 $
Accelerated macOS Core Dump Analysis, Third Edition: Training Course Transcript with LLDB Practice Exercises

Dmitry Vostokov Couverture souple
135,00 $
Perceptions About Reality Through Simulations by Software: A few illustrations and annotations about The C++ Project

Marcos Tewfiq Couverture rigide
67,80 $
Accelerated .NET Memory Dump Analysis: Training Course Transcript and WinDbg Practice Exercises, Third Edition

Dmitry Vostokov Couverture souple
200,00 $
The Role of the Internet of Things (IoT) in Biomedical Engineering: Present Scenario and Challenges

Sushree Bibhuprada B Priyadarshini Couverture rigide
251,95 $
2 formats offerts
Groups and Interaction

Couverture souple
37,99 $
2 formats offerts
Bio-mechanisms of Swimming and Flying: Fluid Dynamics, Biomimetic Robots, and Sports Science

Naomi Kato Couverture souple
321,50 $
Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems

David J. Agans Livre numérique Kobo
17,99 $ ~~Réduction sur le prix courant 21,99 $ à~~
2 formats offerts
A Hybrid Deliberative Layer for Robotic Agents: Fusing DL Reasoning with HTN Planning in Autonomous Robots

Ronny Hartanto Couverture souple
80,50 $
The Multi-Agent Programming Contest 2022: Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not

Tobias Ahlbrecht Couverture souple
94,95 $
2 formats offerts
Transformer, Bert, and Gpt: Including ChatGPT and Prompt Engineering

Oswald Campesato Couverture souple
80,50 $
2 formats offerts
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Mohammed Taghi Hajiaghayi Couverture souple
80,50 $
2 formats offerts
Connected Intelligence: AI and the Internet of Things

Charlie Morgan Couverture souple
31,99 $
From Algorithms to Thinking Machines: The New Digital Power

Domenico Talia Couverture souple
53,80 $
Role of Nature-Inspired Algorithms in Real-life Problems

Vanita Garg Couverture rigide
321,50 $
Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation: 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers

Jeffrey Nichols Couverture souple
145,95 $
2 formats offerts
Modeling Communication with Robots and Virtual Humans: Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

Ipke Wachsmuth Couverture rigide
80,50 $
From Algorithms to Thinking Machines: The New Digital Power

Domenico Talia Livre numérique Kobo
35,99 $ ~~Réduction sur le prix courant 43,77 $ à~~
Connected Intelligence: AI and the Internet of Things

Charlie Morgan Livre numérique Kobo
6,83 $
Statistical Analysis for Civil Engineers: Mathematical Theory and Applied Experiment Design

Adel A. Al Azzawi Couverture souple
350,95 $
2 formats offerts

Évaluation éditoriale

wolfgang bibel

Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Description

Vous aimerez peut-être aussi

Exploring the World of Data Science and Machine Learning

Accelerated macOS Core Dump Analysis, Third Edition: Training Course Transcript with LLDB Practice Exercises

Perceptions About Reality Through Simulations by Software: A few illustrations and annotations about The C++ Project

Accelerated .NET Memory Dump Analysis: Training Course Transcript and WinDbg Practice Exercises, Third Edition

The Role of the Internet of Things (IoT) in Biomedical Engineering: Present Scenario and Challenges

Groups and Interaction

Bio-mechanisms of Swimming and Flying: Fluid Dynamics, Biomimetic Robots, and Sports Science

Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems

A Hybrid Deliberative Layer for Robotic Agents: Fusing DL Reasoning with HTN Planning in Autonomous Robots

The Multi-Agent Programming Contest 2022: Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not

Transformer, Bert, and Gpt: Including ChatGPT and Prompt Engineering

Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Connected Intelligence: AI and the Internet of Things

From Algorithms to Thinking Machines: The New Digital Power

Role of Nature-Inspired Algorithms in Real-life Problems

Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation: 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers

Modeling Communication with Robots and Virtual Humans: Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

From Algorithms to Thinking Machines: The New Digital Power

Connected Intelligence: AI and the Internet of Things

Statistical Analysis for Civil Engineers: Mathematical Theory and Applied Experiment Design

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Systems Analysis and Simulation 1988, I: Theory and Foundations. Proceedings of the International Symposium held in Berlin (GDR), September 12–16, 1988

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Systems Analysis and Simulation 1988, II: Applications Proceedings of the International Symposium held in Berlin, September 12–16, 1988

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Issues in Software Engineering Education: Proceedings of the 1987 SEI Conference on Software Engineering Education, Held in Monroeville, Paris, April 30- May 1, 1987

Architecture of Computing Systems - ARCS 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings

History of Computing: Software Issues: International Conference on the History of Computing, ICHC 2000 April 5-7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings

S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management: First International Workshop, Karlsruhe, Germany, October 22, 2009, Revised Selected Papers