Results
|
|
661.
|
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; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
662.
|
|
|
|
663.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita. by
- Higashino, Teruo [editor.]
- Katayama, Yoshiaki [editor.]
- Masuzawa, Toshimitsu [editor.]
- Potop-Butucaru, Maria [editor.]
- Yamashita, Masafumi [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8255
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
664.
|
Ambient Assisted Living and Active Aging [electronic resource] : 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Christopher Nugent, Antonio Coronato, José Bravo. by
- Nugent, Christopher [editor.]
- Coronato, Antonio [editor.]
- Bravo, José [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8277
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
665.
|
|
|
|
666.
|
|
|
|
667.
|
Advances in Computer Entertainment [electronic resource] : 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings / edited by Dennis Reidsma, Haruhiro Katayose, Anton Nijholt. by
- Reidsma, Dennis [editor.]
- Katayose, Haruhiro [editor.]
- Nijholt, Anton [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8253
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
668.
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
669.
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
670.
|
|
|
|
671.
|
|
|
|
672.
|
Social Informatics [electronic resource] : 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings / edited by Adam Jatowt, Ee-Peng Lim, Ying Ding, Asako Miura, Taro Tezuka, Gaël Dias, Katsumi Tanaka, Andrew Flanagin, Bing Tian Dai. by
- Jatowt, Adam [editor.]
- Lim, Ee-Peng [editor.]
- Ding, Ying [editor.]
- Miura, Asako [editor.]
- Tezuka, Taro [editor.]
- Dias, Gaël [editor.]
- Tanaka, Katsumi [editor.]
- Flanagin, Andrew [editor.]
- Dai, Bing Tian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8238
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
673.
|
|
|
|
674.
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
675.
|
Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / edited by Roderick Bloem, Peter Lipp. by
- Bloem, Roderick [editor.]
- Lipp, Peter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8292
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
676.
|
|
|
|
677.
|
|
|
|
678.
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
679.
|
Algorithms and Models for the Web Graph [electronic resource] : 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings / edited by Anthony Bonato, Michael Mitzenmacher, Paweł Prałat. by
- Bonato, Anthony [editor.]
- Mitzenmacher, Michael [editor.]
- Prałat, Paweł [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8305
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
680.
|
|
