|
|
|
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; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advancements in Smart Computing and Information Security [electronic resource] : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part III / edited by Sridaran Rajagopal, Kalpesh Popat, Divyakant Meva, Sunil Bajeja.
by Rajagopal, Sridaran [editor.] | Popat, Kalpesh [editor.] | Meva, Divyakant [editor.] | Bajeja, Sunil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advancements in Smart Computing and Information Security [electronic resource] : Second International Conference, ASCIS 2023, Rajkot, India, December 7-9, 2023, Revised Selected Papers, Part II / edited by Sridaran Rajagopal, Kalpesh Popat, Divyakant Meva, Sunil Bajeja.
by Rajagopal, Sridaran [editor.] | Popat, Kalpesh [editor.] | Meva, Divyakant [editor.] | Bajeja, Sunil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Computer Vision. Large Data in Medical Imaging [electronic resource] : Third International MICCAI Workshop, MCV 2013, Nagoya, Japan, September 26, 2013, Revised Selected Papers / edited by Bjoern Menze, Georg Langs, Albert Montillo, Michael Kelm, Henning Müller, Zhuowen Tu.
by Menze, Bjoern [editor.] | Langs, Georg [editor.] | Montillo, Albert [editor.] | Kelm, Michael [editor.] | Müller, Henning [editor.] | Tu, Zhuowen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
A Narrative History of Artificial Intelligence [electronic resource] : The Perpetual Frontier of Information Technology / by Masayuki Ida.
by Ida, Masayuki [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
The Art of Cyber Warfare [electronic resource] : Strategic and Tactical Approaches for Attack and Defense in the Digital Age / by Peter Kestner.
by Kestner, Peter [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Blockchain Technology and Emerging Applications [electronic resource] : Third EAI International Conference, BlockTEA 2023, Wuhan, China, December 2-3, 2023, Proceedings / edited by Jiageng Chen, Zhe Xia.
by Chen, Jiageng [editor.] | Xia, Zhe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Research Challenges in Information Science [electronic resource] : 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I / edited by João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar.
by Araújo, João [editor.] | de la Vara, Jose Luis [editor.] | Santos, Maribel Yasmina [editor.] | Assar, Saïd [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Nature of Computation and Communication [electronic resource] : 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings / edited by Phan Cong Vinh, Hafiz Mahfooz Ul Haque.
by Cong Vinh, Phan [editor.] | Mahfooz Ul Haque, Hafiz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Web Engineering [electronic resource] : 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings / edited by Sven Casteleyn, Gustavo Rossi, Marco Winckler.
by Casteleyn, Sven [editor.] | Rossi, Gustavo [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Enterprise Engineering XVII [electronic resource] : 13th Enterprise Design and Engineering Working Conference, EDEWC 2023, Vienna, Austria, November 28-29, 2023, Revised Selected Papers / edited by Monika Malinova Mandelburger, Sérgio Guerreiro, Cristine Griffo, David Aveiro, Henderik A. Proper, Marianne Schnellmann.
by Malinova Mandelburger, Monika [editor.] | Guerreiro, Sérgio [editor.] | Griffo, Cristine [editor.] | Aveiro, David [editor.] | Proper, Henderik A [editor.] | Schnellmann, Marianne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Architecture of Computing Systems -- ARCS 2014 [electronic resource] : 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings / edited by Erik Maehle, Kay Römer, Wolfgang Karl, Eduardo Tovar.
by Maehle, Erik [editor.] | Römer, Kay [editor.] | Karl, Wolfgang [editor.] | Tovar, Eduardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
