Texts and monographs in computer science

• 関連文献: 60件

Texts and monographs in computer science

Springer-Verlag

• WorldCat

関連文献: 60件中  1-20を表示

• 1

  Logic for applications

  Anil Nerode, Richard A. Shore

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館31館

• 2

  A logical approach to discrete math

  David Gries and Fred B. Schneider

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館46館

• 3

  Algorithmic algebra

  Bhubaneswar Mishra

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館47館

• 4

  An introduction to Kolmogorov complexity and its applications

  Ming Li, Paul Vitányi

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館41館

• 5

  A practical theory of programming

  Eric C. R. Hehner

  Springer-Verlag c1993 1st ed Texts and monographs in computer science

  : us , : gw

  所蔵館26館

• 6

  What computing is all about

  Jan L. A. van de Snepscheut

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館19館

• 7

  String-rewriting systems

  Ronald V. Book, Friedrich Otto

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館28館

• 8

  Larch : languages and tools for formal specification

  John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.]

  Springer-Verlag c1993 Texts and monographs in computer science

  : us , : gw

  所蔵館17館

• 9

  Prototyping-oriented software development : concepts and tools

  W. Bischofberger, G. Pomberger

  Springer-Verlag c1992 Texts and monographs in computer science

  : us , : gw

  所蔵館17館

• 10

  The design and analysis of algorithms

  Dexter C. Kozen

  Springer-Verlag c1992 Texts and monographs in computer science

  : us , : gw

  所蔵館40館

• 11

  Verification of sequential and concurrent programs

  Krzysztof R. Apt, Ernst-Rüdiger Olderog

  Springer-Verlag c1991 Texts and monographs in computer science

  : New York , : Berlin

  所蔵館18館

• 12

  Sets, relations, and induction

  Peter A. Fejer, Dan A. Simovici

  Springer-Verlag c1991 Texts and monographs in computer science . Mathematical foundations of computer science ; v. 1

  : New York , : Berlin

  所蔵館38館

• 13

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

  David Luckham

  Springer-Verlag c1990 Texts and monographs in computer science

  us , gw

  所蔵館15館

• 14

  Programming in the 1990s : an introduction to the calculation of programs

  Edward Cohen

  Springer-Verlag c1990 Texts and monographs in computer science

  us ; alk. paper , gw

  所蔵館21館

• 15

  Computational geometry : an introduction

  Franco P. Preparata, Michael Ian Shamos

  Springer-Verlag [1990], c1985 Texts and monographs in computer science

  : U.S. , : Germany

  所蔵館19館

• 16

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

  edited by W.H.J. Feijen ... [et al.]

  Springer-Verlag c1990 Texts and monographs in computer science

  : us , : gw

  所蔵館22館

• 17

  Specification and transformation of programs : a formal approach to software development

  Helmut A. Partsch

  Springer-Verlag c1990 Texts and monographs in computer science

  : gw , : us : alk. paper , : gw : soft : student ed , : u.s. : soft : student ed

  所蔵館29館

• 18

  First-order logic and automated theorem proving

  Melvin Fitting

  Springer-Verlag c1990 Texts and monographs in computer science

  : us , : gw

  所蔵館27館

• 19

  Predicate calculus and program semantics

  Edsger W. Dijkstra, Carel S. Scholten

  Springer-Verlag c1990 Texts and monographs in computer science

  : us , : gw

  所蔵館32館

• 20

  VLSI placement and routing : the PI project

  Alan T. Sherman

  Springer c1989 Texts and monographs in computer science

  : U.S. : alk. paper , : gw

  所蔵館19館

• 1
• 2
• 3
• 1 / 3