TOP
英國出版界指標大獎肯定!A.F. Steadman 獲年度作家,《史坎德》系列帶你踏上熱血奇幻旅程
縮小範圍
搜尋結果 /

Inductive Logic Programming

15981
44 / 400
Phenomenology, Logic, and the Philosophy of Mathematics
90 折
出版日:2009/09/24 作者:Richard Tieszen  出版社:Cambridge Univ Pr  裝訂:平裝
Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege.
優惠價: 9 2398
無庫存
USA Today Everyday Logic ─ 200 Puzzles
滿額折
出版日:2009/09/15 作者:USA Today (COR)  出版社:Andrews McMeel Pub  裝訂:平裝
USA TODAY Everyday Logic: 200 Puzzles from The Nation's No. 1 Newspaper makes every day much more fun. It also makes every day a little more challenging--which is a must for any puzzle master.Puzzlers
優惠價: 79 300
無庫存
The Key to Living by Faith ─ Hebrews
滿額折
出版日:2009/09/15 作者:Kay Arthur; Pete De Lacy  出版社:Harvest House Pub  裝訂:平裝
Kay Arthur's life–changing New Inductive Study Series has sold more than 1.4 million copies. Each exciting examination of a different book of the Bible brings readers face–to–face with the truth of Go
優惠價: 1 456
無庫存
A Dictionary of Philosophical Logic
90 折
出版日:2009/08/30 作者:Roy T. Cook  出版社:Edinburgh Univ Pr  裝訂:平裝
This dictionary introduces undergraduate and post-graduate students in philosophy, mathematics, and computer science to the main problems and positions in philosophical logic. Coverage includes not on
優惠價: 9 1458
無庫存
Coders at Work ─ Reflections on the Craft of Programming
90 折
出版日:2009/08/28 作者:Peter Seibel  出版社:Apress  裝訂:平裝
Presents an overview of computer programming and interviews with some of the well-known programmers currently working in the field as they discuss their experiences and techniques.
優惠價: 9 1575
無庫存
出版日:2009/08/25 作者:Keith M. Parsons  出版社:Prometheus Books  裝訂:平裝
Parsons (philosophy, U. of Houston-Clear Lake) presents a textbook for an introductory course in logic for a specific kind of student who turns up often in his own course. They major in some other hum
優惠價: 1 840
無庫存
Environmental and Ecological Statistics With R
90 折
出版日:2009/08/19 作者:Song S. Qian  出版社:Chapman & Hall  裝訂:平裝
Emphasizing the inductive nature of statistical thinking, Environmental and Ecological Statistics with R connects applied statistics to the environmental and ecological fields. It follows the general
優惠價: 9 3100
無庫存
Pocket Posh Hidato ─ 100 Pure Logic Puzzles
滿額折
出版日:2009/08/18 作者:Gyora Benedek  出版社:Andrews McMeel Pub  裝訂:平裝
Complement your style while challenging your mind with this collection of 100 Hidato puzzle games. Hidato can be solved using 100 percent logic and requires no math or guesswork. The modern tactile de
優惠價: 79 240
無庫存
出版日:2009/08/17 作者:Jonathan Barnes  出版社:Oxford Univ Press USA  裝訂:平裝
Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. Its six chapters discuss, first, certain ancient ide
優惠價: 1 3540
無庫存
出版日:2009/08/12 作者:Hitoshi Iba; Topon Kumar Paul; Yoshihiko Hasegawa  出版社:CRC Press UK  裝訂:精裝
What do financial data prediction, day-trading rule development, and bio-marker selection have in common? They are just a few of the tasks that could potentially be resolved with genetic programming a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/08/06 作者:Martin Heidegger; Wanda Torres Gregory (TRN); Yvonne Unna (TRN)  出版社:State Univ of New York Pr  裝訂:精裝
Aims to transform logic into a reflection on the nature of language.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/07/31 作者:R. Kent Dybvig; Jean-Pierre Hebert  出版社:Mit Pr  裝訂:平裝
Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated
出版日:2009/07/30 作者:Martin Heidegger; Wanda Torres Gregory (TRN); Yvonne Unna (TRN)  出版社:State Univ of New York Pr  裝訂:平裝
Aims to transform logic into a reflection on the nature of language.
優惠價: 1 1969
無庫存
出版日:2009/07/28 作者:Julie E. Maybee  出版社:Rowman & Littlefield Pub Inc  裝訂:平裝
In her innovative take on G.W. F. Hegel's The Encyclopaedia Logic, Julie E. Maybee uses pictures and diagrams to cut through the philosopher's dense, difficult writing. Picturing Hegel: An Illustrated
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Beginning Game Programming
90 折
出版日:2009/07/21 作者:Jonathan S. Harbour  出版社:Cengage Learning  裝訂:平裝
"Beginning Game Programming, Third Edition" shows budding game developers how to take their game ideas from concept to reality. Requiring only a basic understanding of the C++ language, this unique gu
優惠價: 9 1418
無庫存
出版日:2009/07/15 作者:Jessie Riposo; Irv Blickstein; John A. Friel; Kindle Fell  出版社:Rand Corp  裝訂:平裝
This evaluation of the participation of organizations within the Navy Enterprise in the Planning, Programming, Budgeting and Execution (PPBE) system (1) identifies and describes the current participat
優惠價: 1 1250
無庫存
Becoming God's Champion
滿額折
出版日:2009/07/15 作者:Kay Arthur; Janna Arndt  出版社:Harvest House Pub  裝訂:平裝
Kay Arthur's successful New Inductive Bible studies series (more than 495,000 copies sold) for kids has a new addition. Now the clever team of Max, Molly, and the wonder–sleuth Beagle, Sam, discover h
優惠價: 1 585
無庫存
Higher Order Logic and Hardware Verification
90 折
出版日:2009/07/02 作者:T. F. Melham  出版社:Cambridge Univ Pr  裝訂:平裝
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.
優惠價: 9 1462
無庫存
出版日:2009/07/01 作者:Godfrey C. Onwubolu (EDT)  出版社:Springer Verlag  裝訂:精裝
The Group Method of Data Handling (GMDH) is a typical inductive modeling method that is built on principles of self-organization for modeling complex systems. However, it is known to often under-perfo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/07/01 作者:Toby Segaran; Colin Evans; Jamie Taylor  出版社:Oreilly & Associates Inc  裝訂:平裝
Stuck in the theory stage for years, semantic Web technology is finally emerging in practice. This book explains how to make use of these programming techniques in order to enrich and simplify Web app
Game Programming With Silverlight
90 折
出版日:2009/06/16 作者:Michael Snow  出版社:Cengage Learning  裝訂:平裝
Learn to program fun and challenging games using Silverlight, a rich, web-based application that is ideal for rapid, casual game development. "Game Programming with Silverlight" shows anyone intereste
優惠價: 9 1620
無庫存
On Preserving: Essays on Preservationism and Paraconsistent Logic
滿額折
出版日:2009/06/01 作者:Peter Schotch (EDT); Bryson Brown (EDT); Raymond Jennings (EDT)  出版社:Univ of Toronto Pr  裝訂:精裝
Paraconsistent logic is a theory of reasoning in philosophy that studies inconsistent data. The discipline has several different schools of thought, including preservationism, which responds to the pr
優惠價: 1 3596
無庫存
出版日:2009/06/01 作者:Edmund Husserl; Claire Ortiz Hill (TRN)  出版社:Springer Verlag  裝訂:平裝
Claire Ortiz Hill The publication of all but a small, unfound, part of the complete text of the lecture course on logic and theory of knowledge that Edmund Husserl gave at Gottingen during the winter
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Foundations of Illocutionary Logic
90 折
出版日:2009/05/18 作者:John R. Searle  出版社:Cambridge Univ Pr  裝訂:平裝
This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts (1969), Expression and Meaning (1979) and Intentionality (1983). In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutionary acts. The central chapters present a systematic exposition of the axioms and general laws of illocutionary logic.
優惠價: 9 2105
無庫存
出版日:2009/05/15 作者:Roy T. Cook  出版社:Edinburgh Univ Pr  裝訂:精裝
This book introduces undergraduate and postgraduate students in philosophy, mathematics and computer science to the main problems and positions in philosophical logic.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Semantics of Natural Language
90 折
出版日:2009/05/07 作者:Edward L. Keenan  出版社:Cambridge Univ Pr  裝訂:平裝
A volume of studies in natural language semantics which brings together work by philosophers, logicians and linguists. The main topics treated are: quantification and reference in natural language; the relations between formal logic, programming languages and natural language; pragmatics and discourse meaning; surface syntax and logical meaning. The volume derives from a colloquium organised in 1973 by the Kings College Research Centre, Cambridge and the papers have been edited for publication by Professor Keenan. It is hoped that the collection will make available some of the best work in this fast-moving field and will stimulate further progress by juxtaposing the different approaches and interests represented here.
優惠價: 9 2573
無庫存
出版日:2009/04/15 作者:Elizabeth M. Karle  出版社:Amer Library Assn  裝訂:平裝
This guide to interactive library programming gives detailed plans and scripts for hosting library events and activities structured as 'mysteries.' The book contains scripts for mysteries, most hosted
優惠價: 1 2400
無庫存
The Coming of God's Kingdom
滿額折
出版日:2009/04/15 作者:Kay Arthur; Pete De Lacy  出版社:Harvest House Pub  裝訂:平裝
Kay Arthur's life–changing New Inductive Study Series has sold more than 1.4 million copies. This exciting series brings readers face–to–face with the truth of God's precepts, promises, and purposes—i
優惠價: 1 495
無庫存
C++ Programming for the Absolute Beginner
90 折
出版日:2009/04/14 作者:Mark Lee  出版社:Cengage Learning  裝訂:平裝
If you are new to programming with C++ and are looking for a solid introduction, this is the book for you. Developed by computer science instructors, books in the "For the Absolute Beginner"? series
優惠價: 9 1215
無庫存
TinyOS Programming
90 折
出版日:2009/04/13 作者:Philip Levis  出版社:Cambridge Univ Pr  裝訂:平裝
Do you need to know how to write systems, services, and applications using the TinyOS operating system? Learn how to write nesC code and efficient applications with this indispensable guide to TinyOS programming. Detailed examples show you how to write TinyOS code in full, from basic applications right up to new low-level systems and high performance applications. Two leading figures in the development of TinyOS also explain the reasons behind many of the design decisions made and, for the first time, how nesC relates to and differs from other C dialects. Handy features such as a library of software design patterns, programming hints and tips, end-of-chapter exercises, and an appendix summarizing the basic application-level TinyOS APIs make this the ultimate guide to TinyOS for embedded systems programmers, developers, designers, and graduate students.
優惠價: 9 2690
無庫存
Professional Microsoft SQL Server 2008 Programming
滿額折
出版日:2009/04/10 作者:VIEIRA  出版社:JOHN WILEY & SONS;LTD  裝訂:平裝
Master the increasingly complex feature set of the latest release of Microsoft SQL Server with the information in Professional Microsoft SQL Server 2008 Programming. Review the new features of SQL Ser
優惠價: 9 1708
無庫存
Fuzzy Logic in Action: Applications in Epidemiology and Beyond, co-authored by Eduardo Massad, Neli Ortega, Laecio Barros, and Claudio Struchiner is a remarkable achievement. The book brings a major p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Gray Hat Python ─ Python Programming for Hackers and Reverse Engineers
滿額折
出版日:2009/04/01 作者:Justin Seitz  出版社:No Starch Pr  裝訂:平裝
Python is fast becoming the programming language of choice for hackers, reverse engineers, and software testers because it's easy to write quickly, and it has the low-level support and libraries that
優惠價: 79 1199
無庫存
Complete CL ─ The Definitive Control Language Programming Guide
滿額折
出版日:2009/04/01 作者:Ted Holt  出版社:Mc Pr Llc  裝訂:平裝
Updated with the latest innovations to this quintessential programming language, the new edition of this comprehensive resource to Command Language (CL) covers all aspects of the language from basics
優惠價: 1 3998
無庫存
出版日:2009/03/30 作者:Frank Nielsen  出版社:Springer-Verlag New York Inc  裝訂:平裝
A Concise and Practical Introduction to Programming Algorithms in Java has two main goals. The first is for novice programmers to learn progressively the basic concepts underlying most imperative pro
優惠價: 1 1998
無庫存
出版日:2009/03/30 作者:Zdenek Dost嫮  出版社:Springer Verlag  裝訂:精裝
Solving optimization problems in complex systems often requires the implementation of advanced mathematical techniques. Quadratic programming (QP) is one technique that allows for the optimization of
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
MICROSOFT VISUAL STUDIO 2008 PROGRAMMING
滿額折
出版日:2009/03/23 作者:Jamie Plenderleith; Steve Bunn  出版社:Mcgraw-Hill; Inc.  裝訂:平裝
Take your Microsoft Visual Studio 2008 programming skills to the top tier "A must-read for experienced developers who want to dive deeply into Visual Studio 2008. The authors provide practical guidanc
優惠價: 79 1480
無庫存
Gilles Deleuze's Logic of Sense: A Critical Introduction and Guide
90 折
出版日:2009/03/15 作者:James Williams  出版社:Edinburgh Univ Pr  裝訂:平裝
This book offers the first critical study of Gilles Deleuze's The Logic of Sense, his most important work on language and ethics.
優惠價: 9 2211
無庫存
出版日:2009/03/15 作者:Michael Potter  出版社:Oxford Univ Press USA  裝訂:精裝
Wittgenstein's philosophical career began in 1911 when he went to Cambridge to work with Russell. He compiled the Notes on Logic two years later as a kind of summary of the work he had done so far. Ru
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/03/12 作者:Johan F. A. K. Benthem; Gerhard Heinzmann (EDT); Manuel Rebuschi; Henk Visser  出版社:Springer Verlag  裝訂:平裝
In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 15981
    400
  • 1
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 400

暢銷榜

客服中心

收藏

會員專區