Тема, жанр, tags: Circuits and Systems,Programming Languages Compilers Interpreters,Electronics and Microelectronics I » Page 1486 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Circuits and Systems,Programming Languages Compilers Interpreters,Electronics and Microelectronics I » Page 1486

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

0

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

0

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

0

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

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

pdf

Author: Jie Wu (auth.) Minyi Guo Laurence Tianruo Yang (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0