Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav pro českou literaturu
Ústav dějin umění
Ústav fyziky atmosféry
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. H.
Ústav fyziky materiálů
Ústav geoniky
Ústav pro hydrodynamiku
Ústav chemických procesů
Ústav informatiky
Ústav pro jazyk český
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Ústav výzkumu globální změny
×
Všechna pole
Název
Autor
Hledat
Pokročilé vyhledávání
Zahrnout EIZ
Zachovat současné nastavení filtrů
EXPAND:"fulltext"
Domovská stránka
Vyhledávání: "Gries, David"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
459
pro vyhledávání:
'"Gries, David"'
Řazení
od nejnovějšího
Podle data vzestupně
podle relevance
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Elektronická kniha
Programming Challenges : The Programming Contest Training Manual. [electronic resource]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 2
2
Elektronická kniha
Introduction to Constraint Databases. [electronic resource]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 3
3
Elektronická kniha
Computability and Complexity Theory. [electronic resource]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 4
4
Elektronická kniha
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets. [electronic resource]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 5
5
Elektronická kniha
Modal and Temporal Properties of Processes. [electronic resource]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 6
6
Elektronická kniha
Panoramic Vision : Sensors, Theory, and Applications. [electronic resource]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 7
7
Kniha
Konstruirovanije kompiljatorov dlja cifrovych vyčislitel´nych mašin / David Gries ; perevod Je. B. Dokšickoj ; Jurij Matvejevič Bajakovskij.
Autor:
Gries, David
, 1939-
načítá se...
Vybrat výsledek číslo 8
8
Kniha
Kompilátory číslicových počítačov / David Gries ; preklad L´ubomír Šlahor, František Pástor.
Autor:
Gries, David
, 1939-
načítá se...
Vybrat výsledek číslo 9
9
Kniha
The science of programming / David Gries.
Autor:
Gries, David
, 1939-
načítá se...
Vybrat výsledek číslo 10
10
Kniha
Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2. 2, 2. 3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA. [elektronicky zdroj]
Autor:
Gries, David
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[46]
Vyhledávací nástroje:
RSS
Poslat e-mailem
Upřesnit hledání
Omezení vyhledávání
Plný text
Recenzováno
Digitální knihovna AV ČR
Zdroje
Pouze tištěné dokumenty
Zahrnout EIZ
Typ dokumentu
291
Knihy
90
Electronic Resources
88
Elektronické knihy
84
Časopisy
54
Akademické články
21
Konferenční materiály
4
News
2
Reports
1
Trade Publications
1
Recenze
Předmět
178
computer science
90
electronic books
84
algorithm analysis and problem complexity
84
theory of computation
78
computation by abstract devices
78
computational mathematics and numerical analysis
78
computational science and engineering
27
computer programming
25
computers and society
25
user interfaces and human computer interaction
22
artificial intelligence (incl. robotics)
21
doctor of philosophy degree
21
software engineering/programming and operating systems
20
programming techniques
15
applications of mathematics
15
automation and robotics
15
differential geometry
15
math applications in computer science
15
topological groups, lie groups
14
data encryption
14
information systems applications (incl.internet)
13
programming languages
12
logic design
12
logics and meanings of programs
12
mathematical logic and foundations
12
models and principles
11
computer algorithms
9
computer software
9
software engineering
8
programming languages, compilers, interpreters
7
algorithms
7
data mining and knowledge discovery
7
data structures
7
electronic data processing
7
pattern recognition
6
computer engineering
6
computer science education
6
curriculum
6
education
6
parallel programming
5
mathematics
4
abstract data types (computer science)
4
axioms
4
college teachers
4
compilers (computer programs)
4
computer engineers
4
computer scientists
4
computer training
4
educational surveys
4
employment
Vydavatel
207
springer nature
89
association for computing machinery
71
springer new york
20
elsevier b.v.
10
springer berlin heidelberg
9
springer
7
ieee
3
taylor & francis ltd
2
acm
2
christian science publishing society
2
elsevier ltd
2
washington post company
1
alfa
1
chapman & hall
1
dow jones & company inc
1
elsevier
1
elsevier inc.
1
elsevier sci ltd
1
ieee computer soc
1
mir
1
north-holland publ co
1
oxford university press / usa
1
society for industrial & applied mathematics (siam)
1
springer-verl.
1
stanley foundation
Publikováno v
78
theory of computation
61
communications of the acm
18
introduction to assembly language programming
18
multimedia introduction to programming using java
15
geometric fundamentals of robotics
15
information processing letters
14
ethical & social issues in the information age (9781846286582)
12
adapting proofs-as-programs
11
ethical & social issues in the information age
10
acta informatica
10
integrated approach to software engineering
8
reverse engineering of object oriented code
7
fundamentals of the new artificial intelligence
6
ieee transactions on software engineering
6
super-recursive algorithms
4
acm sigcse bulletin
4
acm transactions on programming languages & systems
4
journal of dentistry
3
international journal of speech technology
2
acm / sigplan notices
2
american mathematical monthly
2
christian science monitor
2
computer
2
distributed computing
2
education and computing
2
formal aspects of computing
2
icse: international conference on software engineering
2
journal of visual languages and computing
2
multimedia systems
2
numerische mathematik
2
orbis
2
proceedings of the 12th acm sigact-sigplan symposium: principles of programming languages
2
washington post news feed
1
acm sigplan notices
1
acm transactions on programming languages and systems
1
asian wall street journal
1
bit numerical mathematics
1
conference record of the annual acm symposium on principles of programming languages
1
ieee transactions on acoustics, speech, and signal processing
1
ifip congress series
1
intelligence & national security
1
primus: problems, resources, and issues in mathematics undergraduate studies
1
science
1
science of computer programming
1
siam journal on computing
1
sigcse bulletin (association for computing machinery, special interest group on computer science e
1
software engineering education (9780387972749)
1
the american mathematical monthly
1
the classical outlook
1
world press review
Zdroj
222
Complementary Index
90
Vybrané kolekce e-knih
57
Supplemental Index
26
Academic Search Ultimate
23
Business Source Ultimate
19
ScienceDirect
5
Library, Information Science & Technology Abstracts
5
Scopus®
3
JSTOR Journals
3
Katalog Knihovny AV ČR
2
Science Citation Index Expanded
2
OpenAIRE
1
Regional Business News
1
MEDLINE
Geografie
12
united states
3
utah
2
china
2
snowbird (utah)
Umístění
3
Knav
Rok vydání
Od:
do:
×
načítá se......