Results
|
|
2301.
|
|
|
|
2302.
|
|
|
|
2303.
|
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by
- Kühnberger, Kai-Uwe [editor.]
- Rudolph, Sebastian [editor.]
- Wang, Pei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7999
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.
|
|
|
2304.
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by
- Dediu, Adrian-Horia [editor.]
- Martín-Vide, Carlos [editor.]
- Truthe, Bianca [editor.]
- Vega-Rodríguez, Miguel A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8273
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.
|
|
|
2305.
|
|
|
|
2306.
|
|
|
|
2307.
|
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.
|
|
|
2308.
|
|
|
|
2309.
|
|
|
|
2310.
|
|
|
|
2311.
|
|
|
|
2312.
|
|
|
|
2313.
|
|
|
|
2314.
|
|
|
|
2315.
|
|
|
|
2316.
|
|
|
|
2317.
|
|
|
|
2318.
|
Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence [electronic resource] / edited by Nik Bessis, Fatos Xhafa, Dora Varvarigou, Richard Hill, Maozhen Li. by
- Bessis, Nik [editor.]
- Xhafa, Fatos [editor.]
- Varvarigou, Dora [editor.]
- Hill, Richard [editor.]
- Li, Maozhen [editor.]
- SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 460
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.
|
|
|
2319.
|
|
|
|
2320.
|
Data Center Networks [electronic resource] : Topologies, Architectures and Fault-Tolerance Characteristics / by Yang Liu, Jogesh K. Muppala, Malathi Veeraraghavan, Dong Lin, Mounir Hamdi. by
- Liu, Yang [author.]
- Muppala, Jogesh K [author.]
- Veeraraghavan, Malathi [author.]
- Lin, Dong [author.]
- Hamdi, Mounir [author.]
- SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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.
|