Results
|
41.
|
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by
- Emerson, E. Allen
- Namjoshi, Kedar S
Series: Lecture notes in computer science ; 3855
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c2006
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ...
|
|
42.
|
Beginning smartphone web development : building JavaScript, CSS, HTML and Ajax-based applications for iPhone, Android, Palm Pre, Blackberry, Windows Mobile and Nokia S60 / Gail Rahn Frederick with Rajesh Lal. by
- Frederick, Gail Rahn
- Lal, Rajesh
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Apress : Distributed to the book trade worldwide by Springer-Verlag New York, c2009
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.38456 FRB, ...
|
|
43.
|
Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by
- Adleman, Leonard M
- Huang, Ming-Deh A
- Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.)
Series: Lecture notes in computer science ; 877
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: Central Library, SUST (5)Call number: 512.7 ALG, ...
|
|
44.
|
|
|
45.
|
|
|
46.
|
Robot building for beginners / David Cook. by Series:
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Distributed to the Book trade worldwide by Springer-Verlag, c2009
Availability: Items available for loan: Central Library, SUST (3)Call number: 629.892 COR, ...
|
|
47.
|
Selected papers / Calvin C. Elgot ;edited Stephen L. Bloom, by
- Elgot, Calvin C
- Bloom, Stephen L
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York ; Heidelberg : Springer-Verlag, c1982
Availability: Items available for loan: Central Library, SUST (3)Call number: 510 ELS, ...
|
|
48.
|
|
|
49.
|
|
|
50.
|
|
|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
Wireless Internet 6th International Icst Conference, Wicon 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers / [Editor] Ren Pinyi, Zhang Chao, Liu Xin, Liu Pei, Ci Song. by
- Ren, Pinyi
- Zhang Chao
- Liu, Xin
- Ci, Song
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York. : Springer-Verlag . 2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6 WIR, ...
|
|
55.
|
|
|
56.
|
|
|
57.
|
|
|
58.
|
|
|
59.
|
Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by
- Adleman, Leonard M
- Huang, Ming-Deh A
- Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.)
Series: Lecture notes in computer science ; 877
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: Central Library, SUST (1)Call number: 512.7 ALG.
|
|
60.
|
|