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 045
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 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ší »
[2305]
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 596
Akademické články
2 567
Konferenční materiály
985
Knihy
306
Dissertations
242
Elektronické knihy
174
Electronic Resources
50
Recenze
26
Časopisy
15
Trade Publications
7
Reports
6
Non-Print Resources
1
Biographies
Předmět
12 305
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 704
software engineering
3 574
formal verification
3 148
software
2 620
theoretical computer science
2 312
02 engineering and technology
2 206
model checking
2 169
0202 electrical engineering, electronic engineering, information engineering
1 781
computer.programming_language
1 501
verification
1 350
specification language
1 348
software development
1 253
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
840
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
658
temporal logic
657
general computer science
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
526
runtime verification
525
hardware and architecture
516
petri net
512
mathematics
499
software verification and validation
Vydavatel
2 479
springer berlin heidelberg
2 431
ieee
798
springer international publishing
680
institute of electrical and electronics engineers inc.
571
springer
402
springer verlag
332
elsevier b.v.
287
elsevier science bv
259
elsevier
238
association for computing machinery
236
ieee-inst electrical electronics engineers inc
170
wiley
160
springer nature
133
ieee computer soc
104
ios press
76
assoc computing machinery
75
mdpi ag
73
springer-verlag
70
mdpi
70
springer heidelberg
70
springer international publishing ag
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
584
lecture notes in computer science
415
ieee transactions on software engineering
256
science of computer programming
255
electronic notes in theoretical computer science
240
international journal on software tools for technology transfer
228
information processing letters
196
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
89
ieee software
59
ieee transactions on computers
49
ieee transactions on automatic control
47
acm computing surveys
42
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 071
OpenAIRE
4 679
Scopus®
1 635
Science Citation Index Expanded
339
Networked Digital Library of Theses & Dissertations
268
Complementary Index
245
Academic Search Ultimate
153
eBook Index
149
Vybrané kolekce e-knih
148
Business Source Ultimate
123
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......
