Výsledky vyhledávání - "Oehlerking, J"

Knihovna AV ČR, v. v. i.

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

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Oehlerking, J"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 25 pro vyhledávání: '"Oehlerking, J"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Complete genome sequence of the hemotrophic Mycoplasma suis strain KI3806

Autor: Oehlerking, J, Kube, M, Felder, K M, Matter, D, Wittenbrink, M M, Schwarzenbach, S, Kramer, M M, Hoelzle, K, Hoelzle, L E

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______885::4859b705ac0b149cce763985c720e348
https://doi.org/10.5167/uzh-59855

Zobrazit plný text záznamu

Vybrat výsledek číslo 2 2

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 3 3

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 4 4

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 5 5

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 6 6

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 7 7

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 8 8

Conference

Verification of orbitally self-stabilizing distributed algorithms using Lyapunov functions and Poincare maps.

Autor: Dhama, A., Oehlerking, J., Theel, O.

Publikováno v: 12th International Conference on Parallel & Distributed Systems - (ICPADS'06); 2006, p8-8, 1p

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Conference

Towards push-of-a-button stability verification for discrete-time hybrid systems.

Autor: Burchardt, H., Oehlerking, J., Theel, O.

Publikováno v: 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05); 2005, p5-5, 1p

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat vše | Vybrané výsledky:

1
2
3
Další »
[3]

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

19 Konferenční materiály
8 Knihy
4 Akademické články

5 hybrid systems
3 verification
2 lyapunov functions
2 lyapunov theory
2 piecewise affine systems
2 self-stabilization
2 stability
1 10082 institute of food safety and hygiene
1 1312 molecular biology
1 2404 microbiology
1 570 life sciences
1 approximate bisimulation
1 approximate simulation
1 automated driving
1 automated test generation
1 automatic verification
1 biology
1 bisimulation
1 conformance testing
1 continuous simulation
1 continuous time
1 convergence
1 cyber-physical systems
1 distributed algorithms
1 experience paper
1 fault tolerance
1 genome, bacterial
1 language equivalence
1 language inclusion
1 linear matrix inequalities
1 lmis
1 model checking
1 mycoplasma
1 partitioning
1 poincare maps
1 reachability analysis
1 refinement
1 search-based testing
1 temporal logic
1 trace equivalence

6 institute of electrical and electronics engineers inc.
3 springer verlag
2 ieee
1 american society for microbiology
1 association for computing machinery
1 association for computing machinery, inc
1 elsevier ltd
1 ieee computer society
1 international institute of informatics and systemics, iiis
1 springer international publishing

7 lecture notes in computer science
2 journal of bacteriology
1 11th pacific rim international symposium on dependable computing (prdc'05)
1 12th international conference on parallel & distributed systems - (icpads'06)
1 2020 ieee 23rd international conference on intelligent transportation systems, itsc 2020
1 3rd international conference on computing, communications and control technologies, ccct 2005, proceedings
1 acm transactions on cyber-physical systems
1 advanced model-based engineering of embedded systems: extensions of the spes 2020 methodology
1 automated technology for verification and analysis - 14th international symposium, atva 2016, proceedings
1 automated technology for verification and analysis - 7th international symposium, atva 2009, proceedings
1 hscc 2016 - proceedings of the 19th international conference on hybrid systems: computation and control
1 hybrid systems: computation and control - 10th international conference, hscc 2007, proceedings
1 hybrid systems: computation and control - 12th international conference, hscc 2009, proceedings
1 ieee conference on intelligent transportation systems, proceedings, itsc
1 ieee intelligent vehicles symposium, proceedings
1 ieee international conference on intelligent robots and systems
1 nonlinear analysis: hybrid systems
1 proceedings - 11th pacific rim international symposium on dependable computing, prdc 2005
1 proceedings - 2019 34th ieee/acm international conference on automated software engineering, ase 2019
1 proceedings of the american control conference
1 proceedings of the international conference on parallel and distributed systems - icpads
1 self-stabilizing systems - 7th international symposium, sss 2005, proceedings
1 time for verification - essays in memory of amir pnueli

21 Scopus®
2 Complementary Index
1 MEDLINE
1 OpenAIRE

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......