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í: "FORMAL METHODS"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
23 060
pro vyhledávání:
'"FORMAL METHODS"'
Ř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
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 Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. [elektronicky zdroj]
Autor:
Li, Yi
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
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings. [elektronicky zdroj]
Autor:
Ferreira, Carla
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ší »
[2306]
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 606
Akademické články
2 574
Konferenční materiály
991
Knihy
306
Dissertations
242
Elektronické knihy
176
Electronic Resources
50
Recenze
26
Časopisy
15
Trade Publications
7
Reports
6
Non-Print Resources
1
Biographies
Předmět
12 295
computer science
7 385
business
7 359
business.industry
6 648
computer
5 895
computer.software_genre
4 136
formal specification
4 080
programming language
3 702
software engineering
3 573
formal verification
3 147
software
2 619
theoretical computer science
2 310
02 engineering and technology
2 208
model checking
2 169
0202 electrical engineering, electronic engineering, information engineering
1 780
computer.programming_language
1 502
verification
1 351
software development
1 348
specification language
1 253
artificial intelligence
1 241
correctness
1 212
020207 software engineering
1 101
020201 artificial intelligence & image processing
1 045
distributed computing
962
media_common
957
media_common.quotation_subject
841
formal methods (computer science)
791
software verification
789
language of temporal ordering specification
770
systems engineering
762
algorithm
747
process (engineering)
730
refinement
715
software system
702
computer security
658
temporal logic
656
general computer science
651
engineering
606
01 natural sciences
598
functional verification
561
software construction
557
intelligent verification
541
information systems
540
unified modeling language
533
computer science applications
529
software requirements specification
528
runtime verification
524
hardware and architecture
514
petri net
513
mathematics
499
software verification and validation
Vydavatel
2 474
springer berlin heidelberg
2 430
ieee
798
springer international publishing
682
institute of electrical and electronics engineers inc.
571
springer
402
springer verlag
332
elsevier b.v.
287
elsevier science bv
260
elsevier
239
association for computing machinery
236
ieee-inst electrical electronics engineers inc
171
wiley
160
springer nature
133
ieee computer soc
104
ios press
76
assoc computing machinery
75
mdpi ag
73
springer-verlag
71
mdpi
71
springer international publishing ag
70
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
587
lecture notes in computer science
415
ieee transactions on software engineering
257
science of computer programming
255
electronic notes in theoretical computer science
240
international journal on software tools for technology transfer
229
information processing letters
197
formal aspects of computing
149
information and software technology
124
formal methods in system design
116
ieee access
103
journal of systems and software
102
theoretical computer science
90
international journal of software engineering and knowledge engineering
88
ieee software
59
ieee transactions on computers
49
ieee transactions on automatic control
47
acm computing surveys
43
journal of automated reasoning
41
acm transactions on embedded computing systems
41
acm transactions on software engineering and methodology
40
reliability engineering & system safety
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
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
12
radiologia medica
11
international journal of foundations of computer science
9
minds and machines
7
international journal of computer mathematics
6
times higher education supplement
5
journal of management information systems
4
journal of information and organizational sciences
Zdroj
15 066
OpenAIRE
4 692
Scopus®
1 638
Science Citation Index Expanded
339
Networked Digital Library of Theses & Dissertations
268
Complementary Index
245
Academic Search Ultimate
153
eBook Index
151
Vybrané kolekce e-knih
148
Business Source Ultimate
125
Directory of Open Access Journals
65
Social Sciences Citation Index
44
MEDLINE
36
Supplemental Index
18
OAPEN Library
17
eBook Collection (EBSCOhost)
16
Arts & Humanities Citation Index
9
Library, Information Science & Technology Abstracts
8
Oxford Scholarship Online
7
NORA (Norwegian Open Research Archive)
5
Emerald Insight
5
Central and Eastern European Online Library (CEEOL)
4
JSTOR Journals
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......
