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

81

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

Vydáno 2007

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

Kniha

82

IUI 07 : 2007 International Conference on Intelligent User Interfaces : Hawaii, USA, January 28 - 31, 2007 /

Vydáno 2007

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

Kniha

83

Conference on Computer Supported Cooperative Work : 20th anniversary : conference proceedings : November 4-8, 2006, The Fairmont Banff Springs hotel, Banff, Alberta, Canada

Vydáno 2006

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

Kniha

84

ACM MSWiM 2006 : proceedings of the Ninth ACM Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems : October 2-6, 2006, Torremolinos, Malaga, Spain. /

Vydáno 2006

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

Kniha

85

Proceedings of the 2006 ACM Symposium on Document Engineering : DocEng 2006 : 10-13 October 2006, Amsterdam, The Netherlands /

Vydáno 2006

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

Kniha

86

EMSOFT 2006 : proceedings of the sixth ACM & IEEE International Conference on Embedded Software : October 22-26, 2006, Seoul, Korea : Embedded systems week 2006

Vydáno 2006

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

Kniha

87

UIST 2006 : proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology : October 15-18, 2006, Montreux, Switzerland

Vydáno 2006

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

Kniha

88

High performance computing for computational science- VECPAR 2006 : 7th International Conference, Rio de Janeirio, Brazil, June 10-13, 2006 : revised selected and invited papers /

Vydáno 2007

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

Kniha

89

STOC'09 : proceedings of the 2009 ACM International Symposium on Theory of Computing : Bethesda, Maryland, USA, May 31-June 2, 2009

Vydáno 2009

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

Kniha

90

MEMICS 2008 : fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science : Znojmo, Czech Republic, November 14-16, 2008 : [proceedings] /

Vydáno 2008

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

Kniha

91

MEMICS 2006 : second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science : Mikulov, Czech Republic, October 27-29, 2006 : [proceedings] /

Vydáno 2006

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

Kniha

92

FOGA'09 : proceedings of the 10th ACM SIGEVO Conference on Foundations of Genetic Algorithms, Orlando, Florida, USA, January 9-11 , 2009.

Vydáno 2009

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

Kniha

93

Algebra and coalgebra in computer science : second International Conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings /

Vydáno 2007

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

Kniha

94

Formal methods and testing : an outcome of the FORTEST network : revised selected papers /

Vydáno 2008

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

Kniha

95

Theory and applications of relational structures as knowledge instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers /

Vydáno 2006

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

Kniha

96

Descriptive complexity /

Autor Immerman, Neil, 1953-
Vydáno 1999

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

Kniha

97

Logic for applications /

Autor Nerode, Anil, 1932-, Shore, Richard A., 1946-
Vydáno 1997

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

Kniha

98

Discrete mathematics /

Autor Dossey, John A.
Vydáno 2006

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

Kniha

99

Mathematical foundations of computer science 2007 : 32nd International Symposium, MFCS 2007 : Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /

Vydáno 2007

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

Kniha

100

SC'07 proceedings of the 2007 ACM/IEEE Conference on High Performance Computing Networking, Storage & Analysis : Reno, Nevada, USA, November 10-16, 2007

Vydáno 2007

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

Kniha

Upřesnit hledání