Refine your search

Your search returned 654 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
581.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by
  • Albert, Elvira [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7844
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
582.
Scalable Uncertainty Management [electronic resource] : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings / edited by Weiru Liu, V. S. Subrahmanian, Jef Wijsen. by
  • Liu, Weiru [editor.]
  • Subrahmanian, V. S [editor.]
  • Wijsen, Jef [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8078
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
583.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
  • Kotzé, Paula [editor.]
  • Marsden, Gary [editor.]
  • Lindgaard, Gitte [editor.]
  • Wesson, Janet [editor.]
  • Winckler, Marco [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8119
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
584.
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
  • Kotzé, Paula [editor.]
  • Marsden, Gary [editor.]
  • Lindgaard, Gitte [editor.]
  • Wesson, Janet [editor.]
  • Winckler, Marco [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8117
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
585.
Flexible Query Answering Systems [electronic resource] : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings / edited by Henrik Legind Larsen, Maria J. Martin-Bautista, María Amparo Vila, Troels Andreasen, Henning Christiansen. by
  • Larsen, Henrik Legind [editor.]
  • Martin-Bautista, Maria J [editor.]
  • Vila, María Amparo [editor.]
  • Andreasen, Troels [editor.]
  • Christiansen, Henning [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8132
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
586.
Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge. by
  • Ma, Minhua [editor.]
  • Oliveira, Manuel Fradinho [editor.]
  • Petersen, Sobah [editor.]
  • Hauge, Jannicke Baalsrud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8101
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
587.
Human Factors in Augmented Reality Environments [electronic resource] / edited by Weidong Huang, Leila Alem, Mark A. Livingston. by
  • Huang, Weidong [editor.]
  • Alem, Leila [editor.]
  • Livingston, Mark A [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
588.
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis [electronic resource] / by Uffe B. Kjærulff, Anders L. Madsen. by
  • Kjærulff, Uffe B [author.]
  • Madsen, Anders L [author.]
  • SpringerLink (Online service)
Series: Information Science and Statistics ; 22
Edition: Second Edition.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
589.
Advances in Visual Informatics [electronic resource] : Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Patrick Olivier, Timothy K. Shih, Sergio Velastin. by
  • Zaman, Halimah Badioze [editor.]
  • Robinson, Peter [editor.]
  • Olivier, Patrick [editor.]
  • Shih, Timothy K [editor.]
  • Velastin, Sergio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8237
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
590.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
591.
Agents and Data Mining Interaction [electronic resource] : 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Philip S. Yu, Munindar P Singh. by
  • Cao, Longbing [editor.]
  • Zeng, Yifeng [editor.]
  • Symeonidis, Andreas L [editor.]
  • Gorodetsky, Vladimir I [editor.]
  • Yu, Philip S [editor.]
  • Singh, Munindar P [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7607
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
592.
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Randall Shumaker. by
  • Shumaker, Randall [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8021
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
593.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
594.
Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch. by
  • Gurevych, Iryna [editor.]
  • Biemann, Chris [editor.]
  • Zesch, Torsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8105
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
595.
Intelligent Robotics and Applications [electronic resource] : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I / edited by Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu. by
  • Lee, Jangmyung [editor.]
  • Lee, Min Cheol [editor.]
  • Liu, Honghai [editor.]
  • Ryu, Jee-Hwan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8102
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
596.
Advances in Intelligent Data Analysis XII [electronic resource] : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings / edited by Allan Tucker, Frank Höppner, Arno Siebes, Stephen Swift. by
  • Tucker, Allan [editor.]
  • Höppner, Frank [editor.]
  • Siebes, Arno [editor.]
  • Swift, Stephen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8207
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
597.
Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. by
  • Schewe, Klaus-Dieter [editor.]
  • Thalheim, Bernhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7693
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
598.
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings / edited by Petra Perner. by
  • Perner, Petra [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7987
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
599.
Guide to Computing for Expressive Music Performance [electronic resource] / edited by Alexis Kirke, Eduardo R. Miranda. by
  • Kirke, Alexis [editor.]
  • Miranda, Eduardo R [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
600.
Search Theory [electronic resource] : A Game Theoretic Perspective / edited by Steve Alpern, Robbert Fokkink, Leszek Gąsieniec, Roy Lindelauf, V.S. Subrahmanian. by
  • Alpern, Steve [editor.]
  • Fokkink, Robbert [editor.]
  • Gąsieniec, Leszek [editor.]
  • Lindelauf, Roy [editor.]
  • Subrahmanian, V.S [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages