Your search returned 227 results. Subscribe to this search

|
WALCOM: Algorithms and Computation [electronic resource] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings / edited by Md. Saidur Rahman, Satoshi Fujita.

by Rahman, Md. Saidur [editor.] | Fujita, Satoshi [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

Internet of Vehicles - Safe and Intelligent Mobility [electronic resource] : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / edited by Ching-Hsien Hsu, Xia Feng, Xingang Liu, Shangguang Wang.

by Hsu, Ching-Hsien [editor.] | Feng, Xia [editor.] | Liu, Xingang [editor.] | Wang, Shangguang [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

Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers / edited by Ulrik Brandes, Sabine Cornelsen.

by Brandes, Ulrik [editor.] | Cornelsen, Sabine [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 Security Applications [electronic resource] : 10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers / edited by Heung Youl Youm, Moti Yung.

by Youm, Heung Youl [editor.] | Yung, Moti [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

Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / edited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella.

by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [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

Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I / edited by Ersébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik.

by Csuhaj-Varjú, Ersébet [editor.] | Dietzfelbinger, Martin [editor.] | Ésik, Zoltán [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

WALCOM: Algorithms and Computation [electronic resource] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / edited by M. Sohel Rahman, Etsuji Tomita.

by Rahman, M. Sohel [editor.] | Tomita, Etsuji [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

Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers / edited by Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Matthias Nickles, Michael Pool.

by Costa, Paulo Cesar G [editor.] | d'Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Nickles, Matthias [editor.] | Pool, Michael [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

Information Security [electronic resource] : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / edited by Matt Bishop, Anderson C A Nascimento.

by Bishop, Matt [editor.] | Nascimento, Anderson C A [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

Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone.

by Erlingsson, Úlfar [editor.] | Wieringa, Roel [editor.] | Zannone, Nicola [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

Parameterized and Exact Computation [electronic resource] : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings / edited by Dimitrios M. Thilikos, Gerhard J. Woeginger.

by Thilikos, Dimitrios M [editor.] | Woeginger, Gerhard J [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

Efficient Algorithms [electronic resource] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / edited by Susanne Albers, Helmut Alt, Stefan Näher.

by Albers, Susanne [editor.] | Alt, Helmut [editor.] | Näher, Stefan [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

Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.

by Bonacina, Maria Paola [editor.] | Stickel, Mark E [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

Information Processing in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings / edited by Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, Jonathan Oliver, Martin Albrecht Trefzer.

by Lones, Michael A [editor.] | Smith, Stephen L [editor.] | Teichmann, Sarah [editor.] | Naef, Felix [editor.] | Oliver, Jonathan [editor.] | Trefzer, Martin Albrecht [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

Mathematics of Program Construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtländer.

by Hinze, Ralf [editor.] | Voigtländer, Janis [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

The Nature of Computation: Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.

by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [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

Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme.

by Brlek, Srečko [editor.] | Dolce, Francesco [editor.] | Reutenauer, Christophe [editor.] | Vandomme, Élise [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

WALCOM: Algorithms and Computation [electronic resource] : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / edited by Mohammad Kaykobad, Rossella Petreschi.

by Kaykobad, Mohammad [editor.] | Petreschi, Rossella [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

Discrete Geometry for Computer Imagery [electronic resource] : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, Proceedings / edited by Walter G. Kropatsch, Nicole M. Artner, Ines Janusch.

by Kropatsch, Walter G [editor.] | Artner, Nicole M [editor.] | Janusch, Ines [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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann.

by Gomes, Carla [editor.] | Sellmann, Meinolf [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