Jump to main content

yr 〜
yr

Search results 31

Iteration theories : the equational logic of iterative processes : us : gw

Iteration theories : the equational logic of iterative processes : us : gw
Paper図書
Stephen L. Bloom, Zoltán ÉsikSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Relations and graphs : discrete mathematics for computer scientists : gw : us

Relations and graphs : discrete mathematics for computer scientists : gw : us
Paper図書
Gunther Schmidt, Thomas StröhleinSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Specification and analysis of concurrent systems : the COSY approach : us : gw

Specification and analysis of concurrent systems : the COSY approach : us : gw
Paper図書
Ryszard Janicki, Peter E. LauerSpringer-Verlagc1992
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Universal algebra for computer scientists : gw : us : pbk

Universal algebra for computer scientists : gw : us : pbk
Paper図書
Wolfgang WechlerSpringer-Verlagc1992
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Kolmogorov complexity and computational complexity : us : gw

Kolmogorov complexity and computational complexity : us : gw
Paper図書
Osamu Watanabe (ed.)Springer-Verlagc1992
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Coloured petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us

Coloured petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us
Paper図書
Kurt JensenSpringer-Verlagc1992-c1995
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

First-order programming theories : Berlin : New York

First-order programming theories : Berlin : New York
Paper図書
Tamás Gergely, László ÚrySpringer-Verlagc1991
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

LR(k) and LL(k) parsing : Berlin : New York

LR(k) and LL(k) parsing : Berlin : New York
Paper図書
Seppo Sippu, Eljas Soisalon-SoininenSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Compiler generators : what they can do, what they might do, and what they will probably never do : u.s. : gw

Compiler generators : what they can do, what they might do, and what they will probably never do : u.s. : gw
Paper図書
Mads TofteSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Public-key cryptography : gw : us

Public-key cryptography : gw : us
Paper図書
Arto SalomaaSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Module specifications and constraints : us : gw

Module specifications and constraints : us : gw
Paper図書
Springer-Verlagc1990
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

The Structure of the relational database model : Berlin : New York

The Structure of the relational database model : Berlin : New York
Paper図書
Jan Paredaens ... [et al.]Springer-Verlagc1989
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Regulated rewriting in formal language theory : US : gw

Regulated rewriting in formal language theory : US : gw
Paper図書
Jürgen Dassow, Gheorghe PăunSpringer-Verlagc1989
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Structural complexity v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us v. 2 : [pbk]

Structural complexity v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us v. 2 : [pbk]
Paper図書
José Luis Balcázar, Josep Díaz, Joaquim GabarróSpringer-Verlagc1988-c1990
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Nonsequential processes : a Petri net view : us : gw

Nonsequential processes : a Petri net view : us : gw
Paper図書
Eike Best, César Fernández CSpringer-Verlagc1988
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Computing in Horn clause theories : gw : us

Computing in Horn clause theories : gw : us
Paper図書
Peter PadawitzSpringer-Verlagc1988
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Languages and parsing : U.S. : G.W.

Languages and parsing : U.S. : G.W.
Paper図書
Seppo Sippu, Eljas Soisalon-SoininenSpringer-Verlagc1988
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Computability : us : gw

Computability : us : gw
Paper図書
Klaus WeihrauchSpringer-Verlagc1987
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Algorithms in combinatorial geometry : us : gw

Algorithms in combinatorial geometry : us : gw
Paper図書
Herbert EdelsbrunnerSpringer-Verlagc1987
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science

Algorithms in combinatorial geometry : pbk

Algorithms in combinatorial geometry : pbk
Paper図書
Herbert EdelsbrunnerSpringer-Verlagc1987
Other Libraries in Japan
  • Related MaterialEATCS monographs on theoretical computer science
  • Periodical TitleEATCS monographs on theoretical computer science
RSS