>> Amazon.co.jp
このページのQRコード

Baltic computer science : selected papers

種類:
図書
責任表示:
J. Bārzdiṇš, D. Bjørner, (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1991
著者名:
シリーズ名:
Lecture notes in computer science ; 502 <BA00009279>
ISBN:
9783540541318 [3540541314] (: Berlin)  CiNii Books  Calil
9780387541310 [0387541314] (: New York)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Baltic Computer Science : Selected Papers

Bārzdinš, Janis, Bjørner, Dines, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M., SpringerLink (Online service)

Springer-Verlag
2 電子ブック Baltic Computer Science : Selected Papers

Barzdins, Janis., Bjørner, Dines., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers

Deza, Michel M., Euler, Reinhardt., Manoussakis, Ioannis., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 図書 Конечные автоматы (поведение и синтез)

Trakhtenbrot, B. A. (Boris Avraamovich), Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich)

Изд-во "Наука", Глав. ред. физико-математической лит-ры
9 図書 Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers

Combinatorics and Computer Science, Deza, M., 1934-, Euler, Reinhardt, 1950-, Manoussakis, Ioannis, 1957-

Springer
4 図書 Selected papers on computer science

Knuth, Donald Ervin, 1938-

CSLI Publications, [Co-published by] Cambridge University Press
10 電子ブック Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Börger, Egon., Jäger, Gerhard., Kleine Büning, Hans., Martini, Simone., Richter, Michael M., SpringerLink (Online &hellip;

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
11 図書 Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : …

International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V.

Springer
6 図書 Towards a formal description of Ada

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag
12 図書 Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised …

International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V.

Springer