Results
|
|
141.
|
|
|
|
142.
|
|
|
|
143.
|
|
|
|
144.
|
|
|
|
145.
|
|
|
|
146.
|
|
|
|
147.
|
|
|
|
148.
|
|
|
|
149.
|
|
|
|
150.
|
|
|
|
151.
|
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [electronic resource] : AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers / edited by Esther David, Valentin Robu, Onn Shehory, Sebastian Stein, Andreas Symeonidis. by
- David, Esther [editor.]
- Robu, Valentin [editor.]
- Shehory, Onn [editor.]
- Stein, Sebastian [editor.]
- Symeonidis, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 119
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.
|
|
|
152.
|
|
|
|
153.
|
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by
- Pfeiffer, Heather D [editor.]
- Ignatov, Dmitry I [editor.]
- Poelmans, Jonas [editor.]
- Gadiraju, Nagarjuna [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7735
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.
|
|
|
154.
|
Aggregation Functions in Theory and in Practise [electronic resource] : Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 / edited by Humberto Bustince, Javier Fernandez, Radko Mesiar, Tomasa Calvo. by
- Bustince, Humberto [editor.]
- Fernandez, Javier [editor.]
- Mesiar, Radko [editor.]
- Calvo, Tomasa [editor.]
- SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 228
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.
|
|
|
155.
|
|
|
|
156.
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by
- Carette, Jacques [editor.]
- Aspinall, David [editor.]
- Lange, Christoph [editor.]
- Sojka, Petr [editor.]
- Windsteiger, Wolfgang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7961
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.
|
|
|
157.
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by
- Morgenstern, Leora [editor.]
- Stefaneas, Petros [editor.]
- Lévy, François [editor.]
- Wyner, Adam [editor.]
- Paschke, Adrian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8035
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.
|
|
|
158.
|
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.
|
|
|
159.
|
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.
|
|
|
160.
|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by
- Morrill, Glyn [editor.]
- Nederhof, Mark-Jan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8036
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.
|
