Náš život s počítači.

Autor Tůma, Jan, 1930-
Vydáno 1990

Fast software encryption : 14th International Workshop, FSE 2007 : Luxembourg, Luxembourg, March 26-28, 2007 : revised selected papers /

Vydáno 2007

Fast software encryption : 15th International Workshop, FSE 2008 : Lausanne, Switzerland, February 10-13, 2008 : revised selected papers /

Vydáno 2008

Computers in society /

Autor Stern, Nancy, 1959-, Stern, Robert A.
Vydáno 1983

Cesty moderního programování /

Autor Koubský, Petr, 1961-
Vydáno 1991

Discovering computers 2016 : tools, apps, devices, and the impact of technology /

Autor Vermaat, Misty, 1963-, Sebok, Susan L., Freund, Steven M., Campbell, Jennifer T., Frydenberg, Mark
Vydáno 2016

Discovering computers 2010 : living in a digital world, complete /

Autor Shelly, Gary B., 1941-, Vermaat, Misty, 1963-
Vydáno 2010

Discovering computers 2011 : living in a digital world, complete /

Autor Shelly, Gary B., 1941-, Vermaat, Misty, 1963-
Vydáno 2011

An introduction to computer science : a structured problem-solving approach /

Autor Behforooz, Ali, 1942-, Sharma, Onkar Prasad, 1937-
Vydáno 1986

Pattern recognition and image analysis : third Iberian conference, IBPRIA 2007, Girona, Spain, June 6-8, 2007, Girona, Spain, June 6-8, : proceedings Part 2. /

Vydáno 2007

Pattern recognition and image analysis : third Iberian conference, IBPRIA 2007, Girona, Spain, June 6-8, 2007, Girona, Spain, June 6-8, : proceedings Part 1. /

Vydáno 2007

SOFSEM 2007 : theory and practice of computer science : 33th Conference on Current Trends in Theory and Practice of Computer Science : Harrachov, Czech Republik, January 20-26, 2007 : proceedings /

Vydáno 2007

B 2007 : Formal specification and development in B : 7th International Conference of B Users, Besancon, France, January 17-19, 2007 : proceedings /

Vydáno 2007

Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation : 4-7 November 2010, Tohoku University /

Vydáno 2010

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /

Vydáno 2006

Model checking /

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

Formal methods: applications and technology : 11th Internatonal Workshop, FMICS 2006, August 26-27, and August 31 2006, Bonn, Germany : revised selected papers /

Vydáno 2006

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

Vydáno 2007

Logic, language, information, and computation : 14th international workshop, WOLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /

Vydáno 2007

Self-organising systems : first international workshop, IWSOS 2006 new trends in Eurongi architectures and services, Passau, Germany, September 18-20, 2006 : proceedings /

Vydáno 2006