Results
|
5781.
|
|
|
5782.
|
|
|
5783.
|
|
|
5784.
|
|
|
5785.
|
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, ...
|
|
5786.
|
|
|
5787.
|
|
|
5788.
|
|
|
5789.
|
|
|
5790.
|
|
|
5791.
|
Advances in artificial intelligence : 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011 : proceedings / Cory Butz, Pawan Lingras (eds.). by
- Canadian Conference on Artificial Intelligence (24th : 2011 : St. John's, N.L.)
- Butz, Cory [editor.]
- Lingras, Pawan [editor.]
Series: Lecture notes in computer science, Lecture notes in artifical intelligence ; 6657.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 610.285 ADA, ...
|
|
5792.
|
|
|
5793.
|
Genetic Programming Theory and Practice X / Rick Riolo, Ekaterina Vladislavleva, Marylyn D. Ritchie, Jason H. Moore, editors ; foreword by Bill Worzel. by
- Workshop on Genetic Programming, Theory and Practice (10th : 2012 : Ann Arbor, Mich.)
- Riolo, Rick [editor.]
- Vladislavleva, Ekaterina [editor.]
- Ritchie, Marylyn D [editor]
- Moore, Jason H [editor.]
- Worzel, Bill [writer of supplementary textual content.]
Series: Genetic and evolutionary computation series
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, c2013
Other title: - Genetic programming theory and practice 10
Availability: Items available for loan: Central Library, SUST (3)Call number: 006 GEN, ...
|
|
5794.
|
Ways of knowing in HCI / Judith S. Olson, Wendy A. Kellogg, editors. by
- Olson, Judith S [editor of compilation.]
- Kellogg, Wendy [editor of compilation.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: London: Springer. c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.019 WAY, ...
|
|
5795.
|
|
|
5796.
|
Cloud data management / Liang Zhao ... [et al.]. by
- Sakr, Sherif, 1979- [author.]
- Liu, Anna [author.]
- Bouguettaya, Athman [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: London : Springer. c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6782 CLO, ...
|
|
5797.
|
Wireless networking for moving objects : protocols, architectures, tools, services and applications / [edited by] Ivan Ganchev, Marilia Curado, Andreas Kassler. by
- Ganchev, Ivan
- Curado, Marilia
- Kassler, Andreas
Series: Lecture notes in computer science ; 8611
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.382 WIR, ...
|
|
5798.
|
Web services foundations. Athman Bouguettaya ... [et al.]. by
- Sheng, Quan Z
- Daniel, Florian
- Papazoglou, M
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York, NY : Springer, c2014
Availability: Items available for loan: Central Library, SUST (1)Call number: 006.33 WEB.
|
|
5799.
|
|
|
5800.
|
|