Jump to main content

yr 〜
yr

Search results 25

Neural networks and analog computation : beyond the turing limit : hardcover

Neural networks and analog computation : beyond the turing limit : hardcover
Paper図書
Hava T. SiegelmannBirkhäuserc1999
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Solving higher-order equations : from logic to programming

Solving higher-order equations : from logic to programming
Paper図書
Christian PrehoferBirkhäuserc1998
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Comparative metric semantics of programming languages : nondeterminism and recursion :us [hard]

Comparative metric semantics of programming languages : nondeterminism and recursion :us [hard]
Paper図書
Franck van BreugelBirkhauser Bostonc1998
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Object-oriented programming : a unified foundation

Object-oriented programming : a unified foundation
Paper図書
Giuseppe CastagnaBirkhäuserc1997
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

ALGOL-like languages v. 1 v. 2

ALGOL-like languages v. 1 v. 2
Paper図書
Peter W. O'Hearn, Robert D. Tennent, editorsBirkhauserc1997
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Isomorphisms of types : from λ-calculus to information retrieval and language design

Isomorphisms of types : from λ-calculus to information retrieval and language design
Paper図書
Roberto Di CosmoBirkhäuser1995
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

The combinatory programme : us : gw

The combinatory programme : us : gw
Paper図書
Erwin Engeler ; in collaboration with K. Aberer ... [et. al]Birkhäuser1995
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Fundamental algorithms : pbk

Fundamental algorithms : pbk
Paper図書
Dario Bini, Victor Y. PanSpringer Science+Business Mediac1994
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Finite automata, formal logic, and circuit complexity : us : sz

Finite automata, formal logic, and circuit complexity : us : sz
Paper図書
Howard StraubingBirkhäuser1994
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Fundamental algorithms :us :sz

Fundamental algorithms :us :sz
Paper図書
Dario Bini, Victor Y. PanBirkhäuser1994
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Subrecursive programming systems : complexity & succinctness :us :sz

Subrecursive programming systems : complexity & succinctness :us :sz
Paper図書
James S. Royer, John CaseBirkhäuser1994
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Nondeterminism in algebraic specifications and algebraic programs

Nondeterminism in algebraic specifications and algebraic programs
Paper図書
Heinrich HussmannBirkhäuserc1993
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Categorical combinators, sequential algorithms, and functional programming : us : sz 2nd ed

Categorical combinators, sequential algorithms, and functional programming : us : sz 2nd ed
Paper図書
Pierre-Louis CurienBirkhäuserc1993
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Algorithms for random generation and counting : a Markov chain approach [: pbk.]

Algorithms for random generation and counting : a Markov chain approach [: pbk.]
Paper図書
Alistair SinclairSpringer Science+Business Mediac1993
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Algorithms for random generation and counting : a Markov chain approach : us : gw

Algorithms for random generation and counting : a Markov chain approach : us : gw
Paper図書
Alistair SinclairBirkhäuserc1993
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

The graph isomorphism problem : its structural complexity : us : gw

The graph isomorphism problem : its structural complexity : us : gw
Paper図書
Johannes Köbler, Uwe Schöning, Jacobo ToránBirkhäuserc1993
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Verifying temporal properties of systems : Boston : Basel

Verifying temporal properties of systems : Boston : Basel
Paper図書
Julian Charles BradfieldBirkhäuserc1992
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Semantics of type theory : correctness, completeness and independence results : pbk

Semantics of type theory : correctness, completeness and independence results : pbk
Paper図書
Thomas StreicherSpringer Science+Business Mediac1991
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Semantics of type theory : correctness, completeness, and independence results : Basel : Boston

Semantics of type theory : correctness, completeness, and independence results : Basel : Boston
Paper図書
Thomas StreicherBirkhäuser1991
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science

Canonical equational proofs :us :sz

Canonical equational proofs :us :sz
Paper図書
Leo BachmairBirkhäuser1991
Other Libraries in Japan
  • Related MaterialProgress in theoretical computer science
  • Periodical TitleProgress in theoretical computer science
RSS