Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archiv AV ČR
Archeologický ústav
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Centrum medievistických studií
Centrum výzkumu globální změny
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 dějin umění
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. Heyrovského
Ústav fyziky atmosféry
Ústav fyziky materiálů
Ústav geoniky
Ústav chemických procesů
Ústav informatiky
Ústav jaderného výzkumu
Ústav makromolekulární chemie
Ústav pro českou literaturu
Ústav pro hydrodynamiku
Ústav pro jazyk český
Ú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
Výzkumné centrum pro dějiny vědy
×
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í: "Formal methods"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
22 941
pro vyhledávání:
'"Formal methods"'
Řazení
od nejnovějšího
od nejstaršího
podle relevance
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Kniha
Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings. [elektronicky zdroj]
Autor:
Chechik, Marsha
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 2
2
Kniha
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, Cosim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. [elektronicky zdroj]
Autor:
Cerone, Antonio
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
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. [elektronicky zdroj]
Autor:
Groote, Jan Friso
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 4
4
Kniha
Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. [elektronicky zdroj]
Autor:
Calinescu, Radu
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
Formal Methods : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. [elektronicky zdroj]
Autor:
Campos, Sérgio
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
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. [elektronicky zdroj]
Autor:
Qin, Shengchao
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 7
7
Kniha
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. [elektronicky zdroj]
Autor:
Ferreira, João F.
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 8
8
Kniha
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. [elektronicky zdroj]
Autor:
Huisman, Marieke
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 9
9
Kniha
Formal Analysis for Natural Language Processing : a Handbook. [elektronicky zdroj]
Autor:
Feng, Zhiwei
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 10
10
Kniha
Computer Performance Engineering : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings. [elektronicky zdroj]
Autor:
Gilly, Katja
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še | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[2295]
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
4 553
Akademické články
2 530
Konferenční materiály
958
Knihy
305
Dissertations
227
Elektronické knihy
173
Electronic Resources
50
Recenze
26
Časopisy
15
Trade Publications
7
Reports
6
Non-Print Resources
1
Biographies
Předmět
12 304
computer science
7 392
business
7 366
business.industry
6 651
computer
5 898
computer.software_genre
4 138
formal specification
4 080
programming language
3 696
software engineering
3 572
formal verification
3 148
software
2 620
theoretical computer science
2 312
02 engineering and technology
2 197
model checking
2 169
0202 electrical engineering, electronic engineering, information engineering
1 781
computer.programming_language
1 494
verification
1 350
specification language
1 348
software development
1 243
artificial intelligence
1 242
correctness
1 214
020207 software engineering
1 100
020201 artificial intelligence & image processing
1 044
distributed computing
963
media_common
958
media_common.quotation_subject
836
formal methods (computer science)
790
language of temporal ordering specification
789
software verification
772
systems engineering
763
algorithm
750
process (engineering)
731
refinement
716
software system
703
computer security
657
general computer science
657
temporal logic
652
engineering
607
01 natural sciences
598
functional verification
560
software construction
558
intelligent verification
540
information systems
538
unified modeling language
532
computer science applications
529
software requirements specification
528
runtime verification
525
hardware and architecture
516
petri net
512
mathematics
499
software verification and validation
Vydavatel
2 479
springer berlin heidelberg
2 429
ieee
798
springer international publishing
664
institute of electrical and electronics engineers inc.
559
springer
402
springer verlag
330
elsevier b.v.
287
elsevier science bv
258
elsevier
233
association for computing machinery
230
ieee-inst electrical electronics engineers inc
171
wiley
157
springer nature
132
ieee computer soc
104
ios press
75
assoc computing machinery
75
mdpi ag
73
springer-verlag
70
springer international publishing ag
69
mdpi
69
springer heidelberg
67
igi global
54
elsevier sci ltd
50
wiley-blackwell
45
taylor & francis ltd
43
cambridge university press
31
oxford university press
28
world scientific publishing company
18
academic press inc elsevier science
18
academic press ltd- elsevier science ltd
18
br
17
universidade federal do rio grande do norte
14
frontiers media s.a.
12
frontiers media sa
12
peerj inc.
11
university of oxford
10
universite libre de bruxelles
9
the royal society
7
vilnius university press
6
newswood limited
6
tsl education limited
5
frontiers research foundation
3
institution of engineering & technology
3
tech science press
3
the mit press
2
faculty of organization and informatics, university of zagreb
2
fakultet organizacije i informatike, sveuciliste u zagrebu
2
special libraries association, education division
2
vilniaus universiteto leidykla
1
ntnu
Publikováno v
563
lecture notes in computer science
414
ieee transactions on software engineering
255
electronic notes in theoretical computer science
255
science of computer programming
238
international journal on software tools for technology transfer
228
information processing letters
195
formal aspects of computing
149
information and software technology
124
formal methods in system design
113
ieee access
102
theoretical computer science
101
journal of systems and software
90
international journal of software engineering and knowledge engineering
89
ieee software
59
ieee transactions on computers
48
ieee transactions on automatic control
47
acm computing surveys
42
journal of automated reasoning
41
acm transactions on software engineering and methodology
40
reliability engineering & system safety
39
acm transactions on embedded computing systems
37
computer networks
35
communications of the acm
32
computer journal
32
requirements engineering
31
journal of computer security
29
information sciences
25
ieee transactions on control systems technology
24
fundamenta informaticae
24
ieee transactions on human-machine systems
24
interacting with computers
23
peerj computer science
22
automatica
21
expert systems with applications
21
international journal of robotics research
21
journal of applied logic
20
annals of software engineering
20
synthese
19
frontiers in robotics and ai
19
international journal of information security
14
ai communications
14
parallel processing letters
12
artificial intelligence in medicine
12
ieee transactions on education
11
international journal of foundations of computer science
11
radiologia medica
9
minds and machines
6
times higher education supplement
5
journal of management information systems
4
journal of information and organizational sciences
Zdroj
15 071
OpenAIRE
4 615
Scopus®
1 619
Science Citation Index Expanded
338
Networked Digital Library of Theses & Dissertations
268
Complementary Index
245
Academic Search Ultimate
149
Vybrané kolekce e-knih
148
Business Source Ultimate
144
eBook Index
115
Directory of Open Access Journals
65
Social Sciences Citation Index
44
MEDLINE
36
Supplemental Index
16
Arts & Humanities Citation Index
15
OAPEN Library
15
eBook Collection (EBSCOhost)
9
Library, Information Science & Technology Abstracts
8
Oxford Scholarship Online
7
NORA (Norwegian Open Research Archive)
5
Central and Eastern European Online Library (CEEOL)
4
JSTOR Journals
4
Emerald Insight
1
arXiv
Geografie
4
united states
3
canada
3
edinburgh (scotland)
3
europe
3
ontario
3
toronto (ont.)
2
denmark
2
kampala (uganda)
2
uganda
1
france
Rok vydání
Od:
do:
×
načítá se......