Výsledky vyhledávání - "počítačové programy"

1

Autor Empson, Scott
Vydáno 2005

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

Kniha

2

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

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

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

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

Kniha

6

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

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

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

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

Kniha

10

Compilers : principles, techniques, & tools /

Autor Aho, Alfred V.
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 Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers /

Vydáno 1998

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

Kniha

13

Assemblers and loaders /

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

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

Kniha

14

...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

15

A computer program for monothetic subdivisive classification in archaeology /

Autor Whallon, Robert
Vydáno 1971

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

Kniha

16

How computers play chess /

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

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

Kniha

17

WCST: computer version 4- research editon /

Autor Heaton, Robert K.
Vydáno 2008

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

18

Physical chemistry calculations : with Excel, Visual Basic, Visual Basic for applications, Mathcad, Mathematica /

Autor Sime, Rodney J.
Vydáno 2005

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

Kniha

19

A gentle introduction to STATA /

Autor Acock, Alan C., 1944-
Vydáno 2006

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

Kniha

20

Using software in qualitative research : a step-by-step guide /

Autor Lewins, Ann, Silver, Christina
Vydáno 2007

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

Kniha

Upřesnit hledání