yr 〜
yr

Search results 61

Chess skill in man and machine / edited by Peter W. Frey. (Texts and monographs in computer science)

Chess skill in man and machine / edited by Peter W. Frey. (Texts and monographs in computer science)
Paper図書
Springer-Verlagc1977.<KD958-15>
National Diet Library

Programming in Modula-2 3rd, corr. ed. (Texts and monographs in computer science)

Programming in Modula-2 3rd, corr. ed. (Texts and monographs in computer science)
Paper図書
Niklaus Wirth1985
Other Libraries in Japan

A practical theory of programming : us : gw 1st ed

A practical theory of programming : us : gw 1st ed
Paper図書
Eric C. R. HehnerSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Logic for applications : us : gw

Logic for applications : us : gw
Paper図書
Anil Nerode, Richard A. ShoreSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Algorithmic algebra : us : gw

Algorithmic algebra : us : gw
Paper図書
Bhubaneswar MishraSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

What computing is all about : us : gw

What computing is all about : us : gw
Paper図書
Jan L. A. van de SnepscheutSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Larch : languages and tools for formal specification : us : gw

Larch : languages and tools for formal specification : us : gw
Paper図書
John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.]Springer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

String-rewriting systems : us : gw

String-rewriting systems : us : gw
Paper図書
Ronald V. Book, Friedrich OttoSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

A logical approach to discrete math : us : gw

A logical approach to discrete math : us : gw
Paper図書
David Gries and Fred B. SchneiderSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

An introduction to Kolmogorov complexity and its applications : us : gw

An introduction to Kolmogorov complexity and its applications : us : gw
Paper図書
Ming Li, Paul VitányiSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

The design and analysis of algorithms : us : gw

The design and analysis of algorithms : us : gw
Paper図書
Dexter C. KozenSpringer-Verlagc1992
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Prototyping-oriented software development : concepts and tools : us : gw

Prototyping-oriented software development : concepts and tools : us : gw
Paper図書
W. Bischofberger, G. PombergerSpringer-Verlagc1992
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Verification of sequential and concurrent programs : New York : Berlin

Verification of sequential and concurrent programs : New York : Berlin
Paper図書
Krzysztof R. Apt, Ernst-Rüdiger OlderogSpringer-Verlagc1991
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Sets, relations, and induction : New York : Berlin

Sets, relations, and induction : New York : Berlin
Paper図書
Peter A. Fejer, Dan A. SimoviciSpringer-Verlagc1991
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

First-order logic and automated theorem proving : us : gw

First-order logic and automated theorem proving : us : gw
Paper図書
Melvin FittingSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Programming with specifications : an introduction to ANNA, a language for specifying Ada programs us gw

Programming with specifications : an introduction to ANNA, a language for specifying Ada programs us gw
Paper図書
David LuckhamSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Programming in the 1990s : an introduction to the calculation of programs us ; alk. paper gw

Programming in the 1990s : an introduction to the calculation of programs us ; alk. paper gw
Paper図書
Edward CohenSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Computational geometry : an introduction : U.S. : Germany

Computational geometry : an introduction : U.S. : Germany
Paper図書
Franco P. Preparata, Michael Ian ShamosSpringer-Verlag[1990], c1985
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Specification and transformation of programs : a formal approach to software development : gw : us : alk. paper : gw : soft : student ed : u.s. : soft : student ed

Specification and transformation of programs : a formal approach to software development : gw : us : alk. paper : gw : soft : student ed : u.s. : soft : student ed
Paper図書
Helmut A. PartschSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science

Beauty is our business : a birthday salute to Edsger W. Dijkstra : us : gw

Beauty is our business : a birthday salute to Edsger W. Dijkstra : us : gw
Paper図書
edited by W.H.J. Feijen ... [et al.]Springer-Verlagc1990
Other Libraries in Japan
  • Related MaterialTexts and monographs in computer science
  • Periodical TitleTexts and monographs in computer science