Results
|
|
81.
|
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.
|
|
|
82.
|
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.
|
|
|
83.
|
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.
|
|
|
84.
|
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.
|
|
|
85.
|
Information Search, Integration and Personalization [electronic resource] : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers / edited by Yuzuru Tanaka, Nicolas Spyratos, Tetsuya Yoshida, Carlo Meghini. by
- Tanaka, Yuzuru [editor.]
- Spyratos, Nicolas [editor.]
- Yoshida, Tetsuya [editor.]
- Meghini, Carlo [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 146
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.
|
|
|
86.
|
|
|
|
87.
|
Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services [electronic resource] : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part I / edited by Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis. by
- Emmanouilidis, Christos [editor.]
- Taisch, Marco [editor.]
- Kiritsis, Dimitris [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 397
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.
|
|
|
88.
|
Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services [electronic resource] : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part II / edited by Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis. by
- Emmanouilidis, Christos [editor.]
- Taisch, Marco [editor.]
- Kiritsis, Dimitris [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 398
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.
|
|
|
89.
|
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
- Kotzé, Paula [editor.]
- Marsden, Gary [editor.]
- Lindgaard, Gitte [editor.]
- Wesson, Janet [editor.]
- Winckler, Marco [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8119
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.
|
|
|
90.
|
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
- Kotzé, Paula [editor.]
- Marsden, Gary [editor.]
- Lindgaard, Gitte [editor.]
- Wesson, Janet [editor.]
- Winckler, Marco [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8118
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.
|
|
|
91.
|
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
- Kotzé, Paula [editor.]
- Marsden, Gary [editor.]
- Lindgaard, Gitte [editor.]
- Wesson, Janet [editor.]
- Winckler, Marco [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8117
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.
|
|
|
92.
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings / edited by Costin Bǎdicǎ, Ngoc Thanh Nguyen, Marius Brezovan. by
- Bǎdicǎ, Costin [editor.]
- Nguyen, Ngoc Thanh [editor.]
- Brezovan, Marius [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8083
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.
|
|
|
93.
|
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
- Kotzé, Paula [editor.]
- Marsden, Gary [editor.]
- Lindgaard, Gitte [editor.]
- Wesson, Janet [editor.]
- Winckler, Marco [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8120
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.
|
|
|
94.
|
Research and Advanced Technology for Digital Libraries [electronic resource] : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings / edited by Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia. by
- Aalberg, Trond [editor.]
- Papatheodorou, Christos [editor.]
- Dobreva, Milena [editor.]
- Tsakonas, Giannis [editor.]
- Farrugia, Charles J [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8092
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.
|
|
|
95.
|
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni. by
- Karhumäki, Juhani [editor.]
- Lepistö, Arto [editor.]
- Zamboni, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8079
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.
|
|
|
96.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
- Leite, João [editor.]
- Son, Tran Cao [editor.]
- Torroni, Paolo [editor.]
- Torre, Leon van der [editor.]
- Woltran, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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.
|
|
|
97.
|
Advances in Artificial Intelligence [electronic resource] : 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings / edited by Concha Bielza, Antonio Salmerón, Amparo Alonso-Betanzos, J. Ignacio Hidalgo, Luis Martínez, Alicia Troncoso, Emilio Corchado, Juan M. Corchado. by
- Bielza, Concha [editor.]
- Salmerón, Antonio [editor.]
- Alonso-Betanzos, Amparo [editor.]
- Hidalgo, J. Ignacio [editor.]
- Martínez, Luis [editor.]
- Troncoso, Alicia [editor.]
- Corchado, Emilio [editor.]
- Corchado, Juan M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8109
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.
|
|
|
98.
|
Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov. by
- Mladenov, Valeri [editor.]
- Koprinkova-Hristova, Petia [editor.]
- Palm, Günther [editor.]
- Villa, Alessandro E. P [editor.]
- Appollini, Bruno [editor.]
- Kasabov, Nikola [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8131
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.
|
|
|
99.
|
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Matthias Klusch, Matthias Thimm, Marcin Paprzycki. by
- Klusch, Matthias [editor.]
- Thimm, Matthias [editor.]
- Paprzycki, Marcin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8076
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.
|
|
|
100.
|
Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge. by
- Ma, Minhua [editor.]
- Oliveira, Manuel Fradinho [editor.]
- Petersen, Sobah [editor.]
- Hauge, Jannicke Baalsrud [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8101
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.
|
