Refine your search

Your search returned 784 results.

Not what you expected? Check for suggestions
Sort
Results
681.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
  • Giacobazzi, Roberto [editor.]
  • Berdine, Josh [editor.]
  • Mastroeni, Isabella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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
Availability: No items available.

682.
Artificial Intelligence in Education [electronic resource] : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings / edited by H. Chad Lane, Kalina Yacef, Jack Mostow, Philip Pavlik. by
  • Lane, H. Chad [editor.]
  • Yacef, Kalina [editor.]
  • Mostow, Jack [editor.]
  • Pavlik, Philip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7926
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
Availability: No items available.

683.
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
  • Grossi, Davide [editor.]
  • Roy, Olivier [editor.]
  • Huang, Huaxin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
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
Availability: No items available.

684.
Android Malware [electronic resource] / by Xuxian Jiang, Yajin Zhou. by
  • Jiang, Xuxian [author.]
  • Zhou, Yajin [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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
Availability: No items available.

685.
Internetworking [electronic resource] : Technological Foundations and Applications / by Christoph Meinel, Harald Sack. by
  • Meinel, Christoph [author.]
  • Sack, Harald [author.]
  • SpringerLink (Online service)
Series: X.media.publishing
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
Availability: No items available.

686.
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott. by
  • Lepora, Nathan F [editor.]
  • Mura, Anna [editor.]
  • Krapp, Holger G [editor.]
  • Verschure, Paul F. M. J [editor.]
  • Prescott, Tony J [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8064
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
Availability: No items available.

687.
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by
  • Yang, Yuhang [editor.]
  • Ma, Maode [editor.]
  • Liu, Baoxiang [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 392
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
Availability: No items available.

688.
Auditing and GRC Automation in SAP [electronic resource] / by Maxim Chuprunov. by
  • Chuprunov, Maxim [author.]
  • SpringerLink (Online service)
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
Availability: No items available.

689.
Webble Technology [electronic resource] : First Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings / edited by Oksana Arnold, Wolfgang Spickermann, Nicolas Spyratos, Yuzuru Tanaka. by
  • Arnold, Oksana [editor.]
  • Spickermann, Wolfgang [editor.]
  • Spyratos, Nicolas [editor.]
  • Tanaka, Yuzuru [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 372
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
Availability: No items available.

690.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
  • Veanes, Margus [editor.]
  • Viganò, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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
Availability: No items available.

691.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
  • Groves, Lindsay [editor.]
  • Sun, Jing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
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
Availability: No items available.

692.
Barrierefreie Informationssysteme : Zugänglichkeit für Menschen mit Behinderung in Theorie und Praxis / edited by Friederike Kerkmann, Dirk Lewandowski. by
  • Kerkmann, Friederike [editor.]
  • Lewandowski, Dirk [editor.]
Series: Age of Access? Grundfragen der Informationsgesellschaft ; 6
Material type: Text Text
Publication details: Berlin/Boston : De Gruyter, [2015]
Availability: No items available.

693.
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers / edited by Leif E. Peterson, Francesco Masulli, Giuseppe Russo. by
  • Peterson, Leif E [editor.]
  • Masulli, Francesco [editor.]
  • Russo, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7845
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
Availability: No items available.

694.
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca. by
  • Mauri, Giancarlo [editor.]
  • Dennunzio, Alberto [editor.]
  • Manzoni, Luca [editor.]
  • Porreca, Antonio E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7956
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
Availability: No items available.

695.
Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov. by
  • Mladenov, Valeri [editor.]
  • Koprinkova-Hristova, Petia [editor.]
  • Palm, Günther [editor.]
  • Villa, Alessandro E. P [editor.]
  • Appollini, Bruno [editor.]
  • Kasabov, Nikola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8131
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
Availability: No items available.

696.
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
Availability: No items available.

697.
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
  • Lämmel, Ralf [editor.]
  • Saraiva, João [editor.]
  • Visser, Joost [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
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
Availability: No items available.

698.
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil. by
  • Park, James J. (Jong Hyuk) [editor.]
  • Arabnia, Hamid R [editor.]
  • Kim, Cheonshik [editor.]
  • Shi, Weisong [editor.]
  • Gil, Joon-Min [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7861
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
Availability: No items available.

699.
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by
  • Rutkowski, Leszek [editor.]
  • Korytkowski, Marcin [editor.]
  • Scherer, Rafał [editor.]
  • Tadeusiewicz, Ryszard [editor.]
  • Zadeh, Lotfi A [editor.]
  • Zurada, Jacek M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7894
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
Availability: No items available.

700.
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
Availability: No items available.

Pages