Results
|
3321.
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
- Clarke, E. M, 1945-
- Grumberg, Orna
- Peled, Doron A, 1962-
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1999
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.21 CLM, ...
|
|
3322.
|
|
|
3323.
|
Assignment problems / Rainer Burkard, Graz University of Technology, Graz, Austria, Mauro Dell'Amico, University of Modena and Reggia Emilia, Reggio Emilia, Italy, Silvano Martello, University of Bologna, Bologna, Italy. by
- Burkard, Rainer E
- Dell'Amico, Mauro
- Martello, Silvano
Edition: Revised reprint.
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New york : SIam, c2009
Availability: Items available for loan: Central Library, SUST (2)Call number: 519.72 BUA, ...
|
|
3324.
|
Learn Unity 4 for iOS game development / Philip Chu. by Series:
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: London : Apress. c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 CHL, ...
|
|
3325.
|
Learn C++ for game development / Bruce Sutherland. by - Sutherland, Bruce [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: London : Apress. c2014
Other title: - Learn C plus plus for game development
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 SUL, ...
|
|
3326.
|
|
|
3327.
|
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors. by
- CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)
- Clarke, E. M, 1945-
- Kurshan, R. P, 1943-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Providence, RI : Baltimore, Md. : American Mathematical Society ; Association for Computing Machinery, 1991
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.3815 CLC, ...
|
|
3328.
|
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by
- CAV (Conference) (18th : 2006 : Seattle, Wash.)
- Emerson, E. Allen
- Sistla, A. Prasad
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ...
|
|
3329.
|
|
|
3330.
|
|
|
3331.
|
|
|
3332.
|
|
|
3333.
|
|
|
3334.
|
|
|
3335.
|
|
|
3336.
|
|
|
3337.
|
|
|
3338.
|
|
|
3339.
|
|
|
3340.
|
Cloud enterprise architecture / Pethuru Raj. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Boca Raton, Fla. : CRC Press, c2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.6782 RAC, ...
|