Results
|
241.
|
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.
|
|
242.
|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
- Ida, Tetsuo [editor.]
- Fleuriot, Jacques [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
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.
|
|
243.
|
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
- Fontaine, Pascal [editor.]
- Ringeissen, Christophe [editor.]
- Schmidt, Renate A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
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.
|
|
244.
|
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by
- Pacino, Dario [editor.]
- Voß, Stefan [editor.]
- Jensen, Rune Møller [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8197
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.
|
|
245.
|
On the Move to Meaningful Internet Systems: OTM 2013 Conferences [electronic resource] : Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter De Leenheer, Deijing Dou. by
- Meersman, Robert [editor.]
- Panetto, Hervé [editor.]
- Dillon, Tharam [editor.]
- Eder, Johann [editor.]
- Bellahsene, Zohra [editor.]
- Ritter, Norbert [editor.]
- Leenheer, Pieter De [editor.]
- Dou, Deijing [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8185
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.
|
|
246.
|
Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah. by
- Shaikh, Faisal Karim [editor.]
- Chowdhry, Bhawani Shankar [editor.]
- Ammari, Habib M [editor.]
- Uqaili, Muhammad Aslam [editor.]
- Shah, Assadullah [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 366
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.
|
|
247.
|
Environmental Software Systems. Fostering Information Sharing [electronic resource] : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings / edited by Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. by
- Hřebíček, Jiří [editor.]
- Schimak, Gerald [editor.]
- Kubásek, Miroslav [editor.]
- Rizzoli, Andrea E [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 413
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.
|
|
248.
|
|
|
249.
|
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
- Duchier, Denys [editor.]
- Parmentier, Yannick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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.
|
|
250.
|
PRIMA 2013: Principles and Practice of Multi-Agent Systems [electronic resource] : 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis. by
- Boella, Guido [editor.]
- Elkind, Edith [editor.]
- Savarimuthu, Bastin Tony Roy [editor.]
- Dignum, Frank [editor.]
- Purvis, Martin K [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8291
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.
|
|
251.
|
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.
|
|
252.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.
|
|
253.
|
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge [electronic resource] : Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers / edited by Alessandro Moschitti, Barbara Plank. by
- Moschitti, Alessandro [editor.]
- Plank, Barbara [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 379
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.
|
|
254.
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by
- Cossentino, Massimo [editor.]
- Fallah Seghrouchni, Amal El [editor.]
- Winikoff, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8245
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.
|
|
255.
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by
- Moreno-Díaz, Roberto [editor.]
- Pichler, Franz [editor.]
- Quesada-Arencibia, Alexis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8111
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.
|
|
256.
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by
- Moreno-Díaz, Roberto [editor.]
- Pichler, Franz [editor.]
- Quesada-Arencibia, Alexis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8112
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.
|
|
257.
|
|
|
258.
|
Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2012) [electronic resource] : Volume 1 / edited by Jagdish Chand Bansal, Pramod Kumar Singh, Kusum Deep, Millie Pant, Atulya K. Nagar. by
- Bansal, Jagdish Chand [editor.]
- Singh, Pramod Kumar [editor.]
- Deep, Kusum [editor.]
- Pant, Millie [editor.]
- Nagar, Atulya K [editor.]
- SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 201
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013
Availability: No items available.
|
|
259.
|
Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2012) [electronic resource] : Volume 2 / edited by Jagdish Chand Bansal, Pramod Singh, Kusum Deep, Millie Pant, Atulya Nagar. by
- Bansal, Jagdish Chand [editor.]
- Singh, Pramod [editor.]
- Deep, Kusum [editor.]
- Pant, Millie [editor.]
- Nagar, Atulya [editor.]
- SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 202
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: India : Springer India : Imprint: Springer, 2013
Availability: No items available.
|
|
260.
|
|