Grid computing for developers /

Autor Silva, Vladimir, 1969-
Vydáno 2006

Advanced topics in exception handling components /

Vydáno 2006

Principles of model checking /

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

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

Vydáno 2008

Kubernetes in action /

Autor Lukša, Marko
Vydáno 2018

Discrete-event system simulation /

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

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

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

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

Handbook of model checking /

Vydáno 2018

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

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

Engineering dependable software systems /

Vydáno 2013

Model Checking Software /

Autor Ročkai, Petr
Vydáno 2015

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

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