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

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

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

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

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

Term rewriting systems /

Autor Bezem, M. 1956-, Klop, J. W., Vrijer, Roel de
Vydáno 2003

Self-organizing systems : second International Workshop, IWSOS 2007 : The Lake District, UK, September 11-13, 2007 : proceedings /

Vydáno 2007

SOFSEM 2008: theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 19-25, 2008 : proceedings /

Vydáno 2008

Unfoldings : a partial-order approach to model checking /

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

Self-organizing systems : third International Workshop, IWSOS 2008 : Vienna, Austria, December 10-12, 2008 : proceedings /

Vydáno 2008

Model checking /

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

Introduction to computational science : modeling and simulation for the sciences /

Autor Shiflet, Angela B., Shiflet, George W., 1947-
Vydáno 2006

Computation engineering : applied automata theory and logic /

Autor Gopalakrishnan, Ganesh
Vydáno 2006

A computational model of natural language communication : interpretation, inference, and production in database semantics /

Autor Hausser, Roland, 1946-
Vydáno 2006