Výsledky vyhledávání - "Lecture notes in computer science,"

121

Computational science ICCS 2002 : International Conference : Amsterdam, The Netherlands, April 21-24, 2002 : proceedings. Part 3. /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

122

Computer aided systems theory - EUROCAST '99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory : Vienna, Austria, September 29-October 2, 1999 : proceedings /

Vydáno 2000

“...Lecture notes in computer science ;...”

Kniha

123

Computer aided verification : 2nd International Workshop, CAV '90 : New Brunswick, NJ, USA, June 18-21, 1990 : proceedings /

Vydáno 1991

“...Lecture notes in computer science ;...”

Kniha

124

Computer aided verification : 3rd International Workshop, CAV '91 : Aalborg, Denmark, July 1-4, 1991 : proceedings /

Vydáno 1992

“...Lecture notes in computer science ;...”

Kniha

125

Computer aided verification : 4th International Workshop, CAV '92 : Montreal, Canada, June 29-July 1, 1992 : proceedings /

Vydáno 1992

“...Lecture notes in computer science ;...”

Kniha

126

Computer aided verification : 5th International Conference, CAV '93 : Elounda, Greece, June 28-July 1, 1993 : proceedings /

Vydáno 1993

“...Lecture notes in computer science ;...”

Kniha

127

Computer aided verification : 6th international conference, CAV '94 : Stanford, California, USA, June 21-23, 1994 : proceedings /

Vydáno 1994

“...Lecture notes in computer science ;...”

Kniha

128

Computer Aided Verification : 7th International Conference, CAV '95 : Liege, Belgium, July 3-5, 1995 : proceedings /

Vydáno 1995

“...Lecture notes in computer science ;...”

Kniha

129

Computer Aided Verification : 8th International Conference, CAV '96 : New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /

Vydáno 1996

“...Lecture notes in computer science ;...”

Kniha

130

Computer aided verification : 9th International Conference, CAV '97 : Haifa, Israel, June 22-25, 1997 : proceedings /

Vydáno 1997

“...Lecture notes in computer science ;...”

Kniha

131

Computer aided verification : 10th International Conference, CAV '98 : Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings /

Vydáno 1998

“...Lecture notes in computer science ;...”

Kniha

132

Computer Aided Verification : 11th International Conference, CAV '99 : Trento, Italy, July 6-10, 1999 : proceedings /

Vydáno 1999

“...Lecture notes in computer science ;...”

Kniha

133

Computer aided verification : 12th International Conference, CAV 2000 : Chicago, IL, USA, July 15-19, 2000 : proceedings /

Vydáno 2000

“...Lecture notes in computer science ;...”

Kniha

134

Computer aided verification : 13th International Conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

135

Computer aided verification : 14th International Conference, CAV 2002 : Copenhagen, Denmark, July 27-31, 2002 : proceedings /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

136

Computer algebra : EUROCAM '82 : European Computer Algebra Conference : Marseille, France, April 5-7, 1982 /

Vydáno 1982

“...Lecture notes in computer science ;...”

Kniha

137

Computer analysis of images and patterns : 9th International Conference, CAIP 2001 : Warsaw, Poland, September 5-7, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

138

Computer performance evaluation : modelling techniques and tools : 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /

Vydáno 2000

“...Lecture notes in computer science ;...”

Kniha

139

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

140

Computer safety, reliability and security : 17th International Conference, SAFECOMP '98 : Heidelberg, Germany, October 5-7, 1998 : proceedings /

Vydáno 1998

“...Lecture notes in computer science ;...”

Kniha

Upřesnit hledání