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í: "automata theory"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
64 207
pro vyhledávání:
'"automata theory"'
Ř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
Kniha
Elements of automata theory / Jacques Sakarovitch ; translated by Reuben Thomas. [elektronicky zdroj]
Autor:
Sakarovitch, Jacques
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 2
2
Elektronická kniha
Elements of automata theory / Jacques Sakarovitch ; translated by Reuben Thomas. [electronic resource]
Autor:
Sakarovitch, Jacques
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 request.
Vybrat výsledek číslo 3
3
Kniha
A textbook on automata theory / P.K. Srimani, S.F.B. Nasir. [elektronicky zdroj]
Autor:
Srimani, Pradip K.
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 4
4
Kniha
Automata Theory and Formal Languages. [elektronicky zdroj]
Autor:
Chavan, Pallavi
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 request.)
Vybrat výsledek číslo 5
5
Kniha
Language and Automata Theory and Applications : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings. [elektronicky zdroj]
Autor:
Leporati, Alberto
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 request.)
Vybrat výsledek číslo 6
6
Kniha
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings. [elektronicky zdroj]
Autor:
Leporati, Alberto
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
Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings. [elektronicky zdroj]
Autor:
Martín-Vide, Carlos
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 8
8
Kniha
Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. [elektronicky zdroj]
Autor:
Klein, Shmuel Tomi
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 9
9
Kniha
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. [elektronicky zdroj]
Autor:
Drewes, Frank
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 10
10
Kniha
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. [elektronicky zdroj]
Autor:
Dediu, Adrian-Horia
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ší »
[6421]
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
14 080
Akademické články
8 149
Elektronické knihy
5 270
Reports
4 289
Konferenční materiály
3 095
Knihy
860
Časopisy
226
Recenze
146
Dissertations
112
Electronic Resources
8
Trade Publications
4
Research Starters
2
News
1
Biographies
1
Non-Print Resources
Předmět
19 283
computer science::formal languages and automata theory
11 718
mathematics
10 281
computer science
9 556
computer science - formal languages and automata theory
8 018
discrete mathematics
7 696
theoretical computer science
6 318
theoryofcomputation_mathematicallogicandformallanguages
5 390
automata theory
5 349
fos: computer and information sciences
4 759
automaton
4 254
01 natural sciences
4 232
combinatorics
4 220
formal languages and automata theory (cs.fl)
3 996
02 engineering and technology
3 784
computer science::logic in computer science
3 735
nonlinear sciences::cellular automata and lattice gases
3 687
0202 electrical engineering, electronic engineering, information engineering
3 597
theoryofcomputation_computationbyabstractdevices
3 312
0102 computer and information sciences
3 312
010201 computation theory & mathematics
3 312
computer science::computation and language (computational linguistics and natural language and speech processing)
2 894
computer science - logic in computer science
2 857
artificial intelligence
2 615
020201 artificial intelligence & image processing
2 503
algorithm
2 334
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]
2 290
general computer science
2 254
business
2 254
fos: mathematics
2 240
computer
2 237
business.industry
2 084
quantum finite automata
2 083
decidability
2 034
algebra
1 927
finite-state machine
1 816
machine theory
1 783
computer.software_genre
1 701
algorithms
1 653
computational theory and mathematics
1 607
computer science applications
1 569
applied mathematics
1 526
0101 mathematics
1 520
logic in computer science (cs.lo)
1 517
software
1 517
symbols
1 517
symbols.namesake
1 465
computer science::programming languages
1 438
ω-automaton
1 423
010102 general mathematics
1 377
theoryofcomputation_logicsandmeaningsofprograms
Vydavatel
6 465
ieee
5 305
springer nature
4 795
springer
3 133
springer berlin heidelberg
2 964
hal ccsd
2 827
elsevier bv
2 506
arxiv
1 873
association for computing machinery
1 146
springer international publishing
1 050
ios press
895
taylor & francis ltd
727
cambridge university press
709
wiley-blackwell
539
mdpi
385
elsevier b.v.
383
springer verlag
321
world scientific
302
institute of electrical and electronics engineers inc.
277
oxford university press / usa
258
edp sciences
257
society for industrial & applied mathematics
205
elsevier
189
de gruyter
186
wiley
181
hindawi limited
180
logical methods in computer science e.v.
169
mit press
164
elsevier inc.
125
springer-verlag
90
emerald publishing limited
67
sage publications, ltd.
60
elsevier science
58
oxford university press
56
elsevier science bv
50
trans tech publications ltd
46
public library of science
23
springer international publishing ag
11
iwa publishing
8
nature publishing group
7
encyclopedia britannica, inc.
6
american library association d/b/a choice
6
mcgill university
6
sage publications, inc.
5
kluwer academic/plenum publishers
4
oficyna wydawnicza politechniki wroclawskiej
1
carol i national defence university publishing house
1
filozoficky ustav sav
1
institute of philosophy sas
1
vilniaus universiteto leidykla
1
vilnius university press
Publikováno v
1 200
theoretical computer science
741
ieee transactions on computers
673
lecture notes in computer science
659
fundamenta informaticae
529
theory of computing systems
486
international journal of foundations of computer science
383
acta informatica
337
information and computation
294
communications of the acm
265
journal of computer and system sciences
234
information processing letters
231
logical methods in computer science
227
siam journal on computing
217
journal of intelligent & fuzzy systems
202
ieee transactions on automatic control
194
international journal of computer mathematics
162
ieee transactions on information theory
158
semigroup forum
157
mathematical systems theory
128
rairo - theoretical informatics and applications
127
international journal of general systems
122
aip conference proceedings
116
information sciences
100
algorithmica
92
fuzzy sets and systems
90
formal methods in system design
82
kybernetes
76
cybernetics and systems analysis
75
international journal of theoretical physics
70
ieee transactions on systems, man & cybernetics
68
journal of mathematical sciences
66
entropy
63
computer journal
47
acm computing surveys
44
journal of statistical physics
42
plos one
40
automatica
35
siam review
33
scientific reports
31
computing
21
ifac-papersonline
18
scientific annals of computer science
13
journal of number theory
9
journal of economic behavior & organization
8
nature
8
parallel computing
6
biological cybernetics
6
choice: current reviews for academic libraries
3
ecology
2
journal of logic language and information
Zdroj
28 699
OpenAIRE
15 871
Complementary Index
7 332
eBook Index
5 240
arXiv
2 423
Academic Search Ultimate
1 729
Scopus®
771
eBook Collection (EBSCOhost)
757
Business Source Ultimate
303
Directory of Open Access Journals
260
Science Citation Index Expanded
205
Supplemental Index
155
ScienceDirect
155
Networked Digital Library of Theses & Dissertations
87
Vybrané kolekce e-knih
65
MEDLINE
48
Emerald Insight
22
Library, Information Science & Technology Abstracts
18
JSTOR Journals
17
OAPEN Library
9
Social Sciences Citation Index
7
Britannica Online
5
Katalog Knihovny AV ČR
5
NORA (Norwegian Open Research Archive)
5
SAGE Knowledge
4
Research Starters
3
Oxford Scholarship Online
3
SAGE Research Methods
3
Central and Eastern European Online Library (CEEOL)
2
GreenFILE
2
Oxford Reference
1
Arts & Humanities Citation Index
1
Regional Business News
Geografie
83
united states
14
china
11
india
8
pennsylvania
7
russia
5
europe
5
israel
3
south africa
2
master of science (school of computer science.)
2
turkey
Umístění
5
Knav
Rok vydání
Od:
do:
×
načítá se......