Výsledky vyhledávání - "počítačové systémy"

Preferované termíny:

virtualizace (počítače), formuláře a záznamy - kontrola a vedení

Související termíny:

počítačové metodologie, počítače, počítačové komunikační sítě, formální verifikace, multiprocesorové systémy, vestavěné systémy, chorobopisy, informační systémy, čipové karty ve zdravotnictví, elektronické zdravotní záznamy, systémy podporující rozhodování v léčbě

1

Obálka

Model checking /

Autor Grumberg, Orna, 1952-, Peled, Doron A., 1962-, Clarke, E. M., 1945-
Vydáno 1999

Témata: '; “...počítačové systémy...”

Kniha

2

Obálka

Unfoldings : a partial-order approach to model checking /

Autor Esparza, Javier, 1964-, Heljanko, Keijo.
Vydáno 2008

Témata: '; “...počítačové systémy...”

Kniha

3

Obálka

Learning classifier systems : international workshops, IWLCS 2003-2005 : revised selected papers /

Vydáno 2007

Témata: '; “...počítačové systémy...”

Kniha

4

Obálka

Learning classifier systems : 10th International Workshop, IWLCS 2006 : Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007 : London, UK, July 8, 2007 : revised selected papers /

Vydáno 2008

Témata: '; “...počítačové systémy...”

Kniha

5

Obálka

Building secure software : how to avoid security problems the right way

Autor Viega, John, McGraw, Gary, 1966-
Vydáno 2012

Témata: '; “...počítačové systémy...”

Kniha

6

Obálka

Grid resource management : state of the art and future trends /

Vydáno 2004

Témata: '; “...počítačové systémy...”

Kniha