Your search returned 10983 results. Subscribe to this search

|
AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya C. Nayak.

by Cranefield, Stephen [editor.] | Nayak, Abhaya C [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: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Modelling and Mining Networks [electronic resource] : 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings / edited by Megan Dewar, Bogumił Kamiński, Daniel Kaszyński, Łukasz Kraiński, Paweł Prałat, François Théberge, Małgorzata Wrzosek.

by Dewar, Megan [editor.] | Kamiński, Bogumił [editor.] | Kaszyński, Daniel [editor.] | Kraiński, Łukasz [editor.] | Prałat, Paweł [editor.] | Théberge, François [editor.] | Wrzosek, Małgorzata [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

Relational and Algebraic Methods in Computer Science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings / edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller.

by Höfner, Peter [editor.] | Jipsen, Peter [editor.] | Kahl, Wolfram [editor.] | Müller, Martin Eric [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

Mining Intelligence and Knowledge Exploration [electronic resource] : First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013, Proceedings / edited by Rajendra Prasath, T. Kathirvalavakumar.

by Prasath, Rajendra [editor.] | Kathirvalavakumar, T [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: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III / edited by Marc Joye, Gregor Leander.

by Joye, Marc [editor.] | Leander, Gregor [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

Artificial Intelligence: Methods and Applications [electronic resource] : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings / edited by Aristidis Likas, Konstantinos Blekas, Dimitris Kalles.

by Likas, Aristidis [editor.] | Blekas, Konstantinos [editor.] | Kalles, Dimitris [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

Theory and Applications of Models of Computation [electronic resource] : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings / edited by T V Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper.

by Gopal, T V [editor.] | Agrawal, Manindra [editor.] | Li, Angsheng [editor.] | Cooper, S. Barry [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

Progress in Cryptology - AFRICACRYPT 2014 [electronic resource] : 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings / edited by David Pointcheval, Damien Vergnaud.

by Pointcheval, David [editor.] | Vergnaud, Damien [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

Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach.

by Demri, Stéphane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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

Advances in Knowledge Discovery and Data Mining [electronic resource] : 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV / edited by De-Nian Yang, Xing Xie, Vincent S. Tseng, Jian Pei, Jen-Wei Huang, Jerry Chun-Wei Lin.

by Yang, De-Nian [editor.] | Xie, Xing [editor.] | Tseng, Vincent S [editor.] | Pei, Jian [editor.] | Huang, Jen-Wei [editor.] | Lin, Jerry Chun-Wei [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

Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings / edited by Dang Van Hung, Mizuhito Ogawa.

by Van Hung, Dang [editor.] | Ogawa, Mizuhito [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: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Advances in Cryptology - EUROCRYPT 2024 [electronic resource] : 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part II / edited by Marc Joye, Gregor Leander.

by Joye, Marc [editor.] | Leander, Gregor [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

Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.

by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Mery.

by Giannakopoulou, Dimitra [editor.] | Mery, Dominique [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

Intelligent Strategies for Pathway Mining [electronic resource] : Model and Pattern Identification / by Qingfeng Chen, Baoshan Chen, Chengqi Zhang.

by Chen, Qingfeng [author.] | Chen, Baoshan [author.] | Zhang, Chengqi [author.] | 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

Topics in Cryptology - CT-RSA 2024 [electronic resource] : Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings / edited by Elisabeth Oswald.

by Oswald, Elisabeth [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

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales.

by Croitoru, Madalina [editor.] | Rudolph, Sebastian [editor.] | Woltran, Stefan [editor.] | Gonzales, Christophe [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

Theory and Applications of Models of Computation [electronic resource] : 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings / edited by Xujin Chen, Bo Li.

by Chen, Xujin [editor.] | Li, Bo [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

Reliable Software Technologies - Ada-Europe 2014 [electronic resource] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / edited by Laurent George, Tullio Vardanega.

by George, Laurent [editor.] | Vardanega, Tullio [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

Web and Big Data [electronic resource] : 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part IV / edited by Xiangyu Song, Ruyi Feng, Yunliang Chen, Jianxin Li, Geyong Min.

by Song, Xiangyu [editor.] | Feng, Ruyi [editor.] | Chen, Yunliang [editor.] | Li, Jianxin [editor.] | Min, Geyong [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