Your search returned 8707 results. Subscribe to this search

|
System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann.

by Kraemer, Frank Alexander [editor.] | Herrmann, Peter [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

Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012, Revised Selected Papers / edited by Baoxiang Liu, Maode Ma, Jincai Chang.

by Liu, Baoxiang [editor.] | Ma, Maode [editor.] | Chang, Jincai [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

Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore.

by Tribastone, Mirco [editor.] | Gilmore, Stephen [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

Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011, Proceedings / edited by Olivier Temam, Pen-chung Yew, Binyu Zang.

by Temam, Olivier [editor.] | Yew, Pen-chung [editor.] | Zang, Binyu [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

Requirements Engineering: Foundation for Software Quality [electronic resource] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings / edited by Martin Glinz, Patrick Heymans.

by Glinz, Martin [editor.] | Heymans, Patrick [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

Programming Multi-Agent Systems [electronic resource] : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers / edited by Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina.

by Hindriks, Koen V [editor.] | Pokahr, Alexander [editor.] | Sardina, Sebastian [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

Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer.

by Czumaj, Artur [editor.] | Mehlhorn, Kurt [editor.] | Pitts, Andrew [editor.] | Wattenhofer, Roger [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

Advanced Information Systems Engineering [electronic resource] : 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings / edited by Zohra Bellahsène, Michel Léonard.

by Bellahsène, Zohra [editor.] | Léonard, Michel [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

Ambient Intelligence [electronic resource] : European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings / edited by Bernt Schiele, Anind K. Dey, Hans Gellersen, Manfred Tscheligi, Reiner Wichert, Emile Aerts, Alejandro Buchmann.

by Schiele, Bernt [editor.] | Dey, Anind K [editor.] | Gellersen, Hans [editor.] | Tscheligi, Manfred [editor.] | Wichert, Reiner [editor.] | Aerts, Emile [editor.] | Buchmann, Alejandro [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

Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers.

by Voronkov, Andrei [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

Activity Monitoring by Multiple Distributed Sensing [electronic resource] : Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / edited by Pier Luigi Mazzeo, Paolo Spagnolo, Thomas B. Moeslund.

by Mazzeo, Pier Luigi [editor.] | Spagnolo, Paolo [editor.] | Moeslund, Thomas B [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

Advances in Spatial and Temporal Databases [electronic resource] : 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16.-18, 2007, Proceedings / edited by Dimitris Papadias, Donghui Zhang, George Kollios.

by Papadias, Dimitris [editor.] | Zhang, Donghui [editor.] | Kollios, George [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

Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings / edited by Takashi Nanya, Fumihiro Maruyama, Andras Pataricza, Miroslaw Malek.

by Nanya, Takashi [editor.] | Maruyama, Fumihiro [editor.] | Pataricza, Andras [editor.] | Malek, Miroslaw [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

Advanced Intelligent Computing Theories and Applications [electronic resource] : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers / edited by De-Shuang Huang, Yong Gan, Phalguni Gupta, M. Michael Gromiha.

by Huang, De-Shuang [editor.] | Gan, Yong [editor.] | Gupta, Phalguni [editor.] | Gromiha, M. Michael [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

OpenMP in the Petascale Era [electronic resource] : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings / edited by Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Müller.

by Chapman, Barbara M [editor.] | Gropp, William D [editor.] | Kumaran, Kalyan [editor.] | Müller, Matthias S [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

Towards a Service-Based Internet [electronic resource] : Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings / edited by Di Nitto Elisabetta, Ramin Yahyapour.

by Elisabetta, Di Nitto [editor.] | Yahyapour, Ramin [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

Computational Modeling of Objects Represented in Images [electronic resource] : Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Herbert A. Hauptman, Renato M. Natal Jorge, Joao Tavares.

by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Hauptman, Herbert A [editor.] | Natal Jorge, Renato M [editor.] | Tavares, Joao [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

Approximation and Online Algorithms [electronic resource] : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers / edited by Klaus Jansen, Roberto Solis-Oba.

by Jansen, Klaus [editor.] | Solis-Oba, Roberto [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

Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda.

by Barker-Plummer, Dave [editor.] | Cox, Richard [editor.] | Swoboda, Nik [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

Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / edited by Susanne Graf, Wenhui Zhang.

by Graf, Susanne [editor.] | Zhang, Wenhui [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