Výsledky vyhledávání - "BOULANGER Jean-Louis"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Knihovna bude uzavřena od 23. 12. 2024 do 3. 1. 2025.

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 299 pro vyhledávání: '"BOULANGER Jean-Louis"'

Řazení

Vybrat vše | Vybrané výsledky:

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:

1
2
3
4
5
6
7
8
9
10
11
Další »
[30]

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

148 Elektronické knihy
125 Knihy
20 Electronic Resources
6 Akademické články
2 Konferenční materiály

20 electronic books
9 mathematical optimization
5 computer security
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
4 formal methods (computer science)
4 microprocessors
3 [info.info-es] computer science [cs]/embedded systems
3 actuators
3 aerospace engineering
3 big data
3 business logistics
3 business logistics--mathematical models
3 cloud computing
3 computer programming
3 computer science
3 open source software
3 safety
3 software engineering
3 system analysis
3 three-dimensional printing
3 urban transportation
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 augmented reality
2 automatic control
2 b method (computer science)
2 business logistics--management
2 computer architecture
2 computer networks--security measures
2 computer simulation
2 computer software--testing
2 data mining
2 databases
2 debugging in computer science
2 evolutionary computation
2 freight and freightage
2 heuristic programming
2 java (computer program language)
2 machine theory
2 manufacturing processes

130 wiley-iste
100 wiley-blackwell
18 hal ccsd
7 lavoisier
6 wiley
5 iste
5 iste editions ltd.
5 springer nature
4 hermes science publications
2 editions l'harmattan
2 elsevier
2 ieee
2 iste press
1 association for computing machinery
1 biomed central
1 canadian journal of psychoanalysis
1 crc press
1 igi global
1 international society for computers & their applications
1 iste ltd./john wiley and sons inc.
1 iste press limited
1 iste/wiley
1 j.b. metzler
1 lit verlag berlin
1 oup oxford
1 revue internationale eti
1 routledge
1 spm

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 2006 2nd international conference on information & communication technologies
1 2015 13th international conference on frontiers of information technology (fit)
1 acm / sigplan notices
1 advanced graph theory & combinatorics
1 aerospace actuators 1
1 aerospace actuators 2
1 benefits of bayesian network models, volume 2
1 canadian journal of psychoanalysis / revue canadienne de psychanalyse
1 cobol software modernization
1 data mining & machine learning in building energy analysis
1 digital transformation
1 e-enabled operations management
1 enterprise innovation: from creativity to engineering
1 enterprise interoperability (9781786300843)
1 e-ti: e-review in technologies information
1 evolutionary algorithms
1 evolutionary algorithms for food science & technology, volume 7
1 evolutionary computation with biogeography-based optimization
1 eyestrain reduction in stereoscopy
1 formal languages, automata & numeration systems 1
1 formal languages, automata & numeration systems 2
1 formal methods
1 formal methods applied to complex systems
1 graph-related optimization & decision support systems
1 ifac proceedings volumes
1 international journal for computers & their applications
1 metaheuristics for air traffic management
1 metaheuristics for big data, volume 5
1 metaheuristics for logistics
1 metaheuristics for string problems in bio-informatics
1 metaheuristics for vehicle routing problems
1 microbiome
1 modeling & simulation of logistics flows 1
1 modeling & simulation of logistics flows 2
1 modeling & simulation of logistics flows 3
1 musical rhetoric
1 parallel scientific computing (9781848215818)
1 performance evaluation by simulation & analysis with applications to computer networks
1 process control design for industrial applications
1 production & maintenance optimization problems
1 rapid prototyping of software for avionics systems
1 robust control optimization with metaheuristics
1 scheduling of large-scale virtualized infrastructures
1 supply chain management & business performance
1 systems dependability assessment: benefits of petri net models

146 eBook Index
111 Complementary Index
20 Vybrané kolekce e-knih
19 OpenAIRE
1 ScienceDirect
1 eBook Collection (EBSCOhost)
1 Academic Search Ultimate

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......