Blank Cover Image
このページのQRコード

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

種類:
図書
責任表示:
Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel
出版情報:
Tokyo : Corporate & Scientific Programs IBM Japan, [1981]
著者名:
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proceedings of the Second IBM Symposium on Mathematical Foundations of Computer Sciences : the complexity of algorithms

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Corporate & Scientific Programs

Corporate & Scientific Programs IBM Japan
7 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

Springer-Verlag
2 図書 Proceedings of the Seventh IBM Symposium on Mathematical Foundations of Computer Science : mathematical theory of computations

IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan. Corporate & Scientific Programs

Corporate & Scientific Programs IBM Japan
8 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)

Springer-Verlag
3 図書 Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980

IBM Computer Science Symposium, 前川, 守(1942-), Belady, Laszlo A., 1928-

Springer-Verlag
9 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980

Maekawa, Mamoru, Belady, Laszio A., SpringerLink (Online service)

Springer-Verlag
10 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934-

Springer-Verlag
5 電子ブック Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980

Maekawa, M., Belady, L.A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Symposium on Mathematical Foundations of Computer Science, Gruska, Jozef, Rovan, B. (Branislav), Wiedermann, J. (Juraj)

Springer-Verlag
6 図書 Foundations of logic and mathematics : applications to computer science and cryptography

Nievergelt, Yves

Birkhäuser
12 図書 Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988

Symposium on Mathematical Foundations of Computer Science, Chytil, Michal P., Janiga, Ladislav, 1954-, Koubek, Václav, …

Springer-Verlag