「"Electronic data processing -- Mathematics -- Congresses"」の検索結果 | NDLサーチ

検索結果 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)

紙図書

Springer-Verlagc1988.<M15-A4672>

国立国会図書館

件名Electronic 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)

紙図書

Springer-Verlagc1989.<M15-A5001>

国立国会図書館

件名Data 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)

紙図書

Springer-Verlagc1989.<M15-A4999>

国立国会図書館

件名...-- 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)

紙図書

Springer-Verlag1984.<M15-A3210>

国立国会図書館

件名Electronic 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)

紙図書

Springer-Verlagc1988.<M15-A2908>

国立国会図書館

件名...-- 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)

紙図書

Springer-Verlagc1985.<M15-A270>

国立国会図書館

件名Machine 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)

紙図書

North-Holland1985.<M15-A177>

国立国会図書館

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

紙図書

M.P. Chytil, L. Janiga, V. Koubek (eds.)Springer-Verlagc1988

全国の図書館

件名Electronic data processing -- Mathematics -- Congresses
件名（識別子）Electronic data processing -- Mathematics -- Congresses

Mathematical problems in computation theory

紙図書

editors of the volume, Grażyna Mirkowska, Helena RasiowaPWN Polish Scientific Publishers1988

全国の図書館

件名Electronic data processing -- Mathematics -- Congresses
件名（識別子）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

紙図書

John W. Gray and Andre Scedrov, editorsAmerican Mathematical Societyc1989

全国の図書館

件名Electronic data processing -- Mathematics -- Congresses Categories (Mathematics) -- C...
件名（識別子）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

紙図書

J. Demetrovics, B. Thalheim (eds.)Springer-Verlagc1989

全国の図書館

件名Data base management -- Congresses Electronic data processing -- Mathematics -- Congresses
件名（識別子）Data base management -- Congresses Electronic data processing -- Mathematics -- Congresses

Applications of discrete mathematics

紙図書

edited by Richard D. Ringeisen and Fred S. RobertsSiam1988

全国の図書館

件名Electronic data processing -- Mathematics -- Congresses Mathematics -- Congresses
件名（識別子）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

紙図書

J.L.A. van de Snepscheut (ed.)Springer-Verlagc1989

全国の図書館

件名... -- Congresses Electronic data processing -- Mathematics -- Congresses
件名（識別子）... -- 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

紙図書

M. Main ... [et al.] (eds.)Springer-Verlagc1988

全国の図書館

件名... -- Congresses Electronic data processing -- Mathematics -- Congresses
件名（識別子）... -- Congresses Electronic data processing -- Mathematics -- Congresses

Mathematics of information processing

紙図書

Michael Anshel and William Gewirtz, editorsAmerican Mathematical Societyc1986

全国の図書館

件名Electronic data processing -- Mathematics -- Congresses 情報処理
件名（識別子）Electronic data processing -- Mathematics -- Congresses 情報処理

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

紙図書

edited by M.P. Chytil and V. KoubekSpringer-Verlag1984

全国の図書館

件名Electronic data processing -- Mathematics -- Congresses
件名（識別子）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.

紙図書

edited by Marek Karpinski and Jan van LeeuwenNorth-Holland1985

全国の図書館

件名... -- Congresses Electronic data processing -- Mathematics -- Congresses
件名（識別子）... -- Congresses Electronic data processing -- Mathematics -- Congresses

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

紙図書

L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)Springer-Verlagc1987

全国の図書館

件名Machine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...
件名（識別子）Machine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...

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

紙図書

editorial board, R.F. Churchhouse ... [et al.]Cambridge University Press1986

全国の図書館

件名... -- Congresses Electronic data processing -- Mathematics -- Congresses
件名（識別子）... -- Congresses Electronic data processing -- Mathematics -- Congresses

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

紙図書

edited by Lothar BudachSpringer-Verlagc1985

全国の図書館

件名Machine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...
件名（識別子）Machine theory -- Congresses Electronic data processing -- Mathematics -- Congresses Computational complexity -- C...

検索結果は以上です。

RSS