Your search returned 10983 results. Subscribe to this search

|
Unifying Theories of Programming [electronic resource] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann.

by Naumann, David [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Multicore Systems On-Chip: Practical Software/Hardware Design [electronic resource] : 2nd Edition / by Abderazek Ben Abdallah.

by Ben Abdallah, Abderazek [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available

Testing and Validation of Computer Simulation Models [electronic resource] : Principles, Methods and Applications / by David J. Murray-Smith.

by Murray-Smith, David J [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Concepts and Methodologies for Modeling and Simulation [electronic resource] : A Tribute to Tuncer �Oren / edited by Levent Yilmaz.

by Yilmaz, Levent [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot.

by Siarry, Patrick [editor.] | Idoumghar, Lhassane [editor.] | Lepagnot, Julien [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Secure IT Systems [electronic resource] : 19th Nordic Conference, NordSec 2014, Troms�, Norway, October 15-17, 2014, Proceedings / edited by Karin Bernsmed, Simone Fischer-H�ubner.

by Bernsmed, Karin [editor.] | Fischer-H�ubner, Simone [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Bayesian and grAphical Models for Biomedical Imaging [electronic resource] : First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers / edited by M. Jorge Cardoso, Ivor Simpson, Tal Arbel, Doina Precup, Annemie Ribbens.

by Cardoso, M. Jorge [editor.] | Simpson, Ivor [editor.] | Arbel, Tal [editor.] | Precup, Doina [editor.] | Ribbens, Annemie [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Emotion Modeling [electronic resource] : Towards Pragmatic Computational Models of Affective Processes / edited by Tibor Bosse, Joost Broekens, Jo�ao Dias, Janneke van der Zwaan.

by Bosse, Tibor [editor.] | Broekens, Joost [editor.] | Dias, Jo�ao [editor.] | van der Zwaan, Janneke [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Web Information Systems Engineering - WISE 2014 [electronic resource] : 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I / edited by Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.

by Benatallah, Boualem [editor.] | Bestavros, Azer [editor.] | Manolopoulos, Yannis [editor.] | Vakali, Athena [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Discrete and Computational Geometry and Graphs [electronic resource] : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers / edited by Jin Akiyama, Hiro Ito, Toshinori Sakai.

by Akiyama, Jin [editor.] | Ito, Hiro [editor.] | Sakai, Toshinori [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings / edited by Eduardo Ferm�e, Jo�ao Leite.

by Ferm�e, Eduardo [editor.] | Leite, Jo�ao [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Dynamic Quality Management for Cloud Labor Services [electronic resource] : Methods and Applications for Gaining Reliable Work Results with an On-Demand Workforce / by Robert Kern.

by Kern, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski.

by Albert, Elvira [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings / edited by Paris Avgeriou, Uwe Zdun.

by Avgeriou, Paris [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Reasoning Web. Reasoning on the Web in the Big Data Era [electronic resource] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum.

by Koubarakis, Manolis [editor.] | Stamou, Giorgos [editor.] | Stoilos, Giorgos [editor.] | Horrocks, Ian [editor.] | Kolaitis, Phokion [editor.] | Lausen, Georg [editor.] | Weikum, Gerhard [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Spatial Cognition IX [electronic resource] : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky.

by Freksa, Christian [editor.] | Nebel, Bernhard [editor.] | Hegarty, Mary [editor.] | Barkowsky, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Data Warehousing and Knowledge Discovery [electronic resource] : 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings / edited by Ladjel Bellatreche, Mukesh K. Mohania.

by Bellatreche, Ladjel [editor.] | Mohania, Mukesh K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Constructive Side-Channel Analysis and Secure Design [electronic resource] : 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers / edited by Emmanuel Prouff.

by Prouff, Emmanuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos.

by Bulling, Nils [editor.] | Torre, Leendert van der [editor.] | Villata, Serena [editor.] | Jamroga, Wojtek [editor.] | Vasconcelos, Wamberto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Human Language Technology Challenges for Computer Science and Linguistics [electronic resource] : 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers / edited by Zygmunt Vetulani, Joseph Mariani.

by Vetulani, Zygmunt [editor.] | Mariani, Joseph [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available