Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 1485 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 1485

book Constraint Handling Rules: Current Research Topics

Constraint Handling Rules: Current Research Topics

pdf

Author: Thom Frühwirth (auth.) Tom Schrijvers Thom Frühwirth (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Embedded Linux: Das Praxisbuch

Embedded Linux: Das Praxisbuch

pdf

Author: Rüdiger Dillmann Tilo Gockel Joachim Schröder (auth.)
Language: German
Year: 2009

00

26.01.2024

0

0

book Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

pdf

Author: Eric Senn Saadia Douhib Dominique Blouin Johann Laurent Skander Turki (auth.) Prof. Dr. Martin Radetzki (eds.)
Language: English
Year: 2009

00

26.01.2024

3

0

book Practical Introduction to Computer Architecture

Practical Introduction to Computer Architecture

pdf

Author: Daniel Page
Language: English
Year: 2009

00

26.01.2024

0

0

book Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

pdf

Author: Patrice Godefroid (auth.) Corina S. Păsăreanu (eds.)
Language: English
Year: 2009

00

26.01.2024

1

0

book A concise and practical introduction to programming algorithms in Java

A concise and practical introduction to programming algorithms in Java

pdf

Author: Frank Nielsen (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

pdf

Author: Bernd Krieg-Brückner Peter D. Mosses (auth.) Peter D. Mosses (eds.)
Language: English
Year: 2004

00

26.01.2024

1

0

book Theory and practice of uncertain programming

Theory and practice of uncertain programming

pdf

Author: Baoding Liu (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

pdf

Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Python scripting for computational science

Python scripting for computational science

pdf

Author: Hans Petter Langtangen (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0