|
|
|
Software Testing for Conventional and Logic Programming / Oliver Jack.
by Jack, Oliver [author.]. Edition: Reprint 2011Source: DGBA Physical Sciences 1990 - 1999Material type:  Book; Format:
available online
 ; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2011]Copyright date: ©1996Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
|
Theory of Quantum Information with Memory / Mou-Hsiung Chang.
by Chang, Mou-Hsiung [author.]. Source: DG Plus DeG Package 2022 Part 1Source: EBOOK PACKAGE COMPLETE 2022 EnglishSource: EBOOK PACKAGE COMPLETE 2022Source: EBOOK PACKAGE Engineering, Computer Sciences 2022 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2022Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2022]Copyright date: ©2022Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
|
Introduction to Graph Neural Networks [electronic resource] / by Zhiyuan Liu, Jie Zhou.
by Liu, Zhiyuan [author.] | Zhou, Jie [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Multi-Objective Decision Making [electronic resource] / by Diederik M. Roijers, Shimon Whiteson.
by Roijers, Diederik M [author.] | Whiteson, Shimon [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical Relational Artificial Intelligence [electronic resource] : Logic, Probability, and Computation / by Luc De Raedt, Kristian Kersting, Sriraam Natarajan, David Poole.
by De Raedt, Luc [author.] | Kersting, Kristian [author.] | Natarajan, Sriraam [author.] | Poole, David [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Robot Learning from Human Teachers [electronic resource] / by Sonia Chernova, Andrea L. Thomaz.
by Chernova, Sonia [author.] | Thomaz, Andrea L [author.] | 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
|
|
|
|
An Introduction to Constraint-Based Temporal Reasoning [electronic resource] / by Roman Barták, Robert A. Morris, K. Brent Venable.
by Barták, Roman [author.] | Morris, Robert A [author.] | Venable, K. Brent [author.] | 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
|
|
|
|
Computational Aspects of Cooperative Game Theory [electronic resource] / by Georgios Chalkiadakis, Edith Elkind, Michael Wooldridge.
by Chalkiadakis, Georgios [author.] | Elkind, Edith [author.] | Wooldridge, Michael [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Action Programming Languages [electronic resource] / by Michael Thielscher.
by Thielscher, Michael [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Similarity Joins in Relational Database Systems [electronic resource] / by Nikolaus Augsten, Michael Bohlen.
by Augsten, Nikolaus [author.] | Bohlen, Michael [author.] | 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
|
|
|
|
Information and Influence Propagation in Social Networks [electronic resource] / by Wei Chen, Carlos Castillo, Laks V.S. Lakshmanan.
by Chen, Wei [author.] | Castillo, Carlos [author.] | Lakshmanan, Laks V.S [author.] | 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
|
|
|
|
Web Page Recommendation Models [electronic resource] / by Sule Gunduz-Oguducu.
by Gunduz-Oguducu, Sule [author.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Multidimensional Databases and Data Warehousing [electronic resource] / by Christian Jensen, Torben Bach Pedersen, Christian Thomsen.
by Jensen, Christian [author.] | Pedersen, Torben Bach [author.] | Thomsen, Christian [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Introduction to Logic, Third Edition [electronic resource] / by Michael Genesereth, Eric J. Kao.
by Genesereth, Michael [author.] | Kao, Eric J [author.] | SpringerLink (Online service). Edition: 3rd ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Data Management in the Cloud [electronic resource] / by Divyakant Agrawal, Sudipto Das, Amr El Abbadi.
by Agrawal, Divyakant [author.] | Das, Sudipto [author.] | Abbadi, Amr El [author.] | 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
|
|
|
|
Incomplete Data and Data Dependencies in Relational Databases [electronic resource] / by Sergio Greco, Cristian Molinaro, Francesca Spezzano.
by Greco, Sergio [author.] | Molinaro, Cristian [author.] | Spezzano, Francesca [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Data Protection from Insider Threats [electronic resource] / by Elisa Bertino.
by Bertino, Elisa [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
P2P Techniques for Decentralized Applications [electronic resource] / by Esther Pacitti, Reza Akbaranian, Manal El-Dick.
by Pacitti, Esther [author.] | Akbaranian, Reza [author.] | El-Dick, Manal [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Query Answer Authentication [electronic resource] / by HweeHwa Pang, Kian-Lee Tan.
by Pang, HweeHwa [author.] | Tan, Kian-Lee [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Networking [electronic resource] / by Boon Thau Loo, Wenchao Zhou.
by Loo, Boon Thau [author.] | Zhou, Wenchao [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
