Your search returned 1342 results. Subscribe to this search

|
Combinatorial Algorithms [electronic resource] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti.

by Colbourn, Charles J [editor.] | Grossi, Roberto [editor.] | Pisanti, Nadia [editor.] | SpringerLink (Online service).

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

Principles and Practice of Constraint Programming [electronic resource] : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings / edited by Thomas Schiex, Simon de Givry.

by Schiex, Thomas [editor.] | de Givry, Simon [editor.] | SpringerLink (Online service).

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

Graph Drawing and Network Visualization [electronic resource] : 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings / edited by Daniel Archambault, Csaba D. Tóth.

by Archambault, Daniel [editor.] | Tóth, Csaba D [editor.] | SpringerLink (Online service).

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

Combinatorial Algorithms [electronic resource] : 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, Proceedings / edited by Cristina Bazgan, Henning Fernau.

by Bazgan, Cristina [editor.] | Fernau, Henning [editor.] | SpringerLink (Online service).

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

Graph Drawing and Network Visualization [electronic resource] : 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers / edited by Patrizio Angelini, Reinhard von Hanxleden.

by Angelini, Patrizio [editor.] | von Hanxleden, Reinhard [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.

by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [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

Frontiers of Algorithmics [electronic resource] : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings / edited by Minming Li, Xiaoming Sun, Xiaowei Wu.

by Li, Minming [editor.] | Sun, Xiaoming [editor.] | Wu, Xiaowei [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

Theoretical Computer Science [electronic resource] : Essays in Memory of Shimon Even / edited by Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman.

by Goldreich, Oded [editor.] | Rosenberg, Arnold L [editor.] | Selman, Alan L [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

Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers / edited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.

by Hertling, Peter [editor.] | Hoffmann, Christoph M [editor.] | Luther, Wolfram [editor.] | Revol, Nathalie [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

Database and Expert Systems Applications [electronic resource] : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / edited by Kim V. Andersen, John Debenham, Roland Wagner.

by Andersen, Kim V [editor.] | Debenham, John [editor.] | Wagner, Roland [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 Web-Age Information Management [electronic resource] : 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings / edited by Wenfei Fan, Zhaohui Wu, Jun Yang.

by Fan, Wenfei [editor.] | Wu, Zhaohui [editor.] | Yang, Jun [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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers / edited by Lars Svensson, José Monteiro.

by Svensson, Lars [editor.] | Monteiro, José [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 Swarm Intelligence [electronic resource] : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Ben Niu.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [editor.] | SpringerLink (Online service).

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

Intelligent Computing Theories and Application [electronic resource] : 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Zhi-Kai Huang.

by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Huang, Zhi-Kai [editor.] | SpringerLink (Online service).

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

Advances in Cryptology - EUROCRYPT 2020 [electronic resource] : 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10-14, 2020, Proceedings, Part I / edited by Anne Canteaut, Yuval Ishai.

by Canteaut, Anne [editor.] | Ishai, Yuval [editor.] | SpringerLink (Online service).

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

Computational Complexity and Property Testing [electronic resource] : On the Interplay Between Randomness and Computation / edited by Oded Goldreich.

by Goldreich, Oded [editor.] | SpringerLink (Online service).

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

Design, Operation and Evaluation of Mobile Communications [electronic resource] : Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings / edited by Gavriel Salvendy, June Wei.

by Salvendy, Gavriel [editor.] | Wei, June [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

The Semantic Web - ISWC 2020 [electronic resource] : 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II / edited by Jeff Z. Pan, Valentina Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, Lalana Kagal.

by Pan, Jeff Z [editor.] | Tamma, Valentina [editor.] | d'Amato, Claudia [editor.] | Janowicz, Krzysztof [editor.] | Fu, Bo [editor.] | Polleres, Axel [editor.] | Seneviratne, Oshani [editor.] | Kagal, Lalana [editor.] | SpringerLink (Online service).

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

OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg.

by McIntosh-Smith, Simon [editor.] | Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Deakin, Tom [editor.] | Klinkenberg, Jannis [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

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings / edited by Serdar Boztas, Hsiao-feng Lu.

by Boztas, Serdar [editor.] | Lu, Hsiao-feng [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