The little prover /

The codewriting workbook creating computational architecture in AutoLISP /
著者:: Krawczyk, Robert J., 1949-
出版事項: (2009)

Artificial intelligence and the design of expert systems /
著者:: Luger, George F.
出版事項: (1989)

Selectors
著者:: Jayne, John E. (John Eben), 1943-
出版事項: (2002)

Completeness theory for propositional logics
著者:: Pogorzelski, Witold, 1944-
出版事項: (2008)

Robust processing of spoken situated dialogue a study in human-robot interaction /
著者:: Lison, Pierre
出版事項: (2010)

Automated data collection with R : a practical guide to web scraping and text mining /
著者:: Munzert, Simon
出版事項: (2015)

Platonic wholes and quantum ontology /
著者:: Woszczek, Marek, 1980-
出版事項: (2015)

Gödel's incompleteness theorems
著者:: Smullyan, Raymond M.
出版事項: (1992)

Lectures on Chern-Weil theory and Witten deformations
著者:: Zhang, Weiping
出版事項: (2001)

Impossibility the limits of science and the science of limits /
著者:: Barrow, John D., 1952-
出版事項: (1998)

Limit theorems for associated random fields and related systems
著者:: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
出版事項: (2007)

Log-gases and random matrices
著者:: Forrester, Peter (Peter John)
出版事項: (2010)

The index theorem and the heat equation method
著者:: Yu, Yanlin
出版事項: (2001)

C# core language little black book /
著者:: Wagner, Bill
出版事項: (2002)

Windows admin scripting little black book
著者:: Torres, Jesse M.
出版事項: (2001)

Probabilistic applications of Tauberian theorems
著者:: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
出版事項: (2005)

From Pythagoras to Einstein
著者:: Friedrichs, K. O.
出版事項: (1965)

Constructive dialogue modelling speech interaction and rational agents /
著者:: Jokinen, Kristiina
出版事項: (2009)

Addressing techniques of liquid crystal displays /
著者:: Ruckmongathan, Temkar N.
出版事項: (2015)

Automating Sharepoint 2010 with Windows Powershell 2.0
著者:: Lapointe, Gary
出版事項: (2011)

C# game programming for serious game creation /
著者:: Schuller, Daniel
出版事項: (2011)

Automatic indexing and abstracting of document texts
著者:: Moens, Marie-Francine, 1957-
出版事項: (2000)

Introduction to computer science using Pascal /
著者:: Martins, João P.
出版事項: (1989)

Information theory and the central limit theorem
著者:: Johnson, Oliver (Oliver Thomas)
出版事項: (2004)

Introduction to computer science ... /
著者:: Hume, J.N.P
出版事項: (1990)

Let us C /
著者:: Kanetkar, Yashavant
出版事項: (2016)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
著者:: Saxena, Shiti
出版事項: (2013)

Python testing beginner's guide : an easy and convenient approach to testing your Python projects /
著者:: Arbuckle, Daniel
出版事項: (2010)

Textual information access statistical models /
出版事項: (2012)

F# for quantitative finance /
著者:: Astborg, Johan
出版事項: (2013)

Arduino robotic projects : build awesome and complex robots with the power of Arduino /
著者:: Grimmett, Richard
出版事項: (2014)

The art of assembly language
著者:: Hyde, Randall
出版事項: (2003)

The art of Assembly language
著者:: Hyde, Randall
出版事項: (2010)

Introduction to JAVA programming : comprehensive version /
著者:: Liang, Y. Daniel
出版事項: (2013)

C++ programming fundamentals
著者:: Easttom, Chuck
出版事項: (2003)

Perl power! the comprehensive guide /
著者:: Flynt, John P.
出版事項: (2006)