Your search returned 10983 results. Subscribe to this search

|
Mathematical Aspects of Computer and Information Sciences [electronic resource] : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / edited by Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap.

by Kotsireas, Ilias S [editor.] | Rump, Siegfried M [editor.] | Yap, Chee K [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

Rules on the Web: From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman.

by Bikakis, Antonis [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [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

Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / edited by Sudebkumar Prasant Pal, Kunihiko Sadakane.

by Pal, Sudebkumar Prasant [editor.] | Sadakane, Kunihiko [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

Cryptography and Coding [electronic resource] : 19th IMA International Conference, IMACC 2023, London, UK, December 12-14, 2023, Proceedings / edited by Elizabeth A. Quaglia.

by Quaglia, Elizabeth A [editor.] | SpringerLink (Online service).

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

Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.

by Ábrahám, Erika [editor.] | Huisman, Marieke [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

Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / edited by Martina Seidl, Nikolai Tillmann.

by Seidl, Martina [editor.] | Tillmann, Nikolai [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

Foundations for Functional Modeling of Technical Artefacts [electronic resource] / by Morten Lind.

by Lind, Morten [author.] | SpringerLink (Online service).

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.

by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [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

Parallel Problem Solving from Nature -- PPSN XIII [electronic resource] : 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings / edited by Thomas Bartz-Beielstein, Juergen Branke, Bogdan Filipič, James Smith.

by Bartz-Beielstein, Thomas [editor.] | Branke, Juergen [editor.] | Filipič, Bogdan [editor.] | Smith, James [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

Data Science and Machine Learning [electronic resource] : 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings / edited by Diana Benavides-Prado, Sarah Erfani, Philippe Fournier-Viger, Yee Ling Boo, Yun Sing Koh.

by Benavides-Prado, Diana [editor.] | Erfani, Sarah [editor.] | Fournier-Viger, Philippe [editor.] | Boo, Yee Ling [editor.] | Koh, Yun Sing [editor.] | SpringerLink (Online service).

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

Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / edited by Paolo Arcaini, Tao Yue, Erik M. Fredericks.

by Arcaini, Paolo [editor.] | Yue, Tao [editor.] | Fredericks, Erik M [editor.] | SpringerLink (Online service).

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

Advances in Neural Networks -- ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II / edited by James Kwok, Liqing Zhang, Bao-Liang Lu.

by Kwok, James [editor.] | Zhang, Liqing [editor.] | Lu, Bao-Liang [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 Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II / edited by Weili Wu, Jianxiong Guo.

by Wu, Weili [editor.] | Guo, Jianxiong [editor.] | SpringerLink (Online service).

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

Combinatorial Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I / edited by Weili Wu, Jianxiong Guo.

by Wu, Weili [editor.] | Guo, Jianxiong [editor.] | SpringerLink (Online service).

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

Computing and Combinatorics [electronic resource] : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II / edited by Weili Wu, Guangmo Tong.

by Wu, Weili [editor.] | Tong, Guangmo [editor.] | SpringerLink (Online service).

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

Advances in Intelligent Data Analysis VII [electronic resource] : 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, Proceedings / edited by Michael R. Berthold, John Shawe-Taylor, Nada Lavrač.

by Berthold, Michael R [editor.] | Shawe-Taylor, John [editor.] | Lavrač, Nada [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

Computing and Combinatorics [electronic resource] : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I / edited by Weili Wu, Guangmo Tong.

by Wu, Weili [editor.] | Tong, Guangmo [editor.] | SpringerLink (Online service).

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

Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / edited by András Horváth, Katinka Wolter.

by Horváth, András [editor.] | Wolter, Katinka [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

Bridging the Gap Between AI and Reality [electronic resource] : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings / edited by Bernhard Steffen.

by Steffen, Bernhard [editor.] | SpringerLink (Online service).

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

Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings / edited by Emiliano De Cristofaro, Matthew Wright.

by De Cristofaro, Emiliano [editor.] | Wright, Matthew [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