Тема, жанр, tags: Software Engineering/Programming and Operating Systems,Operating Systems,Information Systems Applica » Page 1391 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering/Programming and Operating Systems,Operating Systems,Information Systems Applica » Page 1391

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 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 Algorithms for Memory Hierarchies: Advanced Lectures

Algorithms for Memory Hierarchies: Advanced Lectures

pdf

Author: Peter Sanders (auth.) Ulrich Meyer Peter Sanders Jop Sibeyn (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book New Trends on Human–Computer Interaction: Research, Development, New Tools and Methods

New Trends on Human–Computer Interaction: Research, Development, New Tools and Methods

pdf

Author: Sandra Baldassarri Francisco Royo-Santas (auth.) José A. Macías Antoni Granollers Saltiveri Pedro M. Latorre (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Funktionale und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken

Funktionale und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken

pdf

Author: Prof. Dr. Wolfram-Manfred Lippe (auth.)
Language: German
Year: 2009

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