Results
|
361.
|
|
|
362.
|
|
|
363.
|
|
|
364.
|
|
|
365.
|
Logic : a brief course / Daniele Mundici, by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer. c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 MUL, ...
|
|
366.
|
|
|
367.
|
Language, culture, computation : computing - theory and technology. essays dedicated to Yaacov Choueka on the occasion of his 75th birthday, part I / [edited by] Nachum Dershowitz, Ephraim Nissan. by
- Dershowitz, Nachum
- Nissan, Ephraim
Series: Lecture notes in computer science ; 8001
Edition: 1st edition.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 622.0285 LAN, ...
|
|
368.
|
|
|
369.
|
|
|
370.
|
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II [edited by] Nachum Dershowitz, Ephraim Nissan. by
- Dershowitz, Nachum
- Nissan, Ephraim
Series: Lecture notes in computer science ; 8001
Edition: 1st edition.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 622.0285 LAN, ...
|
|
371.
|
|
|
372.
|
Windows 8 and Windows Phone 8 game development / Adam Dawes. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: [New York, NY] : New York : Apress ; Distributed to the book trade worldwide by Springer Science + Business Media, 2010
Other title: - Windows Phone Seven game development
Availability: Items available for loan: Central Library, SUST (3)Call number: 794.81526 DAW, ...
|
|
373.
|
How to write a better thesis / David Evans, Paul Gruba, Justin Zobel. by
- Evans, David (David G.) [author.]
- Gruba, Paul [author.]
- Zobel, Justin, 1963- [author.]
Edition: Third edition.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cham : Springer, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 808.066378 EVH, ...
|
|
374.
|
|
|
375.
|
|
|
376.
|
|
|
377.
|
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, ...
|
|
378.
|
|
|
379.
|
|
|
380.
|
|