Your search returned 1055 results. Subscribe to this search

|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII [electronic resource] : Special Issue In Memory of Univ. Prof. Dr. Roland Wagner / edited by Abdelkader Hameurlain, A Min Tjoa.

by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network. Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

by Hierons, Robert M [editor.] | Bowen, Jonathan P [editor.] | Harman, Mark [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III / edited by Rajiv Khosla.

by Khosla, Rajiv [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 10th International Conference, KES 2006, Bournemouth, UK, October 9-11 2006, Proceedings, Part I / edited by Bogdan Gabrys.

by Gabrys, Bogdan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Models@run.time [electronic resource] : Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann.

by Bencomo, Nelly [editor.] | France, Robert B [editor.] | Cheng, Betty H.C [editor.] | Aßmann, Uwe [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Engineering Secure Future Internet Services and Systems [electronic resource] : Current Research / edited by Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli.

by Heisel, Maritta [editor.] | Joosen, Wouter [editor.] | López, Javier [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Transactions on Aspect-Oriented Software Development III [electronic resource] : Focus: Early Aspects / edited by Awais Rashid, Mehmet Aksit.

by Rashid, Awais [editor.] | Aksit, Mehmet [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Foundations of Security Analysis and Design VII [electronic resource] : FOSAD 2012 / 2013 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.

by Aldini, Alessandro [editor.] | Lopez, Javier [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Transactions on Pattern Languages of Programming I [electronic resource] / edited by James Noble, Ralph Johnson.

by Noble, James [editor.] | Johnson, Ralph [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Transactions on Foundations for Mastering Change I [electronic resource] / edited by Bernhard Steffen.

by Steffen, Bernhard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. 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).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Transactions on Modularity and Composition I [electronic resource] / edited by Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens.

by Chiba, Shigeru [editor.] | Südholt, Mario [editor.] | Eugster, Patrick [editor.] | Ziarek, Lukasz [editor.] | Leavens, Gary T [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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 Data Hiding and Multimedia Security IV [electronic resource] / edited by Yun Q. Shi.

by Shi, Yun Q [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Transactions on Aspect-Oriented Software Development IV [electronic resource] : Focus: Early Aspects and Aspects of Software Evolution / edited by Awais Rashid, Mehmet Aksit.

by Rashid, Awais [editor.] | Aksit, Mehmet [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Transactions on Pattern Languages of Programming II [electronic resource] : Special lssue on Applying Patterns / edited by Paris Avgeriou, Neil B. Harrison, Uwe Zdun.

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

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto.

by Bove, Ana [editor.] | Barbosa, Luis Soares [editor.] | Pardo, Alberto [editor.] | Pinto, Jorge Sousa [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Transactions on Data Hiding and Multimedia Security III [electronic resource] / edited by Yun Q. Shi.

by Shi, Yun Q [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Foundations of Security Analysis and Design VIII [electronic resource] : FOSAD 2014/2015/2016 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.

by Aldini, Alessandro [editor.] | Lopez, Javier [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Number Theory and Cryptography [electronic resource] : Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday / edited by Marc Fischlin, Stefan Katzenbeisser.

by Fischlin, Marc [editor.] | Katzenbeisser, Stefan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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