|
|
5301.
|
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 | Sofronie-Stokkermans, Viorica | 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
|
|
|
5302.
|
Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner.
by Cuellar, Jorge | Lopez, Javier | Barthe, Gilles | Pretschner, Alexander | 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
|
|
|
5303.
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup.
by Frey, Hannes | Li, Xu | Ruehrup, Stefan | 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
|
|
|
5304.
|
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 | Tan, Honghua | 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
|
|
|
5305.
|
Self Organized Nanostructures of Amphiphilic Block Copolymers I [electronic resource] / edited by Axel H. E. Müller, Oleg Borisov.
by Müller, Axel H. E | Borisov, Oleg | 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
|
|
|
5306.
|
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi | Oltean, Mihai | 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
|
|
|
5307.
|
Information Security and Privacy [electronic resource] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes.
by Parampalli, Udaya | Hawkes, Philip | 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
|
|
|
5308.
|
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen.
by Kuchen, Herbert | 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
|
|
|
5309.
|
Advances in Network Security and Applications [electronic resource] : 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011 / edited by David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai.
by Wyld, David C | Wozniak, Michal | Chaki, Nabendu | Meghanathan, Natarajan | Nagamalai, Dhinaharan | 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
|
|
|
5310.
|
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 | Wozniak, Michal | Chaki, Nabendu | Meghanathan, Natarajan | Nagamalai, Dhinaharan | 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
|
|
|
5311.
|
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 | Governatori, Guido | Paschke, Adrian | 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
|
|
|
5312.
|
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 | Wozniak, Michal | Chaki, Nabendu | Meghanathan, Natarajan | Nagamalai, Dhinaharan | 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
|
|
|
5313.
|
Smart Graphics [electronic resource] : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings / edited by Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier.
by Dickmann, Lutz | Volkmann, Gerald | Malaka, Rainer | Boll, Susanne | Krüger, Antonio | Olivier, Patrick | 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
|
|
|
5314.
|
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 | Nandi, Suman | Kumar, Gaurav | Kumar, Sandeep | 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
|
|
|
5315.
|
A Hybrid Deliberative Layer for Robotic Agents [electronic resource] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto.
by Hartanto, Ronny | 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
|
|
|
5316.
|
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ç | Narakawa, Yasuo | Yin, Jianping | Long, Jun | 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
|
|
|
5317.
|
Descriptional Complexity of Formal Systems [electronic resource] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini.
by Holzer, Markus | Kutrib, Martin | Pighizzini, Giovanni | 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
|
|
|
5318.
|
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 | El-Qawasmeh, Eyas | 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
|
|
|
5319.
|
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 | Bandyopadhyay, Sanghamitra | Catalyurek, Umit V | Dubhashi, Devdatt P | Jones, Phillip H | Parashar, Manish | Schmidt, Bertil | 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
|
|
|
5320.
|
Combinatorial Optimization and Applications [electronic resource] : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings / edited by Weifan Wang, Xuding Zhu, Ding-Zhu Du.
by Wang, Weifan | Zhu, Xuding | Du, Ding-Zhu | 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
|
