Welcome to Central Library, SUST

Your search returned 132 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Moral machines [electronic resource] : teaching robots right from wrong / Wendell Wallach, Colin Allen. by
  • Wallach, Wendell, 1946-
  • Allen, Colin
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Oxford : Oxford University Press, 2009
Online access:
Availability: No items available.

2.
From Linear Operators to Computational Biology [electronic resource] : Essays in Memory of Jacob T. Schwartz / edited by Martin Davis, Edmond Schonberg. by
  • Davis, Martin [editor.]
  • Schonberg, Edmond [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

3.
Advances in Applied Self-Organizing Systems [electronic resource] / edited by Mikhail Prokopenko. by
  • Prokopenko, Mikhail [editor.]
  • SpringerLink (Online service)
Series: Advanced Information and Knowledge Processing
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

4.
Giants of Computing [electronic resource] : A Compendium of Select, Pivotal Pioneers / by Gerard O’Regan. by
  • O’Regan, Gerard [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

5.
Social Semantics [electronic resource] : The Search for Meaning on the Web / by Harry Halpin. by
  • Halpin, Harry [author.]
  • SpringerLink (Online service)
Series: Semantic Web and Beyond, Computing for Human Experience ; 13
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013
Availability: No items available.

6.
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba / by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson. by
  • Subrahmanian, V.S [author.]
  • Mannes, Aaron [author.]
  • Sliva, Amy [author.]
  • Shakarian, Jana [author.]
  • Dickerson, John P [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

7.
Semantic Web-based Intelligent Geospatial Web Services [electronic resource] / by Peng Yue. by
  • Yue, Peng [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

8.
Genetic Programming Theory and Practice X [electronic resource] / edited by Rick Riolo, Ekaterina Vladislavleva, Marylyn D Ritchie, Jason H. Moore. by
  • Riolo, Rick [editor.]
  • Vladislavleva, Ekaterina [editor.]
  • Ritchie, Marylyn D [editor.]
  • Moore, Jason H [editor.]
  • SpringerLink (Online service)
Series: Genetic and Evolutionary Computation
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

9.
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by
  • Soloveichik, David [editor.]
  • Yurke, Bernard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8141
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

10.
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk. by
  • Erwig, Martin [editor.]
  • Paige, Richard F [editor.]
  • Wyk, Eric Van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8225
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

11.
Social Robotics [electronic resource] : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / edited by Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards. by
  • Herrmann, Guido [editor.]
  • Pearson, Martin J [editor.]
  • Lenz, Alexander [editor.]
  • Bremner, Paul [editor.]
  • Spiers, Adam [editor.]
  • Leonards, Ute [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8239
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

12.
Active Media Technology [electronic resource] : 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings / edited by Tetsuya Yoshida, Gang Kou, Andrzej Skowron, Jiannong Cao, Hakim Hacid, Ning Zhong. by
  • Yoshida, Tetsuya [editor.]
  • Kou, Gang [editor.]
  • Skowron, Andrzej [editor.]
  • Cao, Jiannong [editor.]
  • Hacid, Hakim [editor.]
  • Zhong, Ning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8210
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

13.
Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong. by
  • Imamura, Kazayuki [editor.]
  • Usui, Shiro [editor.]
  • Shirao, Tomoaki [editor.]
  • Kasamatsu, Takuji [editor.]
  • Schwabe, Lars [editor.]
  • Zhong, Ning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8211
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

14.
Interactive Storytelling [electronic resource] : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings / edited by Hartmut Koenitz, Tonguc Ibrahim Sezen, Gabriele Ferri, Mads Haahr, Digdem Sezen, Güven C̨atak. by
  • Koenitz, Hartmut [editor.]
  • Sezen, Tonguc Ibrahim [editor.]
  • Ferri, Gabriele [editor.]
  • Haahr, Mads [editor.]
  • Sezen, Digdem [editor.]
  • C̨atak, Güven [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8230
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

15.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
  • Bertacco, Valeria [editor.]
  • Legay, Axel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

16.
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira. by
  • Urzaiz, Gabriel [editor.]
  • Ochoa, Sergio F [editor.]
  • Bravo, José [editor.]
  • Chen, Liming Luke [editor.]
  • Oliveira, Jonice [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8276
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

17.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

18.
Complex Sciences [electronic resource] : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / edited by Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao. by
  • Glass, Kristin [editor.]
  • Colbaugh, Richard [editor.]
  • Ormerod, Paul [editor.]
  • Tsao, Jeffrey [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 126
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

19.
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by
  • Baldoni, Matteo [editor.]
  • Baroglio, Cristina [editor.]
  • Boella, Guido [editor.]
  • Micalizio, Roberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8249
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

20.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
  • Gonthier, Georges [editor.]
  • Norrish, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

Pages