|
|
4641.
|
Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
by Bjørner, Nikolaj [editor.] | Sofronie-Stokkermans, Viorica [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4642.
|
Advances in Computer Science and Education Applications [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II / edited by Mark Zhou, Honghua Tan.
by Zhou, Mark [editor.] | Tan, Honghua [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4643.
|
Biologically Inspired Approaches for Locomotion, Anomaly Detection and Reconfiguration for Walking Robots [electronic resource] / by Bojan Jakimovski.
by Jakimovski, Bojan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4644.
|
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen.
by Kuchen, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4645.
|
Trends in Network and Communications [electronic resource] : International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings / edited by David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai.
by Wyld, David C [editor.] | Wozniak, Michal [editor.] | Chaki, Nabendu [editor.] | Meghanathan, Natarajan [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
4646.
|
Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke.
by Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4647.
|
Advances in Computing and Information Technology [electronic resource] : First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings / edited by David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai.
by Wyld, David C [editor.] | Wozniak, Michal [editor.] | Chaki, Nabendu [editor.] | Meghanathan, Natarajan [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4648.
|
High Performance Architecture and Grid Computing [electronic resource] : International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings / edited by Archana Mantri, Suman Nandi, Gaurav Kumar, Sandeep Kumar.
by Mantri, Archana [editor.] | Nandi, Suman [editor.] | Kumar, Gaurav [editor.] | Kumar, Sandeep [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4649.
|
A Hybrid Deliberative Layer for Robotic Agents [electronic resource] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto.
by Hartanto, Ronny [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4650.
|
Modeling Decision for Artificial Intelligence [electronic resource] : 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings / edited by Vicenç Torra, Yasuo Narakawa, Jianping Yin, Jun Long.
by Torra, Vicenç [editor.] | Narakawa, Yasuo [editor.] | Yin, Jianping [editor.] | Long, Jun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4651.
|
Digital Enterprise and Information Systems [electronic resource] : International Conference, DEIS 2011, London, UK, July 20 – 22, 2011. Proceedings / edited by Ezendu Ariwa, Eyas El-Qawasmeh.
by Ariwa, Ezendu [editor.] | El-Qawasmeh, Eyas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4652.
|
Contemporary Computing [electronic resource] : 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings / edited by Srinivas Aluru, Sanghamitra Bandyopadhyay, Umit V. Catalyurek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt.
by Aluru, Srinivas [editor.] | Bandyopadhyay, Sanghamitra [editor.] | Catalyurek, Umit V [editor.] | Dubhashi, Devdatt P [editor.] | Jones, Phillip H [editor.] | Parashar, Manish [editor.] | Schmidt, Bertil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
4653.
|
Transactions on Computational Science XIII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4654.
|
Journal on Data Semantics XV [electronic resource] / edited by Stefano Spaccapietra.
by Spaccapietra, Stefano [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4655.
|
Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes.
by Weyns, Danny [editor.] | Gleizes, Marie-Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4656.
|
Transactions on Edutainment VI [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller.
by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4657.
|
Average Time Complexity of Decision Trees [electronic resource] / by Igor Chikalov.
by Chikalov, Igor [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4658.
|
Intelligent Open Learning Systems [electronic resource] : Concepts, Models and Algorithms / by Przemysław Różewski, Emma Kusztina, Ryszard Tadeusiewicz, Oleg Zaikin.
by Różewski, Przemysław [author.] | Kusztina, Emma [author.] | Tadeusiewicz, Ryszard [author.] | Zaikin, Oleg [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4659.
|
Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings / edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe.
by Davenport, James H [editor.] | Farmer, William M [editor.] | Urban, Josef [editor.] | Rabe, Florian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
4660.
|
Computing and Combinatorics [electronic resource] : 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings / edited by Bin Fu, Ding-Zhu Du.
by Fu, Bin [editor.] | Du, Ding-Zhu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
