Výsledky vyhledávání

1

Autor Empson, Scott
Vydáno 2005

Témata: '; “...počítačové programy...”

Kniha

2

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

Vydáno 2008

Témata: '; “...počítačové programy...”

Kniha

3

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: '; “...počítačové programy...”

Kniha

4

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

Vydáno 2008

Témata: '; “...počítačové programy...”

Kniha

5

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

Autor Cole, Jason R.
Vydáno 2005

Témata: '; “...počítačové programy...”

Kniha

6

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: '; “...počítačové programy...”

Kniha

7

Pygmalion : a computer program to model and stimulate creative thought /

Autor Smith, David Canfield
Vydáno 1977

Témata: '; “...počítačové programy...”

Kniha

8

Rookie coaches gymnastics guide.

Vydáno 1992

Témata: '; “...vzdělávací programy...”

Kniha

9

Compilers : principles, techniques, & tools /

Autor Aho, Alfred V.
Vydáno 2007

Témata: '; “...počítačové programy...”

Kniha

10

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

Vydáno 2007

Témata: '; “...počítačové programy...”

Kniha

11

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

Vydáno 2008

Témata: '; “...počítačové programy...”

Kniha

12

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: '; “...počítačové programy...”

Kniha

13

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

Vydáno 1998

Témata: '; “...počítačové programy...”

Kniha

14

Assemblers and loaders /

Autor Barron, D. W. 1935-2012
Vydáno 1969

Témata: '; “...počítačové programy...”

Kniha

15

Effective on-the-job training in hydrology : a guide for supervisors of hydrology technicians /

Autor Allaburton, Rob
Vydáno 1991

Témata: '; “...vzdělávací programy...”

Kniha

16

...SCEPTRE : a computer program for circuit and systems analysis /

Autor Bowers, James C., Sedore, Stephen R.
Vydáno 1971

Témata: '; “...počítačové programy...”

Kniha

17

A computer program for monothetic subdivisive classification in archaeology /

Autor Whallon, Robert
Vydáno 1971

Témata: '; “...počítačové programy...”

Kniha

18

Principles of political literacy : the working papers of the programme for political education /

Vydáno 1980

Témata: '; “...politické programy...”

Kniha

19

How computers play chess /

Autor Levy, David N. L., 1945-, Newborn, Monty
Vydáno 1991

Témata: '; “...počítačové programy...”

Kniha

20

Practical problems in the area of research and development in the Czech republic /

Autor Snopková, Petra

Témata: '; “...programy a projekty...”

Článek

Upřesnit hledání