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 -- ...

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
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses
  • Subject Heading (ID)Electronic data processing -- Mathematics -- Congresses

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
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses
  • Subject Heading (ID)Electronic data processing -- Mathematics -- Congresses

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
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses Categories (Mathematics) -- C...
  • Subject Heading (ID)Electronic data processing -- Mathematics -- Congresses Categories (Mathematics) -- C...

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
  • Subject HeadingData base management -- Congresses Electronic data processing -- Mathematics -- Congresses
  • Subject Heading (ID)Data base management -- Congresses Electronic data processing -- Mathematics -- Congresses

Applications of discrete mathematics

Applications of discrete mathematics
Paper図書
edited by Richard D. Ringeisen and Fred S. RobertsSiam1988
Other Libraries in Japan
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses Mathematics -- Congresses
  • Subject Heading (ID)Electronic data processing -- Mathematics -- Congresses Mathematics -- Congresses

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

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

Mathematics of information processing

Mathematics of information processing
Paper図書
Michael Anshel and William Gewirtz, editorsAmerican Mathematical Societyc1986
Other Libraries in Japan
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses 情報処理
  • Subject Heading (ID)Electronic data processing -- Mathematics -- Congresses 情報処理

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
  • Subject HeadingElectronic data processing -- Mathematics -- Congresses
  • Subject Heading (ID)Electronic data processing -- Mathematics -- Congresses

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

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
  • Subject HeadingMachine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...
  • Subject Heading (ID)Machine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...

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

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
  • Subject HeadingMachine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...
  • Subject Heading (ID)Machine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...

Reached to the end of result.

RSS