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 (Computer science)-Congresses."
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
205
pro vyhledávání:
'"Formal methods (Computer science)-Congresses."'
Ř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 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 2
2
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ýsledek číslo 3
3
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 4
4
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ýsledek číslo 5
5
Kniha
Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. [elektronicky zdroj]
Autor:
Lima, Lucas
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
Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. [elektronicky zdroj]
Autor:
Tapia Tarifa, Silvia Lizeth
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
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. [elektronicky zdroj]
Autor:
Schlingloff, Bernd-Holger
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
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 9
9
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 10
10
Kniha
Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. [elektronicky zdroj]
Autor:
Bogomolov, Sergiy
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ší »
[21]
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
130
Elektronické knihy
94
Knihy
94
Electronic Resources
1
Konferenční materiály
Předmět
124
formal methods (computer science)--congresses
94
electronic books
64
formal methods (computer science)-congresses
23
software engineering--congresses
18
computer software--verification--congresses
17
formal methods (computer science)
14
software engineering-congresses
9
software engineering
8
formal methods (computer science)-congresses.
8
kongress
7
computer software--testing--congresses
7
formal methods (computer science) -- congresses
7
ontologies (information retrieval)--congresses
6
computer network protocols--congresses
6
computer software--development--congresses
6
computer systems--evaluation--congresses
6
conference proceedings
6
electronic data processing--distributed processing--congresses
6
software architecture--congresses
5
component software--congresses
5
computer hardware description languages--congresses
5
computer science
5
computer security--congresses
5
computer simulation--congresses
5
formale methode
5
temporal automata--congresses
4
computer programs--verification--congresses
4
conference papers and proceedings
4
software engineering-congresses.
4
stochastic models--congresses
4
system analysis--congresses
3
computer software--verification
3
computer software-verification-congresses
3
electronic data processing--distributed processi
3
object-oriented programming (computer science)--
3
object-oriented programming (computer science)--congresses
3
software engineering -- congresses
3
system design--congresses
3
system design--mathematics--congresses
3
trust--congresses
3
web services--congresses
2
application software-development-congresses.
2
artificial intelligence
2
artificial intelligence--congresses
2
blockchains (databases)-congresses
2
computer logic
2
computer logic--congresses
2
computer programs--reliability--congresses
2
computer programs--testing--congresses
2
computer science--congresses
Vydavatel
103
springer
61
springer international publishing ag
12
springer berlin heidelberg
8
ios press
7
springer berlin / heidelberg
3
springer london, limited
2
imperial college press
2
springer vieweg
1
cepadues-editions
1
elsevier science
1
kluwer academic
1
peter lang gmbh, internationaler verlag der wissenschaften
1
springer science+ business media
1
springer singapore pte. limited
Zdroj
100
eBook Index
94
Vybrané kolekce e-knih
10
eBook Collection (EBSCOhost)
1
OpenAIRE
Rok vydání
Od:
do:
×
načítá se......
