Results
|
|
61.
|
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.
|
|
|
62.
|
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.
|
|
|
63.
|
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.
|
|
|
64.
|
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.
|
|
|
65.
|
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.
|
|
|
66.
|
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.
|
|
|
67.
|
|
|
|
68.
|
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.
|
|
|
69.
|
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.
|
|
|
70.
|
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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
71.
|
Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan. by
- Augusto, Juan Carlos [editor.]
- Wichert, Reiner [editor.]
- Collier, Rem [editor.]
- Keyson, David [editor.]
- Salah, Albert Ali [editor.]
- Tan, Ah-Hwee [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8309
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.
|
|
|
72.
|
|
|
|
73.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8297
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.
|
|
|
74.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8298
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.
|
|
|
75.
|
Advances in Information Technology [electronic resource] : 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Vajirasak Vanijja, Vithida Chongsuphajaisiddhi. by
- Papasratorn, Borworn [editor.]
- Charoenkitkarn, Nipon [editor.]
- Vanijja, Vajirasak [editor.]
- Chongsuphajaisiddhi, Vithida [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 409
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.
|
|
|
76.
|
|
|
|
77.
|
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
- Baldoni, Roberto [editor.]
- Nisse, Nicolas [editor.]
- Steen, Maarten van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
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.
|
|
|
78.
|
Process Support and Knowledge Representation in Health Care [electronic resource] : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers / edited by David Riaño, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette ten Teije. by
- Riaño, David [editor.]
- Lenz, Richard [editor.]
- Miksch, Silvia [editor.]
- Peleg, Mor [editor.]
- Reichert, Manfred [editor.]
- Teije, Annette ten [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8268
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.
|
|
|
79.
|
Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
- Ermolayev, Vadim [editor.]
- Mayr, Heinrich C [editor.]
- Nikitchenko, Mykola [editor.]
- Spivakovsky, Aleksander [editor.]
- Zholtkevych, Grygoriy [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 412
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.
|
|
|
80.
|
Behavior and Social Computing [electronic resource] : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers / edited by Longbing Cao, Hiroshi Motoda, Jaideep Srivastava, Ee-Peng Lim, Irwin King, Philip S. Yu, Wolfgang Nejdl, Guandong Xu, Gang Li, Ya Zhang. by
- Cao, Longbing [editor.]
- Motoda, Hiroshi [editor.]
- Srivastava, Jaideep [editor.]
- Lim, Ee-Peng [editor.]
- King, Irwin [editor.]
- Yu, Philip S [editor.]
- Nejdl, Wolfgang [editor.]
- Xu, Guandong [editor.]
- Li, Gang [editor.]
- Zhang, Ya [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8178
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.
|
