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í: "BOULANGER Jean-Louis"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
114
pro vyhledávání:
'"BOULANGER Jean-Louis"'
Ř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
Applications Logicielles Certifiables 3. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
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 requests.)
Vybrat výsledek číslo 2
2
Kniha
Certifiable software applications. 3, Downward cycle / Jean-Louis Boulanger. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 3
3
Kniha
Applications Logicielles Certifiables 2. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
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 requests.)
Vybrat výsledek číslo 4
4
Kniha
Certifiable software applications. 2, Support processes / Jean-Louis Boulanger. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 5
5
Kniha
Applications Logicielles Certifiables 1. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
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 requests.)
Vybrat výsledek číslo 6
6
Kniha
Certifiable software applications 1 : main processes / Jean-Louis Boulanger. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 7
7
Kniha
Techniques de Sécurisation des Applications à Base de Logiciel. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
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 requests.)
Vybrat výsledek číslo 8
8
Kniha
CENELEC 50128 and IEC 62279 standards / Jean-Louis Boulanger. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 9
9
Kniha
Mise en Oeuvre des Normes CENELEC 50128 et IEC 62279. [elektronicky zdroj]
Autor:
Boulanger, Jean-Louis
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 requests.)
Vybrat výsledek číslo 10
10
Kniha
Mise en Oeuvre de la Méthode B. [elektronicky zdroj]
Autor:
BOULANGER, Jean-Louis
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 requests.)
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[12]
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
87
Knihy
20
Electronic Resources
5
Elektronické knihy
4
Akademické články
Předmět
20
electronic books
5
computingmilieux_miscellaneous
4
[info.info-es]computer science [cs]/embedded systems
4
[info]computer science [cs]
4
[spi.other] engineering sciences [physics]/other
4
[spi.other]engineering sciences [physics]/other
4
application software -- development
3
[info.info-es] computer science [cs]/embedded systems
3
formal methods (computer science)
3
safety
2
[info.info-cc] computer science [cs]/computational complexity [cs.cc]
2
[info.info-se]computer science [cs]/software engineering [cs.se]
2
[info] computer science [cs]
2
[qfin.rm] quantitative finance [q-fin]/risk management [q-fin.rm]
2
[spi.auto]engineering sciences [physics]/automatic
2
[spi] engineering sciences [physics]
2
asil
2
b method (computer science)
2
computer security
2
securite
2
sil
1
[info.info-pf]computer science [cs]/performance [cs.pf]
1
[info.info-ro]computer science [cs]/operations research [cs.ro]
1
[math.math-st]mathematics [math]/statistics [math.st]
1
[spi.auto] engineering sciences [physics]/automatic
1
b-method
1
business
1
business.industry
1
complex systems
1
computer architecture
1
computer engineering
1
computer hardware
1
computer science
1
computer science::software engineering
1
computer simulation
1
computer software -- quality control
1
computer software -- testing
1
computer software -- verification
1
computer systems -- reliability
1
computer-aided design
1
dal
1
debugging in computer science
1
digital electronics
1
elicitation technique
1
embedded
1
facteur humain
1
formal method
1
formalization
1
human reliability
1
level crossing
Vydavatel
67
wiley-blackwell
18
hal ccsd
5
iste
5
iste editions ltd.
5
wiley
4
hermes science publications
4
lavoisier
2
elsevier
2
iste press
1
association for computing machinery
1
international society for computers & their applications
1
iste ltd./john wiley and sons inc.
1
iste press limited
1
iste/wiley
1
revue internationale eti
Publikováno v
17
cenelec 50128 & iec 62279 standards
16
safety of computer architectures
12
industrial use of formal methods: formal verification
12
static analysis of software: the abstract interpretation
10
safety management for software-based equipment
1
acm / sigplan notices
1
e-ti: e-review in technologies information
1
ifac proceedings volumes
1
international journal for computers & their applications
Zdroj
70
Complementary Index
20
Vybrané kolekce e-knih
19
OpenAIRE
4
eBook Index
1
ScienceDirect
Rok vydání
Od:
do:
×
načítá se......
