Výsledky vyhledávání

1

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

Vydáno 2008

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

Kniha

2

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

Vydáno 2007

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

Kniha

3

Computers in society /

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

Témata: '; “...computers and society...”

Kniha

4

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

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

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

Kniha

5

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

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

Kniha

6

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

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

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

Kniha

7

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

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

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

Kniha

8

The origins of digital computers : selected papers /

Vydáno 1982

Témata: '; “...computers...”

Kniha

9

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

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

Kniha

10

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

Vydáno 2007

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

Kniha

11

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

Vydáno 2010

Témata: '; “...computational linguistics...”

Kniha

12

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

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

Kniha

13

Model checking /

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

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

Kniha

14

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

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

Kniha

15

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

Vydáno 2007

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

Kniha

16

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

Vydáno 2007

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

Kniha

17

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

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

Kniha

18

Term rewriting systems /

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

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

Kniha

19

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

Vydáno 2008

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

Kniha

20

Unfoldings : a partial-order approach to model checking /

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

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

Kniha

Upřesnit hledání