Your search returned 10983 results. Subscribe to this search

|
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

Advances in Computational Intelligence [electronic resource] : 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala.

by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [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

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

Evolutionary Computation in Combinatorial Optimization [electronic resource] : 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings / edited by Carlos Cotta, Jano van Hemert.

by Cotta, Carlos [editor.] | van Hemert, Jano [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

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

Principles of Security and Trust [electronic resource] : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / edited by David Basin, John C. Mitchell.

by Basin, David [editor.] | Mitchell, John C [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

Advances in Swarm Intelligence [electronic resource] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Li Li.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Li, Li [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

Comparative Genomics [electronic resource] : RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers / edited by Jens Lagergren.

by Lagergren, Jens [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

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

Algorithms and Computation [electronic resource] : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings / edited by Takao Asano, Shin-ichi Nakano, Yoshio Okamoto, Osamu Watanabe.

by Asano, Takao [editor.] | Nakano, Shin-ichi [editor.] | Okamoto, Yoshio [editor.] | Watanabe, Osamu [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

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

Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings / edited by Girish Nath Jha.

by Nath Jha, Girish [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

Quantum Interaction [electronic resource] : 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers / edited by Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine.

by Atmanspacher, Harald [editor.] | Haven, Emmanuel [editor.] | Kitto, Kirsty [editor.] | Raine, Derek [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

DNA Computing and Molecular Programming [electronic resource] : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011, Proceedings / edited by Luca Cardelli, William Shih.

by Cardelli, Luca [editor.] | Shih, William [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

Financial Cryptography and Data Security [electronic resource] : 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers / edited by Ahmad-Reza Sadeghi.

by Sadeghi, Ahmad-Reza [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

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