Výsledky vyhledávání - "computer systems"

Preferované termíny:

počítačové systémy, ACSAC 2005 (Singapur), ACSAC 2007 (Soul, Korea), PACS (workshop) (2004 : Portland, Oregon), PACS (workshop) (2003 : San Diego, Kalifornie)

Alternativní vyhledávání:
"computer systems" » "computer system"

1

Obálka

Grid computing for developers /

Autor Silva, Vladimir, 1969-
Vydáno 2006

Témata: '; “...computer systems...”

Kniha

2

Obálka

Model Checking Software : 15th International SPIN Workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings /

Vydáno 2008

Témata: '; “...computer systems...”

Kniha

3

Obálka

Principles of model checking /

Autor Baier, Christel, Katoen, Joost-Pieter, 1964-
Vydáno 2008

Témata: '; “...computer systems...”

Kniha

4

Obálka

Advanced topics in exception handling components /

Vydáno 2006

Témata: '; “...computer systems...”

Kniha

5

Obálka

UIST 2008 : proceedings of the 21th Annual ACM Symposium on User Interface Software and Technology : Monterey, California, October 19-22, 2008

Vydáno 2008

Témata: '; “...interactive computer systems...”

Kniha

6

Obálka

Engineering dependable software systems /

Vydáno 2013

Témata: '; “...computer systems...”

Kniha

7

Obálka

Model Checking Software /

Autor Ročkai, Petr
Vydáno 2015

Témata: '; “...computer systems...”
Získat plný text

VŠ práce nebo rukopis

8

Obálka

Ceph cookbook : over 100 effective recipes to help you design, implement, and manage the software-defined and massively scalable Ceph storage system /

Autor Singh, Karan
Vydáno 2016

Témata: '; “...computer systems...”

Kniha

9

Obálka

Embedded software /

Autor Labrosse, Jean J., Ganssle, Jack G., 1953-, Noergaard, Tammy, Walls, Colin, Curtis, Keith, 1961-, Oshana, Robert, Andrews, Jason R., Katz, David J., Gentile, Rick, Hyder, Kamal, Perrin, Bob
Vydáno 2008

Témata: '; “...computer systems...”

Kniha

10

Obálka

Test and measurement /

Autor Wilson, Jon S., Kester, Walt, Ball, Stuart, 1956-, De Silva, G. M. S., Ibrahim, Dogan, James, Kevin J., 1973-, Williams, Tim, 1954-, Laughton, M. A., 1934-, Warne, D. F., Nadovich, Chris, Porter, Alex, Ramsden, Ed, Fischer-Cripps, Anthony C., Scheiber, Steve
Vydáno 2008

Témata: '; “...computer systems...”

Kniha

11

Obálka

Handbook of model checking /

Vydáno 2018

Témata: '; “...computer systems...”

Kniha

12

Obálka

UIST 2009 : proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology : Victoria, British Columbia, October 4-7, 2009

Vydáno 2009

Témata: '; “...interactive computer systems...”

Kniha

13

Obálka

Intel trusted execution technology for server platforms : a guide to more secure datacenters /

Autor Futral, William, Green, James
Vydáno 2013

Témata: '; “...computer systems...”

Kniha

14

Obálka

Kubernetes in action /

Autor Lukša, Marko
Vydáno 2018

Témata: '; “...computer systems...”

Kniha

15

Obálka

Dodávky výpočetní techniky a výpočetních prací /

Autor Bejček, Josef, 1952-, Marek, Karel, 1949-
Vydáno 1990

Témata: '; “...computer systems...”

Kniha

16

Obálka

Discrete-event system simulation /

Autor Banks, Jerry, 1939-2012, Carson, John S., Nelson, Barry L., Nicol, David M.
Vydáno 2014

Témata: '; “...computer systems...”

Kniha