Results
|
|
5801.
|
|
|
|
5802.
|
Writing for computer science. Justin Zobel by
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: 808.0666021 ZOW, ...
|
|
|
5803.
|
Logic, language, and computation : 8th International TBILISI Symposium on Logic, Language, and Computation, TBILLC 2009, Bakuriani, Georgia, September 21-25, 2009. revised selected papers / [edited by] Nick Bezhanishvili, Sebastian Loebner, Kerstin Schwabe. by
- Bezhanishvili, Nick
- Loebne, Sebastian
- Schwabe, Kerstin
Series: Lecture notes in artificial intelligence ; 6618
Edition: 1st ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ...
|
|
|
5804.
|
|
|
|
5805.
|
|
|
|
5806.
|
|
|
|
5807.
|
|
|
|
5808.
|
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by
- Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany)
- Beklemishev, Lev D
- [Queiroz, Ruy de queiroz]
Series:
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: 005.1015113 LOG, ...
|
|
|
5809.
|
|
|
|
5810.
|
Artificial intelligence : methodology, systems, and applications 16th International conference, AIMSA 2014, varna, bulgaria, september 11-13, 2014. proceedings / [edited by] Gennady Agre, Pascal Hitzler, Adila Alfa Krisnadhi. by
- Hitzler, Pascal
- Krisnadhi, Adila Alfa
Series: Lecture notes in artificial intelligence ; 8722
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cham : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004 AGA, ...
|
|
|
5811.
|
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems And Projects, Held As Part Of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / [edited by] Johan Jeuring, John A. Campbell, Jacques Carette. by
- Jeuring, Johan
- A. Campbell, John
- Carette, Jacques
Series: Lecture notes in artificial intelligence ; 7362
Edition: 1st ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, 2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 INT, ...
|
|
|
5812.
|
|
|
|
5813.
|
Artificial intelligence and soft computing : 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010 / Leszek Rutkowski ... [et al.] (eds.). by
- ICAISC 2010 (2010 : Zakopane, Poland)
- Rutkowski, Leszek
Series: Lecture notes in computer science ; 6113. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 ART, ...
|
|
|
5814.
|
Intelligent information and database systems : 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014 : proceedings / Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawi�nski, Kulwadee Somboonviwat (eds.). by
- Asian Conference on Intelligent Information and Database Systems (6th : 2014 : Bangkok, Thailand)
- Nguyen, Ngoc Thanh (Computer scientist) [editor of compilation.]
- Boonwat Attachoo [editor of compilation.]
- Trawi�nski, Bogdan [editor of compilation.]
- Kulwadee Somboonviwat [editor of compilation.]
Series:
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin. : Springer. 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 INT, ...
|
|
|
5815.
|
Cloud computing : 4th International Conference, Cloudcomp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers / Edited by Victor C.M. Leung, Min Chen. by
- Leung, Victor C.M
- Chen, Min
Edition: 1st edition.
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: 338.02097309049 LEC, ...
|
|
|
5816.
|
Cloud computing : First International Conference, CloudComp 2009, Munich, Germany, October 19-21, 2009 : revised selected papers / Dimiter R. Avresky ... [et al.], (eds.). by
- CloudComp 2009 (2009 : Munich, Germany)
- Avresky, D. R. (Dimitri Ranguelov), 1944-
- Institute for Computer Sciences, Social-Informatics, and Telecommunications Engineering
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6782 CLO, ...
|
|
|
5817.
|
|
|
|
5818.
|
|
|
|
5819.
|
Game theory for networks : Third International ICST Conference, GameNets 2012, Vancouver, Canada, May 24-26, 2012, revised selected papers / [edited by] Vikram Krishnamurthy, Qing Zhao, Minyi Huang. by Series: Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 105
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, 2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 620.004250 GAM, ...
|
|
|
5820.
|
|
