|
|
|
Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci.
by A�it-Kaci, Hassan, 1954- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type:  Book; Format:
available online
 Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti.
by Bergadano, Francesco, 1963- | Gunetti, Daniele | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
by Friedman, Daniel P [author.] | Christiansen, David Thrane [author.] | Bibby, Duane [illustrator.] | Harper, Robert, 1957- | McBride, Conor | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Elements of Parallel Computing
by Rajaraman,V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Dellhi Prentice Hall 1990Availability: Items available for loan:
[Call number: 621.38195 R614]
(1).
|
|
|
|
From logic to logic programming / Kees Doets.
by Doets, Kees [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
A grammatical view of logic programming / Pierre Deransart, Jan Ma�uszy�nski.
by Deransart, Pierre [author.] | Ma�uszy�nski, Jan | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Institut national de recherche en informatique et en automatique (France). Material type: Book; Format:
available online
Publisher: Le Chesnay, France : Institut national de recherche en informatique et en automatique, 1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective [electronic resource] / by Trailokya Nath Sasamal, Ashutosh Kumar Singh, Anand Mohan.
by Sasamal, Trailokya Nath [author.] | Singh, Ashutosh Kumar [author.] | Mohan, Anand [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Applications of Machine Learning [electronic resource] / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul.
by Johri, Prashant [editor.] | Verma, Jitendra Kumar [editor.] | Paul, Sudip [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
