Your search returned 10983 results. Subscribe to this search

|
Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.

by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [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

Combinatorial Pattern Matching [electronic resource] : 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings / edited by Moshe Lewenstein, Gabriel Valiente.

by Lewenstein, Moshe [editor.] | Valiente, Gabriel [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

Wired/Wireless Internet Communications [electronic resource] : 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings / edited by Fernando Boavida, Edmundo Monteiro, Saverio Mascolo, Yevgeni Koucheryavy.

by Boavida, Fernando [editor.] | Monteiro, Edmundo [editor.] | Mascolo, Saverio [editor.] | Koucheryavy, Yevgeni [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 Computational Systems Biology VII [electronic resource] / edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson.

by Ingolfsdottir, Anna [editor.] | Mishra, Bud [editor.] | Nielson, Hanne Riis [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

Coordination Models and Languages [electronic resource] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / edited by John Field, Vasco Thudichum Vasconcelos.

by Field, John [editor.] | Vasconcelos, Vasco Thudichum [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

Computing and Combinatorics [electronic resource] : 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings / edited by Hung Q. Ngo.

by Ngo, Hung 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

Advances in Web-Age Information Management [electronic resource] : 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006, Proceedings / edited by Jeffrey Xu Yu, Masaru Kitsuregawa, Hong Va Leong.

by Yu, Jeffrey Xu [editor.] | Kitsuregawa, Masaru [editor.] | Leong, Hong Va [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

Cloud Computing and Security [electronic resource] : First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers / edited by Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang.

by Huang, Zhiqiu [editor.] | Sun, Xingming [editor.] | Luo, Junzhou [editor.] | Wang, Jian [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

Security and Cryptography for Networks [electronic resource] : 10th International Conference, SCN 2016, Amalfi, Italy, August 31 - September 2, 2016, Proceedings / edited by Vassilis Zikas, Roberto De Prisco.

by Zikas, Vassilis [editor.] | De Prisco, Roberto [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

Multi-Agent Based Simulation XVI [electronic resource] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / edited by Benoit Gaudou, Jaime Simao Sichman.

by Gaudou, Benoit [editor.] | Sichman, Jaime Simao [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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I / edited by Dominik Slezak, Marcin Szczuka, Ivo Duentsch, Yiyu Yao.

by Slezak, Dominik [editor.] | Szczuka, Marcin [editor.] | Duentsch, Ivo [editor.] | Yao, Yiyu [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

Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann.

by Sloane, Anthony [editor.] | Aßmann, Uwe [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

Graph Theory, Computational Intelligence and Thought [electronic resource] : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday / edited by Marina Lipshteyn, Vadim E. Levit, Ross McConnell.

by Lipshteyn, Marina [editor.] | Levit, Vadim E [editor.] | McConnell, Ross [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

Algorithms in Bioinformatics [electronic resource] : 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings / edited by Mihai Pop, Hélène Touzet.

by Pop, Mihai [editor.] | Touzet, Hélène [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

Parallel Problem Solving from Nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I / edited by Carlos Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone.

by Coello Coello, Carlos [editor.] | Cutello, Vincenzo [editor.] | Deb, Kalyanmoy [editor.] | Forrest, Stephanie [editor.] | Nicosia, Giuseppe [editor.] | Pavone, Mario [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

Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle.

by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [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 Computational Science XXIV [electronic resource] : Special Issue on Reversible Computing / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan.

by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Thapliyal, Himanshu [editor.] | Ranganathan, Nagarajan [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

Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / edited by Jose-Manuel Colom, Jörg Desel.

by Colom, Jose-Manuel [editor.] | Desel, Jörg [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

Testing Software and Systems [electronic resource] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko.

by El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [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

Theory and Practice of Model Transformations [electronic resource] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla.

by Tratt, Laurence [editor.] | Gogolla, Martin [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