Results
|
|
521.
|
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
Availability: No items available.
|
|
|
522.
|
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
Availability: No items available.
|
|
|
523.
|
|
|
|
524.
|
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
Availability: No items available.
|
|
|
525.
|
|
|
|
526.
|
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
Availability: No items available.
|
|
|
527.
|
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
Availability: No items available.
|
|
|
528.
|
|
|
|
529.
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
530.
|
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
- Ruhe, Günther [editor.]
- Zhang, Yuanyuan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
531.
|
Hybrid Learning and Continuing Education [electronic resource] : 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings / edited by Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok. by
- Cheung, Simon K. S [editor.]
- Fong, Joseph [editor.]
- Fong, Wilfred [editor.]
- Wang, Fu Lee [editor.]
- Kwok, Lam For [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8038
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
532.
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
- Sharygina, Natasha [editor.]
- Veith, Helmut [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
533.
|
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott. by
- Lepora, Nathan F [editor.]
- Mura, Anna [editor.]
- Krapp, Holger G [editor.]
- Verschure, Paul F. M. J [editor.]
- Prescott, Tony J [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8064
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
534.
|
Nordic Contributions in IS Research [electronic resource] : 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings / edited by Margunn Aanestad, Tone Bratteteig. by
- Aanestad, Margunn [editor.]
- Bratteteig, Tone [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 156
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
535.
|
Smart Health [electronic resource] : International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings / edited by Daniel Zeng, Christopher C. Yang, Vincent S. Tseng, Chunxiao Xing, Hsinchun Chen, Fei-Yue Wang, Xiaolong Zheng. by
- Zeng, Daniel [editor.]
- Yang, Christopher C [editor.]
- Tseng, Vincent S [editor.]
- Xing, Chunxiao [editor.]
- Chen, Hsinchun [editor.]
- Wang, Fei-Yue [editor.]
- Zheng, Xiaolong [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8040
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
536.
|
Agreement Technologies [electronic resource] : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / edited by Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George Vouros. by
- Chesñevar, Carlos Iván [editor.]
- Onaindia, Eva [editor.]
- Ossowski, Sascha [editor.]
- Vouros, George [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8068
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
537.
|
Digital Forensics and Cyber Crime [electronic resource] : 4th International Conference, ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers / edited by Marcus Rogers, Kathryn C. Seigfried-Spellar. by
- Rogers, Marcus [editor.]
- Seigfried-Spellar, Kathryn C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 114
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
538.
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. by
- Lourenço, João M [editor.]
- Farchi, Eitan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8063
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
539.
|
Public Key Infrastructures, Services and Applications [electronic resource] : 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / edited by Sabrina De Capitani di Vimercati, Chris Mitchell. by
- Capitani di Vimercati, Sabrina De [editor.]
- Mitchell, Chris [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7868
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
540.
|
|
