Your search returned 1371 results. Subscribe to this search

|
Geometric Modeling and Processing - GMP 2006 [electronic resource] : 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings / edited by Myung-Soo Kim, Kenji Shimada.

by Kim, Myung-Soo [editor.] | Shimada, Kenji [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

Computer Aided Systems Theory -- EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [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

Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12. 2005, Proceedings, Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngson Mun, David Taniar, Chih Jeng Kenneth Tan.

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Laganà, Antonio [editor.] | Lee, Heow Pueh [editor.] | Mun, Youngson [editor.] | Taniar, David [editor.] | Tan, Chih Jeng Kenneth [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 Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [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

Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / edited by Alfons Laarman, Ana Sokolova.

by Laarman, Alfons [editor.] | Sokolova, Ana [editor.] | SpringerLink (Online service).

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

Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck.

by Machado, Ricardo J [editor.] | Maciel, Rita Suzana [editor.] | Rubin, Julia [editor.] | Botterweck, Goetz [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

Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung.

by Huang, Tingwen [editor.] | Zeng, Zhigang [editor.] | Li, Chuandong [editor.] | Leung, Chi Sing [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

Advances in Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [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

Computer Information Systems and Industrial Management [electronic resource] : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / edited by Khalid Saeed, Władysław Homenda.

by Saeed, Khalid [editor.] | Homenda, Władysław [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

From Animals to Animats 15 [electronic resource] : 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / edited by Poramate Manoonpong, Jørgen Christian Larsen, Xiaofeng Xiong, John Hallam, Jochen Triesch.

by Manoonpong, Poramate [editor.] | Larsen, Jørgen Christian [editor.] | Xiong, Xiaofeng [editor.] | Hallam, John [editor.] | Triesch, Jochen [editor.] | SpringerLink (Online service).

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

Algorithmic Game Theory [electronic resource] : 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedings / edited by Argyrios Deligkas, Aris Filos-Ratsikas.

by Deligkas, Argyrios [editor.] | Filos-Ratsikas, Aris [editor.] | SpringerLink (Online service).

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

Brain-Inspired Computing [electronic resource] : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers / edited by Lucio Grandinetti, Thomas Lippert, Nicolai Petkov.

by Grandinetti, Lucio [editor.] | Lippert, Thomas [editor.] | Petkov, Nicolai [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

Computational Science and Its Applications -- ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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

Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI / edited by Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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

Algorithmic Game Theory [electronic resource] : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings / edited by Ioannis Caragiannis, Kristoffer Arnsfelt Hansen.

by Caragiannis, Ioannis [editor.] | Hansen, Kristoffer Arnsfelt [editor.] | SpringerLink (Online service).

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

Mathematical Methods for Curves and Surfaces [electronic resource] : 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers / edited by Morten Dæhlen, Michael S. Floater, Tom Lyche, Jean-Louis Merrien, Knut Morken, Larry L. Schumaker.

by Dæhlen, Morten [editor.] | Floater, Michael S [editor.] | Lyche, Tom [editor.] | Merrien, Jean-Louis [editor.] | Morken, Knut [editor.] | Schumaker, Larry L [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

NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz.

by Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [editor.] | SpringerLink (Online service).

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

Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan.

by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Iglesias, Andres [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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

Hybrid Learning [electronic resource] : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings / edited by Reggie Kwan, Joseph Fong, Lam-For Kwok, Jeanne Lam.

by Kwan, Reggie [editor.] | Fong, Joseph [editor.] | Kwok, Lam-For [editor.] | Lam, Jeanne [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

Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [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