Jump to main content

yr 〜
yr

Search results 14

Formal techniques for networked and distributed systems -- FORTE 2003 : 23rd IFIP WG 6.1 international conference : Berlin, Germany, September 29-October 2, 2003 : proceedings. : 23rd IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2003, Berlin, Germany. (Lecture Notes in Computer Science ; 2767)

Formal techniques for networked and distributed systems -- FORTE 2003 : 23rd IFIP WG 6.1 international conference : Berlin, Germany, September 29-October 2, 2003 : proceedings. : 23rd IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2003, Berlin, Germany. (Lecture Notes in Computer Science ; 2767)
Paper図書
Springerc2003.<M17-04-1049>
National Diet Library
  • DDC004/.01/51

Formal methods and software engineering : 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings. : Oct 2002, Shanghai, China. (Lecture Notes in Computer Science ; 2495)

Formal methods and software engineering : 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings. : Oct 2002, Shanghai, China. (Lecture Notes in Computer Science ; 2495)
Paper図書
Springerc2002.<M17-03-190>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings. : Aug 2002, Warsaw, Poland. (Lecture Notes in Computer Science ; 2420)

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings. : Aug 2002, Warsaw, Poland. (Lecture Notes in Computer Science ; 2420)
Paper図書
Springer2002.<M17-03-155>
National Diet Library
  • DDC004/.01/51

Approximation algorithms for combinatorial optimization : 5th international workshop, APPROX 2002, Rome, Italy, September 17-21, 2002 : proceedings. : Sep 2002, Rome, Italy. (Lecture Notes in Computer Science ; 2462)

Approximation algorithms for combinatorial optimization : 5th international workshop, APPROX 2002, Rome, Italy, September 17-21, 2002 : proceedings. : Sep 2002, Rome, Italy. (Lecture Notes in Computer Science ; 2462)
Paper図書
Springer2002.<M17-03-100>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001 : Marianske Lazne, Czech Republic, August 2001 : proceedings. : Aug 2001, Marianske Lazne, Czech Republic. (Lecture Notes in Computer Science ; 2136)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001 : Marianske Lazne, Czech Republic, August 2001 : proceedings. : Aug 2001, Marianske Lazne, Czech Republic. (Lecture Notes in Computer Science ; 2136)
Paper図書
Springer-Verlag2001.<M17-03-3919>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.). (Lecture notes in computer science)

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7662>
National Diet Library
  • DDC004/.01/51

Discrete mathematics for new technology / Rowan Garnier and John Taylor.

Discrete mathematics for new technology / Rowan Garnier and John Taylor.
Paper図書
A. Hilgerc1992.<M154-A189>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek (eds.). (Lecture notes in computer science)

Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8360>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed. (Lecture notes in computer science)

Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7514>
National Diet Library
  • DDC004/.01/51

EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.). (Lecture notes in computer science)

EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5338>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.). (Lecture notes in computer science)

Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5331>
National Diet Library
  • DDC004/.01/51

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni (ed.). (Lecture notes in computer science)

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5329>
National Diet Library
  • DDC004/.01/51

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek, eds. (Lecture notes in computer science)

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4672>
National Diet Library
  • DDC004/.01/51

Proceedings / Symposium on Computer Arithmetic.

Proceedings / Symposium on Computer Arithmetic.
Paper図書
IEEE Computer Societyc1978-<M164-6>
National Diet Library
  • DDC004/.01/51

Reached to the end of result.

RSS