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
Knihovna bude uzavřena od 23. 12. 2024 do 3. 1. 2025.
×
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 (Computer science)"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
1 132
pro vyhledávání:
'"FORMAL methods (Computer science)"'
Ř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
Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings. [elektronicky zdroj]
Autor:
Herber, Paula
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
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še | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[114]
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
633
Akademické články
215
Elektronické knihy
154
Knihy
153
Electronic Resources
26
Časopisy
26
Dissertations
11
Konferenční materiály
4
Trade Publications
1
Biographies
Předmět
902
formal methods (computer science)
333
formal methods
209
systems design
149
electronic books
145
software engineering
124
formal methods (computer science)--congresses
121
computer software
105
computer software development
85
computer science
65
formal methods (computer science)-congresses
64
verification
60
algorithms
58
model checking
57
software verification
53
technical specifications
51
programming languages
41
petri nets
40
semantics
32
computer systems
32
mathematical models
31
software architecture
31
system analysis
30
computer security
29
computer simulation
29
formal specification
28
unified modeling language
26
computer programming
25
machine theory
25
mathematics
23
computer network protocols
23
formal method
23
formal verification
23
software engineering--congresses
21
electronic data processing
20
artificial intelligence
20
automation
20
security
20
software
20
testing
19
embedded computer systems
19
java programming language
19
object-oriented methods (computer science)
19
specification
18
business
18
computer
18
computer software--verification--congresses
18
distributed computing
17
business.industry
17
validation
16
02 engineering and technology
Vydavatel
223
ieee
161
springer
131
springer nature
94
elsevier b.v.
70
springer international publishing ag
57
association for computing machinery
38
ios press
28
world scientific publishing company
26
wiley-blackwell
23
taylor & francis ltd
18
springer berlin heidelberg
14
oxford university press / usa
10
springer berlin / heidelberg
9
cambridge university press
9
hal ccsd
6
programa de pos-graduacao em ciencia da computacao
6
universidade estadual de campinas. instituto de computacao
5
[austin, tex. : university of texas libraries
5
institute of electrical and electronics engineers (ieee)
5
wiley
4
ceur-ws.org
4
united business media
3
institution of engineering & technology
3
newswood limited
3
sage publications, ltd.
3
society for industrial & applied mathematics
3
soochow university
3
springer international publishing
3
springer vieweg
3
the mit press
3
universidade estadual de campinas - repositorio institucional
2
american institute of physics
2
application research of computers edition
2
cambridge scholars publishing
2
elsevier
2
emerald publishing limited
2
newnes
2
tech science press
2
techtarget, inc.
2
university of oxford
2
up media group, inc.
2
uppsala : acta universitatis upsaliensis : univ.-bibl. [distributor]
1
[gainesville, fla.] : university of florida
1
awarded by:university of new south wales. school of computer science and engineering
1
csusb scholarworks
1
morgantown, w. va. : [west virginia university libraries]
1
pdxscholar
1
stellenbosch : university of stellenbosch
1
universite libre de bruxelles
1
universite libre de bruxelles, faculte des sciences - informatique, bruxelles
Publikováno v
129
ieee transactions on software engineering
56
international journal on software tools for technology transfer
33
ieee software
22
formal aspects of computing
16
entcs: electronic notes in theoretical computer science
14
communications of the acm
14
international journal of software engineering & knowledge engineering
13
computer journal
12
acm computing surveys
12
ieee transactions on computers
12
software & systems modeling
10
computer (00189162)
9
ieee transactions on computer-aided design of integrated circuits & systems
9
ieee transactions on systems, man & cybernetics: part a
9
international journal of foundations of computer science
9
journal of information technology (routledge, ltd.)
8
fundamenta informaticae
6
ai communications
6
international journal of information security
6
journal of computer security
6
journal of software: evolution & process
6
repositorio institucional da unicamp
6
unicamp
6
universidade estadual de campinas
5
formal methods in system design
4
annals of mathematics & artificial intelligence
4
annals of software engineering
4
cybernetics & systems analysis
4
journal of computational methods in sciences & engineering
4
mathematical & computer modelling of dynamical systems
4
minds & machines
4
requirements engineering
4
world wide web
3
ieee transactions on automatic control
3
ieee transactions on automation science & engineering
3
ieee transactions on education
3
ieee transactions on knowledge & data engineering
3
ieee transactions on parallel & distributed systems
3
iet software (institution of engineering & technology)
3
international journal of computer mathematics
3
international journal of parallel programming
3
international journal of robotics research
3
journal of intelligent & fuzzy systems
3
parallel processing letters
3
siam journal on computing
2
computer systems science & engineering
2
government information quarterly
2
human factors & ergonomics in manufacturing
2
proceedings of the world congress on engineering & computer science 2012 volume i
1
ieee access
Zdroj
268
Complementary Index
241
Academic Search Ultimate
154
eBook Index
151
Vybrané kolekce e-knih
145
Business Source Ultimate
75
OpenAIRE
42
Networked Digital Library of Theses & Dissertations
36
Supplemental Index
17
eBook Collection (EBSCOhost)
3
Library, Information Science & Technology Abstracts
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......
