Refine your search

Your search returned 581 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
541.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann. by
  • Gomes, Carla [editor.]
  • Sellmann, Meinolf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7874
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
542.
Multimedia Communications, Services and Security [electronic resource] : 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings / edited by Andrzej Dziech, Andrzej Czyżewski. by
  • Dziech, Andrzej [editor.]
  • Czyżewski, Andrzej [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 368
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
543.
Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by João M. Sanches, Luisa Micó, Jaime S. Cardoso. by
  • Sanches, João M [editor.]
  • Micó, Luisa [editor.]
  • Cardoso, Jaime S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7887
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
544.
Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by
  • Järvisalo, Matti [editor.]
  • Van Gelder, Allen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7962
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
545.
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
546.
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
547.
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
548.
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
549.
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
550.
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
551.
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
552.
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
553.
Transactions on Computational Science XVII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by
  • Gavrilova, Marina L [editor.]
  • Tan, C. J. Kenneth [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7420
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
554.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by
  • Galmiche, Didier [editor.]
  • Larchey-Wendling, Dominique [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8123
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
555.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
  • Cabalar, Pedro [editor.]
  • Son, Tran Cao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
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
556.
KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Ingo J. Timm, Matthias Thimm. by
  • Timm, Ingo J [editor.]
  • Thimm, Matthias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8077
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
557.
Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne. by
  • Iliadis, Lazaros [editor.]
  • Papadopoulos, Harris [editor.]
  • Jayne, Chrisina [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 383
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
558.
Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne. by
  • Iliadis, Lazaros [editor.]
  • Papadopoulos, Harris [editor.]
  • Jayne, Chrisina [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 384
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
559.
Intelligent Data Engineering and Automated Learning – IDEAL 2013 [electronic resource] : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings / edited by Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao. by
  • Yin, Hujun [editor.]
  • Tang, Ke [editor.]
  • Gao, Yang [editor.]
  • Klawonn, Frank [editor.]
  • Lee, Minho [editor.]
  • Weise, Thomas [editor.]
  • Li, Bin [editor.]
  • Yao, Xin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8206
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
560.
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by
  • Baldoni, Matteo [editor.]
  • Baroglio, Cristina [editor.]
  • Boella, Guido [editor.]
  • Micalizio, Roberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8249
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
Pages