Results
|
|
1261.
|
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.
|
|
|
1262.
|
Web-Age Information Management [electronic resource] : WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings / edited by Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao. by
- Gao, Yunjun [editor.]
- Shim, Kyuseok [editor.]
- Ding, Zhiming [editor.]
- Jin, Peiquan [editor.]
- Ren, Zujie [editor.]
- Xiao, Yingyuan [editor.]
- Liu, An [editor.]
- Qiao, Shaojie [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7901
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.
|
|
|
1263.
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
- Blazy, Sandrine [editor.]
- Paulin-Mohring, Christine [editor.]
- Pichardie, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.
|
|
|
1264.
|
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / 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 ; 8049
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.
|
|
|
1265.
|
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.
|
|
|
1266.
|
Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings / edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen. by
- Rudolph, Sebastian [editor.]
- Gottlob, Georg [editor.]
- Horrocks, Ian [editor.]
- Harmelen, Frank van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8067
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.
|
|
|
1267.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by
- Motomura, Yoichi [editor.]
- Butler, Alastair [editor.]
- Bekki, Daisuke [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7856
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.
|
|
|
1268.
|
|
|
|
1269.
|
Euro-Par 2013 Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey. by
- Wolf, Felix [editor.]
- Mohr, Bernd [editor.]
- Mey, Dieter an [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8097
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.
|
|
|
1270.
|
Data Management in Cloud, Grid and P2P Systems [electronic resource] : 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings / edited by Abdelkader Hameurlain, Wenny Rahayu, David Taniar. by
- Hameurlain, Abdelkader [editor.]
- Rahayu, Wenny [editor.]
- Taniar, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8059
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.
|
|
|
1271.
|
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings / edited by Vladimír Mařík, Jose L. Martinez Lastra, Petr Skobelev. by
- Mařík, Vladimír [editor.]
- Lastra, Jose L. Martinez [editor.]
- Skobelev, Petr [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8062
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.
|
|
|
1272.
|
Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by
- Daniel, Florian [editor.]
- Papadopoulos, George A [editor.]
- Thiran, Philippe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8093
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.
|
|
|
1273.
|
|
|
|
1274.
|
Text, Speech, and Dialogue [electronic resource] : 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings / edited by Ivan Habernal, Václav Matoušek. by
- Habernal, Ivan [editor.]
- Matoušek, Václav [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8082
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.
|
|
|
1275.
|
Security Engineering and Intelligence Informatics [electronic resource] : CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu. by
- Cuzzocrea, Alfredo [editor.]
- Kittl, Christian [editor.]
- Simos, Dimitris E [editor.]
- Weippl, Edgar [editor.]
- Xu, Lida [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8128
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.
|
|
|
1276.
|
Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch. by
- Gurevych, Iryna [editor.]
- Biemann, Chris [editor.]
- Zesch, Torsten [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8105
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.
|
|
|
1277.
|
Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by
- Balsamo, Maria Simonetta [editor.]
- Knottenbelt, William J [editor.]
- Marin, Andrea [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8168
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.
|
|
|
1278.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab. by
- Mori, Kensaku [editor.]
- Sakuma, Ichiro [editor.]
- Sato, Yoshinobu [editor.]
- Barillot, Christian [editor.]
- Navab, Nassir [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8150
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.
|
|
|
1279.
|
Hybrid Artificial Intelligent Systems [electronic resource] : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings / edited by Jeng-Shyang Pan, Marios M. Polycarpou, Michał Woźniak, André C. P. L. F. de Carvalho, Héctor Quintián, Emilio Corchado. by
- Pan, Jeng-Shyang [editor.]
- Polycarpou, Marios M [editor.]
- Woźniak, Michał [editor.]
- Carvalho, André C. P. L. F. de [editor.]
- Quintián, Héctor [editor.]
- Corchado, Emilio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8073
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.
|
|
|
1280.
|
Intelligent Robotics and Applications [electronic resource] : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I / edited by Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu. by
- Lee, Jangmyung [editor.]
- Lee, Min Cheol [editor.]
- Liu, Honghai [editor.]
- Ryu, Jee-Hwan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8102
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.
|
