yr 〜
yr

Search results 49

Handbook of graph theory, combinatorial optimization, and algorithms (Chapman & Hall/CRC computer and information science series)

Handbook of graph theory, combinatorial optimization, and algorithms (Chapman & Hall/CRC computer and information science series)
Paper図書
editor-in-chief, Krishnaiyan "KT" Thulasiraman, edited by Subramanian Arumugam, Andreas Brandstèadt, Takao Nishizeki.CRC Press/Taylor & Francis Group[2016]<MA81-B74>
National Diet Library
  • DDC511

From Dedekind to Gödel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka. (Synthese library ; v. 251)

From Dedekind to Gödel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka. (Synthese library ; v. 251)
Paper図書
Kluwer Academic Publishersc1995.<MA41-A101>
National Diet Library
  • DDC511

Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; Dirk Siefkes, editor.

Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; Dirk Siefkes, editor.
Paper図書
Springer-Verlagc1989.<MA41-A66>
National Diet Library
  • DDC511

Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.). (Lecture notes in computer science)

Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5336>
National Diet Library
  • DDC511

Computation theory and logic / Egon Börger (ed.). (Lecture notes in computer science)

Computation theory and logic / Egon Börger (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<MA41-A43>
National Diet Library
  • DDC511

Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings / Timo Lepistö, Arto Salomaa (eds.). (Lecture notes in computer science)

Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings / Timo Lepistö, Arto Salomaa (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4121>
National Diet Library
  • DDC511

Theories of computational complexity / Cristian Calude. (Annals of discrete mathematics ; 35)

Theories of computational complexity / Cristian Calude. (Annals of discrete mathematics ; 35)
Paper図書
North-Holland1988.<MA41-A25>
National Diet Library
  • DDC511

An introduction to independence for analysts / H.G. Dales and W.H. Woodin. (London Mathematical Society lecture note series)

An introduction to independence for analysts / H.G. Dales and W.H. Woodin. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1987.<MA41-A36>
National Diet Library
  • Bibliographic ID (NDL)000003151141
  • DDC511

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann (ed.). (Lecture notes in computer science)

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<M15-A3654>
National Diet Library
  • DDC511

Discrete algorithms and complexity : proceedings of the Japan-US Joint Seminar, June 4-6, 1986, Kyoto, Japan / edited by David S. Johnson ... [et al.]. (Perspectives in computing ; vol. 15)

Discrete algorithms and complexity : proceedings of the Japan-US Joint Seminar, June 4-6, 1986, Kyoto, Japan / edited by David S. Johnson ... [et al.]. (Perspectives in computing ; vol. 15)
Paper図書
Academic Pressc1987.<M15-A3384>
National Diet Library
  • DDC511

Advances in Petri nets, 1987 / Grzegorz Rozenberg, ed. (Lecture notes in computer science)

Advances in Petri nets, 1987 / Grzegorz Rozenberg, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlag1987.<M15-A3044>
National Diet Library
  • DDC511

Advances in Petri nets, 1985 / edited by G. Rozenberg. (Lecture notes in computer science)

Advances in Petri nets, 1985 / edited by G. Rozenberg. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A3417>
National Diet Library
  • DDC511

Complexity and structure / Uwe Schöning. (Lecture notes in computer science ; 211)

Complexity and structure / Uwe Schöning. (Lecture notes in computer science ; 211)
Paper図書
Springer-Verlagc1986.<M154-282>
National Diet Library
  • DDC511

Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman. (Lecture notes in computer science)

Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A3428>
National Diet Library
  • DDC511

Computation and automata / Arto Salomaa. (Encyclopedia of mathematics and its applications ; v. 25)

Computation and automata / Arto Salomaa. (Encyclopedia of mathematics and its applications ; v. 25)
Paper図書
Cambridge University Press1985.<MA41-A48>
National Diet LibraryOther Libraries in Japan
  • DDC511

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)
Paper図書
North-Holland1985.<MA41-A37>
National Diet Library
  • DDC511

The nature of mathematical knowledge / Philip Kitcher.

The nature of mathematical knowledge / Philip Kitcher.
Paper図書
Oxford University Press1983.<MA21-A19>
National Diet Library
  • DDC511

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski and Jan van Leeuwen. (Annals of discrete mathematics ; 24) (North-Holland mathematics studies)

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski and Jan van Leeuwen. (Annals of discrete mathematics ; 24) (North-Holland mathematics studies)
Paper図書
North-Holland1985.<M15-A177>
National Diet Library
  • DDC511

Advances in Petri nets, 1984 / edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol. (Lecture notes in computer science)

Advances in Petri nets, 1984 / edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1985.<M15-A3973>
National Diet Library
  • DDC511

Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron. (Lecture notes in computer science)

Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1985.<M15-A4140>
National Diet Library
  • DDC511