Welcome to Central Library, SUST

Your search returned 438 results.

Not what you expected? Check for suggestions
Sort
Results
281.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by
  • Liu, Shaoying [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7787
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

282.
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by
  • Jurgensen, Helmut [editor.]
  • Reis, Rogério [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8031
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

283.
Human-Computer Interaction. Interaction Modalities and Techniques [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV / edited by Masaaki Kurosu. by
  • Kurosu, Masaaki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8007
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

284.
Human Aspects of Information Security, Privacy, and Trust [electronic resource] : First International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Louis Marinos, Ioannis Askoxylakis. by
  • Marinos, Louis [editor.]
  • Askoxylakis, Ioannis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8030
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

285.
Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Norbert Streitz, Constantine Stephanidis. by
  • Streitz, Norbert [editor.]
  • Stephanidis, Constantine [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8028
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

286.
Engineering Psychology and Cognitive Ergonomics. Applications and Services [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Don Harris. by
  • Harris, Don [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8020
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

287.
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Don Harris. by
  • Harris, Don [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8019
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

288.
Online Communities and Social Computing [electronic resource] : 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by A. Ant Ozok, Panayiotis Zaphiris. by
  • Ozok, A. Ant [editor.]
  • Zaphiris, Panayiotis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8029
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

289.
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Randall Shumaker. by
  • Shumaker, Randall [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8021
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

290.
Virtual, Augmented and Mixed Reality. Systems and Applications [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Randall Shumaker. by
  • Shumaker, Randall [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8022
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

291.
Foundations of Augmented Cognition [electronic resource] : 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Dylan D. Schmorrow, Cali M. Fidopiastis. by
  • Schmorrow, Dylan D [editor.]
  • Fidopiastis, Cali M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8027
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

292.
Inclusive Society: Health and Wellbeing in the Community, and Care at Home [electronic resource] : 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings / edited by Jit Biswas, Hisato Kobayashi, Lawrence Wong, Bessam Abdulrazak, Mounir Mokhtari. by
  • Biswas, Jit [editor.]
  • Kobayashi, Hisato [editor.]
  • Wong, Lawrence [editor.]
  • Abdulrazak, Bessam [editor.]
  • Mokhtari, Mounir [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7910
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

293.
HCI International 2013 - Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Constantine Stephanidis. by
  • Stephanidis, Constantine [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 373
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

294.
HCI International 2013 - Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Constantine Stephanidis. by
  • Stephanidis, Constantine [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 374
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

295.
Intelligent Computing Theories [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan Premaratne. by
  • Huang, De-Shuang [editor.]
  • Bevilacqua, Vitoantonio [editor.]
  • Figueroa, Juan Carlos [editor.]
  • Premaratne, Prashan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7995
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

296.
Model-Driven Dependability Assessment of Software Systems [electronic resource] / by Simona Bernardi, José Merseguer, Dorina Corina Petriu. by
  • Bernardi, Simona [author.]
  • Merseguer, José [author.]
  • Petriu, Dorina Corina [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

297.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
  • Biere, Armin [editor.]
  • Nahir, Amir [editor.]
  • Vos, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

298.
The Power of Algorithms [electronic resource] : Inspiration and Examples in Everyday Life / edited by Giorgio Ausiello, Rossella Petreschi. by
  • Ausiello, Giorgio [editor.]
  • Petreschi, Rossella [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

299.
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / edited by Wolfgang Faber, Domenico Lembo. by
  • Faber, Wolfgang [editor.]
  • Lembo, Domenico [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7994
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

300.
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings / edited by G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen. by
  • Wang, G. Alan [editor.]
  • Zheng, Xiaolong [editor.]
  • Chau, Michael [editor.]
  • Chen, Hsinchun [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8039
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

Pages