Výsledky vyhledávání - "computer programs"

1

Verification, model checking, and abstract interpretation : 9th International Conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

2

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussionns /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

3

Verified software: theories, tools, experiments : second International Conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

4

Using Moodle : teaching with the popular open source course management system /

Autor Cole, Jason R.
Vydáno 2005

Témata: '; “...computer programs...”

Kniha

5

Compiler Construction : 17th International Conference, CC 2008 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 : Budapest, Hungary, March 29 - April 6, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

6

Types for proofs and programs International Workshop, TYPES 2006 : Nottingham, UK, April 18-21, 2006 : revised selected papers /

Vydáno 2007

Témata: '; “...computer programs...”

Kniha

7

Compilers : principles, techniques, & tools /

Autor Aho, Alfred V.
Vydáno 2007

Témata: '; “...computer programs...”

Kniha

8

Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers /

Vydáno 1998

Témata: '; “...computer programs...”

Kniha

9

Types for proofs and programs : International Conference, TYPES 2007 : Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

10

Mathematics of program construction : 9th International Conference, MPC 2008: Marseille, France, July 15-18, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

11

Kompilátory číslicových počítačov /

Autor Gries, David, 1939-
Vydáno 1981

Témata: '; “...computer programs...”

Kniha

12

The calculus of Computation : decision procedures with applications to verification /

Autor Bradley, Aaron R., Manna, Zohar, 1939-2018
Vydáno 2007

Témata: '; “...computer programs...”

Kniha

13

Reflections on the teaching of programming : methods and implementations /

Vydáno 2008

Témata: '; “...computer programs...”

Kniha

14

Internet roadmap : průvodce světem Internetu /

Autor Falk, Bennett
Vydáno 1995

Témata: '; “...computer programs...”

Kniha

15

Autocad 2000 : učebnice /

Autor Fořt, Petr, 1968-, Kletečka, Jaroslav, 1958-
Vydáno 1999

Témata: '; “...computer programs...”

Kniha

16

AutoCad LT pro Widows95 : podrobná příručka uživatele s učebnicí /

Autor Liška, Jan, 1971-
Vydáno 1996

Témata: '; “...computer programs...”

Kniha

17

AutoCad release 14 : učebnice pro střední školy /

Autor Fořt, Petr, 1968-, Kletečka, Jaroslav, 1958-
Vydáno 1998

Témata: '; “...computer programs...”

Kniha

18

Professional Android 2 application development /

Autor Meier, Reto, 1978-
Vydáno 2010

Témata: '; “...computer programs...”

Kniha

19

Program Slicing and Symbolic Execution for Verification /

Autor Chalupa, Marek
Vydáno 2022

Témata: '; “...computer programs...”
Získat plný text

VŠ práce nebo rukopis

20

The practice of programming /

Autor Kernighan, Brian W., 1942-, Pike, Rob, 1956-
Vydáno 1999

Témata: '; “...computer programs...”

Kniha

Upřesnit hledání