Jump to main content

yr 〜
yr

Search results 20

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek, eds. (Lecture notes in computer science)

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4672>
National Diet Library
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses.

MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim (Eds.). (Lecture notes in computer science)

MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim (Eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5001>
National Diet Library
  • Subject HeadingData base management -- Congresses. Electronic data processing -- Mathematics -- Congresses.

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A4999>
National Diet Library
  • Subject Heading...-- Congresses. Electronic data processing -- Mathematics -- Congresses.

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek. (Lecture notes in computer science)

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A3210>
National Diet Library
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses.

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.). (Lecture notes in computer science)

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A2908>
National Diet Library
  • Subject Heading...-- Congresses. Electronic data processing -- Mathematics -- Congresses.

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 / edited by Lothar Budach. (Lecture notes in computer science)

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 / edited by Lothar Budach. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1985.<M15-A270>
National Diet Library
  • Subject HeadingMachine theory -- Congresses. Electronic data processing -- Mathematics -- Congresses. Computational complexity -- C...

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
  • Subject Heading...-- Congresses. Electronic data processing -- Mathematics -- Congresses.

Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 : gw : us

Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 : gw : us
Paper図書
M.P. Chytil, L. Janiga, V. Koubek (eds.)Springer-Verlagc1988
Other Libraries in Japan

Mathematical problems in computation theory

Mathematical problems in computation theory
Paper図書
editors of the volume, Grażyna Mirkowska, Helena RasiowaPWN Polish Scientific Publishers1988
Other Libraries in Japan

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
Paper図書
John W. Gray and Andre Scedrov, editorsAmerican Mathematical Societyc1989
Other Libraries in Japan

MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings : gw : us

MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings : gw : us
Paper図書
J. Demetrovics, B. Thalheim (eds.)Springer-Verlagc1989
Other Libraries in Japan

Applications of discrete mathematics

Applications of discrete mathematics
Paper図書
edited by Richard D. Ringeisen and Fred S. RobertsSiam1988
Other Libraries in Japan

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw : us

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw : us
Paper図書
J.L.A. van de Snepscheut (ed.)Springer-Verlagc1989
Other Libraries in Japan

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings : gw : us

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings : gw : us
Paper図書
M. Main ... [et al.] (eds.)Springer-Verlagc1988
Other Libraries in Japan

Mathematics of information processing

Mathematics of information processing
Paper図書
Michael Anshel and William Gewirtz, editorsAmerican Mathematical Societyc1986
Other Libraries in Japan

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium, Praha, Czechoslovakia, September 3-7, 1984 : gw : us

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium, Praha, Czechoslovakia, September 3-7, 1984 : gw : us
Paper図書
edited by M.P. Chytil and V. KoubekSpringer-Verlag1984
Other Libraries in Japan

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 : ne : U.S. : pbk.

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 : ne : U.S. : pbk.
Paper図書
edited by Marek Karpinski and Jan van LeeuwenNorth-Holland1985
Other Libraries in Japan

Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings : gw : us

Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings : gw : us
Paper図書
L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)Springer-Verlagc1987
Other Libraries in Japan

The Influence of computers and informatics on mathematics and its teaching pbk.

The Influence of computers and informatics on mathematics and its teaching pbk.
Paper図書
editorial board, R.F. Churchhouse ... [et al.]Cambridge University Press1986
Other Libraries in Japan

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 : gw : us

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 : gw : us
Paper図書
edited by Lothar BudachSpringer-Verlagc1985
Other Libraries in Japan

Reached to the end of result.

RSS