|
1301.
|
Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.
by Dawar, Anuj | Queiroz, Ruy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1302.
|
Successful Case-based Reasoning Applications - I [electronic resource] / edited by Stefania Montani, Lakhmi C. Jain.
by Montani, Stefania | Jain, Lakhmi C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1303.
|
Artifical Evolution [electronic resource] : 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers / edited by Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton.
by Collet, Pierre | Monmarché, Nicolas | Legrand, Pierrick | Schoenauer, Marc | Lutton, Evelyne | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1304.
|
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.
by Aloni, Maria | Bastiaanse, Harald | Jager, Tikitu | Schulz, Katrin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1305.
|
Exploring Services Science [electronic resource] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene.
by Morin, Jean-Henry | Ralyté, Jolita | Snene, Mehdi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1306.
|
The Mathematics of Language [electronic resource] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis.
by Ebert, Christian | Jäger, Gerhard | Michaelis, Jens | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1307.
|
Biomedical Image Registration [electronic resource] : 4th International Workshop, WBIR 2010, Lübeck, Germany, July 11-13, 2010. Proceedings / edited by Bernd Fischer, Benoît M. Dawant, Cristian Lorenz.
by Fischer, Bernd | Dawant, Benoît M | Lorenz, Cristian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1308.
|
Computational Intelligence in Healthcare 4 [electronic resource] : Advanced Methodologies / edited by Isabelle Bichindaritz, Sachin Vaidya, Ashlesha Jain, Lakhmi C. Jain.
by Bichindaritz, Isabelle | Vaidya, Sachin | Jain, Ashlesha | Jain, Lakhmi C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1309.
|
Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings / edited by Guillaume Hanrot, François Morain, Emmanuel Thomé.
by Hanrot, Guillaume | Morain, François | Thomé, Emmanuel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1310.
|
Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach / by Marco Montali.
by Montali, Marco | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1311.
|
Enabling Real-Time Business Intelligence [electronic resource] : Third International Workshop, BIRTE 2009, Held at the 35th International Conference on Very Large Databases, VLDB 2009, Lyon, France, August 24, 2009, Revised Selected Papers / edited by Malu Castellanos, Umeshwar Dayal, Renée J. Miller.
by Castellanos, Malu | Dayal, Umeshwar | Miller, Renée J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1312.
|
Electronic Government [electronic resource] : 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings / edited by Maria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Hans J. Scholl.
by Wimmer, Maria A | Chappelet, Jean-Loup | Janssen, Marijn | Scholl, Hans J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1313.
|
Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / edited by Ching-Hsien Hsu, Victor Malyshkin.
by Hsu, Ching-Hsien | Malyshkin, Victor | 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
|
|
1314.
|
Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.
by Müller-Hannemann, Matthias | Schirra, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1315.
|
Scandinavian Information Systems Research [electronic resource] : First Scandinavian Conference on Information Systems, SCIS 2010, Rebild, Denmark, August 20-22, 2010. Proceedings / edited by Karlheinz Kautz, Peter Axel Nielsen.
by Kautz, Karlheinz | Nielsen, Peter Axel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1316.
|
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [electronic resource] : AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers / edited by Esther David, Enrico Gerding, David Sarne, Onn Shehory.
by David, Esther | Gerding, Enrico | Sarne, David | Shehory, Onn | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1317.
|
Sustainable e-Business Management [electronic resource] : 16th Americas Conference on Information Systems, AMCIS 2010, SIGeBIZ track, Lima, Peru, August 12-15, 2010. Selected Papers / edited by Matthew L. Nelson, Michael J. Shaw, Troy J. Strader.
by Nelson, Matthew L | Shaw, Michael J | Strader, Troy J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1318.
|
Electronic Participation [electronic resource] : Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, August 29 – September 2, 2010. Proceedings / edited by Efthimios Tambouris, Ann Macintosh, Olivier Glassey.
by Tambouris, Efthimios | Macintosh, Ann | Glassey, Olivier | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
1319.
|
Emotion-Oriented Systems [electronic resource] : The Humaine Handbook / edited by Roddy Cowie, Catherine Pelachaud, Paolo Petta.
by Cowie, Roddy | Pelachaud, Catherine | Petta, Paolo | 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
|
|
1320.
|
History of Computing. Learning from the Past [electronic resource] : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Arthur Tatnall.
by Tatnall, Arthur | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|