Your search returned 4294 results. Subscribe to this search

|
Mobile Web and Intelligent Information Systems [electronic resource] : 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings / edited by Muhammad Younas, Irfan Awan, Natalia Kryvinska, Christine Strauss, Do van Thanh.

by Younas, Muhammad [editor.] | Awan, Irfan [editor.] | Kryvinska, Natalia [editor.] | Strauss, Christine [editor.] | Thanh, Do van [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, 2016Online access: Click here to access online Availability: No items available

Theory and Practice of Model Transformations [electronic resource] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / edited by Pieter Van Gorp, Gregor Engels.

by Van Gorp, Pieter [editor.] | Engels, Gregor [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, 2016Online access: Click here to access online Availability: No items available

Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa.

by Kohlhase, Michael [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | de Moura, Leonardo [editor.] | Tompa, Frank [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, 2016Online access: Click here to access online Availability: No items available

Coordination Models and Languages [electronic resource] : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Eva K�uhn, Rosario Pugliese.

by K�uhn, Eva [editor.] | Pugliese, Rosario [editor.] | SpringerLink (Online service).

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

Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters.

by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [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

Tests and Proofs [electronic resource] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / edited by Bernhard K. Aichernig, Carlo A. Furia.

by Aichernig, Bernhard K [editor.] | Furia, Carlo A [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, 2016Online access: Click here to access online Availability: No items available

Software and Data Technologies [electronic resource] : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers / edited by Jos�e Cordeiro, Slimane Hammoudi, Marten van Sinderen.

by Cordeiro, Jos�e [editor.] | Hammoudi, Slimane [editor.] | Sinderen, Marten van [editor.] | SpringerLink (Online service).

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

Business Process Models. Change Management [electronic resource] / by Christian Gerth.

by Gerth, Christian [author.] | SpringerLink (Online service).

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

Advances in Service-Oriented and Cloud Computing [electronic resource] : Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers / edited by Antonio Celesti, Philipp Leitner.

by Celesti, Antonio [editor.] | Leitner, Philipp [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, 2016Online access: Click here to access online Availability: No items available

Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [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

Information Systems Management in the Big Data Era [electronic resource] / by Peter Lake, Robert Drake.

by Lake, Peter [author.] | Drake, 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

Introduction to Software Quality [electronic resource] / by Gerard O'Regan.

by O'Regan, Gerard [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

Regulated Open Multi-Agent Systems (ROMAS) [electronic resource] : A Multi-Agent Approach for Designing Normative Open Systems / by Emilia Garcia, Adriana Giret, Vicente Botti.

by Garcia, Emilia [author.] | Giret, Adriana [author.] | Botti, Vicente [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, 2015Online access: Click here to access online Availability: No items available

Theory and Practice of Model Transformations [electronic resource] : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer.

by Kolovos, Dimitris [editor.] | Wimmer, Manuel [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

Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev.

by Koutny, Maciej [editor.] | Haddad, Serge [editor.] | Yakovlev, Alex [editor.] | SpringerLink (Online service).

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

Advances in Service-Oriented and Cloud Computing [electronic resource] : Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers / edited by Guadalupe Ortiz, Cuong Tran.

by Ortiz, Guadalupe [editor.] | Tran, Cuong [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

Graphical Models for Security [electronic resource] : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia.

by Mauw, Sjouke [editor.] | Kordy, Barbara [editor.] | Jajodia, Sushil [editor.] | SpringerLink (Online service).

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

Proceedings of International Conference on Internet Computing and Information Communications [electronic resource] : ICICIC Global 2012 / edited by Swamidoss Sathiakumar, Lalit Kumar Awasthi, M. Roberts Masillamani, S S Sridhar.

by Sathiakumar, Swamidoss [editor.] | Awasthi, Lalit Kumar [editor.] | Masillamani, M. Roberts [editor.] | Sridhar, S S [editor.] | SpringerLink (Online service).

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

SmartShadow: Models and Methods for Pervasive Computing [electronic resource] / by Zhaohui Wu, Gang Pan.

by Wu, Zhaohui [author.] | Pan, Gang [author.] | SpringerLink (Online service).

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

Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova.

by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [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