Your search returned 438 results.

Not what you expected? Check for suggestions

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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 438 results.