Your search returned 826 results. Subscribe to this search

|
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 Computational Systems Biology XI [electronic resource] : Computational Models for Cell Processes / edited by Corrado Priami.

by Priami, Corrado [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 VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / edited by Shmuel Katz, Harold Ossher.

by Katz, Shmuel [editor.] | Ossher, Harold [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

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

Agents for Games and Simulations [electronic resource] : Trends in Techniques, Concepts and Design / edited by Frank Dignum, Jeffrey Bradshaw, Barry G. Silverman, Willem van Doesburg.

by Dignum, Frank [editor.] | Bradshaw, Jeffrey [editor.] | Silverman, Barry G [editor.] | van Doesburg, Willem [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

ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.

by Katoen, Joost-Pieter [editor.] | Langerak, Rom [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service).

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

Transactions on Computational Collective Intelligence XXIV [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Joaquim Filipe.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Filipe, Joaquim [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Transactions on Computational Collective Intelligence X [electronic resource] / edited by Ngoc-Thanh Nguyen.

by Nguyen, Ngoc-Thanh [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

Transactions on Computational Collective Intelligence XXIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jacek Mercik.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Mercik, Jacek [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Transactions on Computational Collective Intelligence XV [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Juan Manuel Corchado, Javier Bajo.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Corchado, Juan Manuel [editor.] | Bajo, Javier [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / edited by Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil.

by Rausch, Andreas [editor.] | Reussner, Ralf H [editor.] | Mirandola, Raffaela [editor.] | Plasil, Frantisek [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

Transactions on Computational Collective Intelligence VIII [electronic resource] / edited by Ngoc-Thanh Nguyen.

by Nguyen, Ngoc-Thanh [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

Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies.

by SpringerLink (Online service).

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

Transactions on Computational Science XXIII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Xiaoyang Mao, Lichan Hong.

by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Mao, Xiaoyang [editor.] | Hong, Lichan [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter.

by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [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

Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.

by Müller-Hannemann, Matthias [editor.] | Schirra, Stefan [editor.] | SpringerLink (Online service).

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

Transactions on Computational Systems Biology X [electronic resource] / edited by Corrado Priami, Falko Dressler, Ozgur B. Akan, Alioune Ngom.

by Priami, Corrado [editor.] | Dressler, Falko [editor.] | Akan, Ozgur B [editor.] | Ngom, Alioune [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

Transactions on Large-Scale Data- and Knowledge-Centered Systems VII [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [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

Pattern Recognition [electronic resource] : 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings / edited by Juergen Gall, Peter Gehler, Bastian Leibe.

by Gall, Juergen [editor.] | Gehler, Peter [editor.] | Leibe, Bastian [editor.] | SpringerLink (Online service).

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