Showing
1 - 8
results of
8
for search '
"programming languages"
'
Skip to content
Feedback
Your Account
Log Out
Login
Česky
For information on the current operation of libraries, see their
websites
.
All Fields
Title
Author
Subject
ISBN/ISSN
Call Number
Barcode
System Number
Find
Advanced Search
Advanced Search
Retain current filters
author_facet:"Sedláček, Václav"
topic_facet:"programovací jazyky"
Search: "programming languages"
Preferred headings:
APLAS (sympozium) 2008 : Béngalúru, Indie)
,
APLAS (sympozium) (2007 : Singapur)
,
APLAS (sympozium) (2005 : Tsukuba, Japonsko)
,
APLAS (sympozium) (2004 : Tchaj-pej, Tchaj-wan)
,
APLAS (sympozium) (2006 : Sydney, Nový Jižní Wales)
Related headings:
International Symposium on Database Programming Languages
,
International Workshop on Database Programming Languages
Search alternatives
:
"programming languages" »
"programming language"
Showing
1 - 8
results of
8
for search '
"programming languages"
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Formální manipulace s algebraickými výrazy na počítači
by
Velčovský, Josef
Published 1982
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
2
Aplikace rezolučního principu v deduktivních systémech
by
Kaláček, Petr
Published 1983
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
3
Aplikace resoluční metody pro analýzu programů
by
Koleňáková, Taťjana
Published 1984
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
4
Automatické dokazování vět lineární rezolucí
by
Řačák, Antonín
Published 1981
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
5
Inkrementální způsob překladu
by
Botek, Zdeněk, 1951-
Published 1974
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
6
Informační struktury a organizace volné paměti
by
Argaláš, Jaroslav
Published 1973
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
7
Rezoluční princip
by
Kratochvílová, Jana
Published 1977
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
8
Využití rezolučního principu ve strojovém dokazování
by
Šrámková, Lubomíra
Published 1977
Subjects:
';
“
...
programming
languages
...
”
Located:
Loading...
Thesis Manuscript
Loading...
Save to List
Saved in:
Holdings
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Remove Filters
Clear Filter
Author: Sedláček, Václav
Clear Filter
Suggested Topics: programovací jazyky
Library
Faculty of Science
8
Format
Thesis Manuscript
8
Author
Sedláček, Václav
Argaláš, Jaroslav
1
Botek, Zdeněk, 1951-
1
Kaláček, Petr
1
Koleňáková, Taťjana
1
Kratochvílová, Jana
1
more ...
Velčovský, Josef
1
Řačák, Antonín
1
Šrámková, Lubomíra
1
see all ...
less ...
Language
Czech
8
Suggested Topics
programming languages
8
programovací jazyky
programming
5
programování
5
Počítačová věda. Výpočetní technika. Informační technologie
4
Programování. Software
4
more ...
matematická logika
2
mathematical logic
2
algorithms
1
algoritmy
1
algoritmy (programování)
1
computer algorithms
1
see all ...
less ...
Genre
diplomové práce
8
master's theses
8
Year of Publication
From:
To:
×
Loading...