Your search returned 10983 results. Subscribe to this search

|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.

by Baier, Christel [editor.] | Tinelli, Cesare [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, 2015Online access: Click here to access online Availability: No items available

The Semantic Web: ESWC 2012 Satellite Events [electronic resource] : ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers / edited by Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Rapha�el Troncy.

by Simperl, Elena [editor.] | Norton, Barry [editor.] | Mladenic, Dunja [editor.] | Della Valle, Emanuele [editor.] | Fundulaki, Irini [editor.] | Passant, Alexandre [editor.] | Troncy, Rapha�el [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, 2015Online access: Click here to access online Availability: No items available

Video Bioinformatics [electronic resource] : From Live Imaging to Knowledge / edited by Bir Bhanu, Prue Talbot.

by Bhanu, Bir [editor.] | Talbot, Prue [editor.] | 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

Categories and Types in Logic, Language, and Physics [electronic resource] : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.

by Casadio, Claudia [editor.] | Coecke, Bob [editor.] | Moortgat, Michael [editor.] | Scott, Philip [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

Telematics - Support for Transport [electronic resource] : 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krak�ow/Ustroń, Poland, October 22-25, 2014. Selected Papers / edited by Jerzy Mikulski.

by Mikulski, Jerzy [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

Reliable Software Technologies - Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luis Miguel Pinho, Eduardo Qui�nones.

by Bertogna, Marko [editor.] | Pinho, Luis Miguel [editor.] | Qui�nones, Eduardo [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

Passive and Active Measurement [electronic resource] : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings / edited by Thomas Karagiannis, Xenofontas Dimitropoulos.

by Karagiannis, Thomas [editor.] | Dimitropoulos, Xenofontas [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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX [electronic resource] : Special Issue on Big Data and Open Data / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Devis Bianchini, Valeria De Antonellis, Roberto De Virgilio.

by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Bianchini, Devis [editor.] | De Antonellis, Valeria [editor.] | De Virgilio, Roberto [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, 2015Online access: Click here to access online Availability: No items available

Advances in Image and Graphics Technologies [electronic resource] : 10th Chinese Conference, IGTA 2015, Beijing, China, June 19-20, 2015, Proceedings / edited by Tieniu Tan, Qiuqi Ruan, Shengjin Wang, Huimin Ma, Kaichang Di.

by Tan, Tieniu [editor.] | Ruan, Qiuqi [editor.] | Wang, Shengjin [editor.] | Ma, Huimin [editor.] | Di, Kaichang [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, 2015Online access: Click here to access online Availability: No items available

Modeling Trust Context in Networks [electronic resource] / by Sibel Adali.

by Adali, Sibel [author.] | SpringerLink (Online service).

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

Human-Computer Interaction - INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotz�e, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler.

by Kotz�e, Paula [editor.] | Marsden, Gary [editor.] | Lindgaard, Gitte [editor.] | Wesson, Janet [editor.] | Winckler, Marco [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

Model and Data Engineering [electronic resource] : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / edited by Ladjel Bellatreche, Yannis Manolopoulos.

by Bellatreche, Ladjel [editor.] | Manolopoulos, Yannis [editor.] | 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

Progress in Cryptology -- LATINCRYPT 2015 [electronic resource] : 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / edited by Kristin Lauter, Francisco Rodr�iguez-Henr�iquez.

by Lauter, Kristin [editor.] | Rodr�iguez-Henr�iquez, Francisco [editor.] | 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

Trustworthy Global Computing [electronic resource] : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / edited by Matteo Maffei, Emilio Tuosto.

by Maffei, Matteo [editor.] | Tuosto, Emilio [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

Security Protocols XVIII [electronic resource] : 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers / edited by Bruce Christianson, James Malcolm.

by Christianson, Bruce [editor.] | Malcolm, James [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

Hacking Europe [electronic resource] : From Computer Cultures to Demoscenes / edited by Gerard Alberts, Ruth Oldenziel.

by Alberts, Gerard [editor.] | Oldenziel, Ruth [editor.] | SpringerLink (Online service).

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

Innovative Technologies in Everyday Life [electronic resource] / by Oge Marques.

by Marques, Oge [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, 2016Online access: Click here to access online Availability: No items available

Transactions on Large-Scale Data- and Knowledge-Centered Systems XV [electronic resource] : Selected Papers from ADBIS 2013 Satellite Events / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Barbara Catania, Giovanna Guerrini, Themis Palpanas, Jaroslav Pokorn�y, Athena Vakali.

by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Catania, Barbara [editor.] | Guerrini, Giovanna [editor.] | Palpanas, Themis [editor.] | Pokorn�y, Jaroslav [editor.] | Vakali, Athena [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

Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.

by Hanus, Michael [editor.] | Rocha, Ricardo [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

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 11th International Conference, DIMVA 2014, Egham, UK, July 10-11, 2014. Proceedings / edited by Sven Dietrich.

by Dietrich, Sven [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