Your search returned 8707 results. Subscribe to this search

|
Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper.

by Atkinson, Colin [editor.] | Bunse, Christian [editor.] | Gross, Hans-Gerhard [editor.] | Peper, Christian [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

Advances in Artificial Intelligence [electronic resource] : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings / edited by Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis.

by Antoniou, Grigoris [editor.] | Potamias, George [editor.] | Spyropoulos, Costas [editor.] | Plexousakis, Dimitris [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

Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings / edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Kristín Lárusdóttir.

by Bernhaupt, Regina [editor.] | Forbrig, Peter [editor.] | Gulliksen, Jan [editor.] | Lárusdóttir, Marta Kristín [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

Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson.

by France, Robert B [editor.] | Kazmeier, Jürgen [editor.] | Breu, Ruth [editor.] | Atkinson, Colin [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

Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / edited by Richard F. Paige.

by Paige, Richard F [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

Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 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 Andrew Pitts.

by Pitts, Andrew [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Quality of Software Architectures Models and Architectures [electronic resource] : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / edited by Steffen Becker, Frantisek Plasil, Ralf H. Reussner.

by Becker, Steffen [editor.] | Plasil, Frantisek [editor.] | Reussner, Ralf H [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

Artificial Neural Networks - ICANN 2008 [electronic resource] : 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings Part I / edited by Jan Koutnik, Vera Kurkova-Pohlova, Roman Neruda.

by Koutnik, Jan [editor.] | Kurkova-Pohlova, Vera [editor.] | Neruda, Roman [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 Aspect-Oriented Software Development II [electronic resource] : Focus: AOP Systems, Software and Middleware / edited by Awais Rashid, Mehmet Aksit.

by Rashid, Awais [editor.] | Aksit, Mehmet [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

Web and Wireless Geographical Information Systems [electronic resource] : 13th International Symposium, W2GIS 2014, Seoul, South Korea, April 4-5, 2013, Proceedings / edited by Dieter Pfoser, Ki-Joune Li.

by Pfoser, Dieter [editor.] | Li, Ki-Joune [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

Smart Graphics [electronic resource] : 12th International Symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014, Proceedings / edited by Marc Christie, Tsai-Yen Li.

by Christie, Marc [editor.] | Li, Tsai-Yen [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

Data and Applications Security and Privacy XXXI [electronic resource] : 31st Annual IFIP WG 11.3 Conference, DBSec 2017, Philadelphia, PA, USA, July 19-21, 2017, Proceedings / edited by Giovanni Livraga, Sencun Zhu.

by Livraga, Giovanni [editor.] | Zhu, Sencun [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

Web Reasoning and Rule Systems [electronic resource] : 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings / edited by Sebastian Rudolph, Claudio Gutierrez.

by Rudolph, Sebastian [editor.] | Gutierrez, Claudio [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

New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops [electronic resource] : ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings / edited by Vittorio Murino, Enrico Puppo, Diego Sona, Marco Cristani, Carlo Sansone.

by Murino, Vittorio [editor.] | Puppo, Enrico [editor.] | Sona, Diego [editor.] | Cristani, Marco [editor.] | Sansone, Carlo [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

NETWORKING 2010 [electronic resource] : 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010, Proceedings / edited by Mark Crovella, Laura Marie Feeney, Dan Rubenstein, S.V. Raghavan.

by Crovella, Mark [editor.] | Feeney, Laura Marie [editor.] | Rubenstein, Dan [editor.] | Raghavan, S.V [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

Semantic Multimedia [electronic resource] : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings / edited by David Duke, Lynda Hardman, Alexander G. Hauptmann, Dietrich Paulus, Steffen Staab.

by Duke, David [editor.] | Hardman, Lynda [editor.] | Hauptmann, Alexander G [editor.] | Paulus, Dietrich [editor.] | Staab, Steffen [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

Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke.

by Clark, John A [editor.] | Paige, Richard F [editor.] | Polack, Fiona A.C [editor.] | Brooke, Phillip J [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

Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / edited by David S. Rosenblum, Gabriele Taentzer.

by Rosenblum, David S [editor.] | Taentzer, Gabriele [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

Ontologies-Based Databases and Information Systems [electronic resource] : First and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers / edited by Martine Collard.

by Collard, Martine [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

Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal.

by Marchetti-Spaccamela, Alberto [editor.] | Segal, Michael [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