>> Google Books
所蔵情報QRコード

Gems of theoretical computer science / Uwe Schöning, Randall Pruim

資料種別:
図書
出版情報:
Berlin ; New York : Springer, c1998
形態:
x, 320 p. ; 25 cm
著者名:
ISBN:
9783540644255 [3540644253]
9783642643521 [3642643523] (: pbk.)
書誌ID:
BA38135833
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

University Microfilms International
7 図書 Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 …

SPIN, Federated Logic Conference, World Congress on Formal Methods in the Development of Computing Systems, Dams, Dennis

Springer
2 図書 Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

Harper & Row
8 図書 A computational logic

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
3 図書 Complexity and structure

Schöning, Uwe, 1955-

Springer-Verlag
9 図書 Lectures on proof verification and approximation algorithms

Mayr, Ernst W., Prömel, H. J., Steger, Angelika

Springer
4 図書 The computer modelling of mathematical reasoning

Bundy, Alan

Academic Press
10 図書 Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

MKM, Asperti, Andrea, Buchberger, Bruno, 1942-, Davenport, J. H.

Springer
5 図書 Complexity theory : current research

Ambos-Spies, K. (Klaus), Homer, S. (Steven), Schöning, Uwe, 1955-

Press Syndicate of the University of Cambridge
11 図書 A basis for theoretical computer science

Arbib, Michael A., 1940-, Kfoury, A. J., Moll, Robert N.

Springer-Verlag
6 図書 The graph isomorphism problem : its structural complexity

Köbler, Johannes, 1958-, Schöning, Uwe, 1955-, Torán, Jacobo, 1962-

Birkhäuser
12 図書 Numerical methods for conservation laws

LeVeque, Randall J., 1955-

Birkhäuser Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12