Inductive Logic Programming

Starting Out with Alice: A Visual Introduction to Programming presents a fun and motivational way for novice programmers to learn the basic tenets of programming. Using Alice, an innovative and incre

A step-by-step guide to understanding object-oriented programming with Objective-CAs the primary programming language for iPhone, iPad, and Mac OS X applications, Objective-C is a reflective, object-o

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques,

The fundamental principles of the scientific method are essential for enhancing perspective, increasing productivity, and stimulating innovation. These principles include deductive and inductive logic, probability, parsimony and hypothesis testing, as well as science's presuppositions, limitations, ethics and bold claims of rationality and truth. The examples and case studies drawn upon in this book span the physical, biological and social sciences; include applications in agriculture, engineering and medicine; and also explore science's interrelationships with disciplines in the humanities such as philosophy and law. Informed by position papers on science from the American Association for the Advancement of Science, National Academy of Sciences and National Science Foundation, this book aligns with a distinctively mainstream vision of science. It is an ideal resource for anyone undertaking a systematic study of scientific method for the first time, from undergraduates to professionals

Learn how to most effectively use PL/SQL programming language with one of the most popular and widely-used software programs in large companies today -- Oracle11g. ORACLE 11G: PL/SQL PROGRAMMING &

Learn beginning level SQL Server 2012 database programming and database modeling. Relational database design and SQL (Structured Query Language) programming teach-by-practical-diagrams-&-examples

Precharge logic is used by a variety of industries in applications where processor speed is the primary goal, such as VLSI (very large systems integration) applications. Also called dynamic logic, thi

The Logic Model Guidebook offers clear, step-by-step support for creating logic models and the modeling process in a range of contexts. Lisa Wyatt Knowlton and Cynthia C. Phillips describe the structu

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview o

Introduction to Programming Using Python is intended for use in the introduction to programming course. Daniel Liang is known for his “fundamentals-first” approach to teaching programming co

Authoritative account of the development of Boole's ideas in logic and probability theory ranges from The Mathematical Analysis of Logic to the end of his career. The Laws of Thought formed the most s

The most up-to-date Visual Basic.NET programming textbook—covering both fundamentals and advanced-level programming techniques—complete with examples and solutionsVisual Basic.NE

Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C

In Frege's Conception of Logic Patricia A. Blanchette explores the relationship between Gottlob Frege's understanding of conceptual analysis and his understanding of logic. She argues that the fruitfu

Programming Graphical User Interfaces with R introduces each of the major R packages for GUI programming: RGtk2, qtbase, Tcl/Tk, and gWidgets. With examples woven through the text as well as stand-alo

Almost all computers sold today support parallel programming due to the advances in multicore architechture. This means programming for multicore processors has become a

Apple's Logic Pro is one of today's most popular digital audio workstations (DAW). Perhaps the most professional DAW on the market for composers, Logic can be used to compose anything from a symphony

For undergraduate students in Computer Science and Computer Programming courses.Now in its Tenth Edition, Concepts of Programming Languages introduces students to the main constructs of contemporary p

Quick Pro GuidesDot Bustelo's signature approach to teaching Logic will get you up and running quickly. She'll help you move beyond the basics to discover a professional-level Logic workflow, taught t

The fifth volume of the second edition contains major contributions on Intuitionistic Logic, Free Logics and Partial Logic. Audience: Students and researchers whose work or interests involve philosoph

The sixth volume of the Handbook of Philosophical Logic, Second Edition contains major contributions on Relevance Logic, Quantum Logics, Combinators, Proofs and Implicational Logics and Paraconsistent

Current, relevant, and student-friendly, MEDIA PROGRAMMING delivers the most accurate coverage of the techniques and strategies used in the programming industry today. Reflecting the latest developmen

Adopted as the undisputed Perl bible soon after the first edition appeared in 1991, Programming Perl is still the go-to guide for this highly practical language. Perl began life as a super-fueled text

The classic programming guide for architects and clients¿¿—fully updated and revisedArchitectural programming is a team effort that requires close cooperation between architects and th

Java Programming: A Comprehensive Introduction is designed for an introductory programming course using Java. This text takes a logical approach to the presentation of core topics, moving step-by-ste

Develop, Compile, and Debug High-Performance Java ApplicationsTake your Java skills to the next level using the expert programming techniques contained in this Oracle Press guide. Featuring real-world

Beginning with the basic concept of programming, the book gives an exhaustive coverage of arrays, strings, functions, pointers, and data structures. Separate chapters on linked lists and stacks, queue

MATLAB PROGRAMMING WITH APPLICATIONS FOR ENGINEERS seeks to simultaneously teach MATLAB as a technical programming language while introducing the student to many of the practical functions that make s

Designed for students with no prior training in logic, INTRODUCTION TO LOGIC AND CRITICAL THINKING offers an accessible treatment of logic that enhances understanding of reasoning in everyday life. Th

Developed by computer science instructors, books in the for the absolute beginner? series teach the principles of programming through simple game creation. Get the jump on computer programming and dat

The 400 essential rules you need to know to master LAST Logic--all in one box! McGraw-Hill's LSAT Logic Flashcards is your edge in conquering the LSAT. Expert author Wendy Hanks has selected 400 key

The volume focuses on logic. The issue that has inspired its preparation is the set of contradictions besetting the concept of logic. On the one hand, logic is held in high esteem, especially by those

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. Th

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the

This is a collection of essays about logic and its applications to various philosophical problems. In general, it is argued that logic constitutes an important device of philosophical analysis. Concer

What better way is there to learn a programming language than with a game-oriented approach? If you ask the many readers that have made this book's prequel, PYTHON PROGRAMMING FOR THE ABSOLUTE BEGINNE

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natu

The publication of the first book by Kenneth Arrow and Herve Raynaud, in 1986, led to an important wave of research in the field of axiomatic approach applied to managerial logic. Managerial Logic sum

Covering the basics of Control Language (CL) programming as well as the latest CL features—including new structured-programming capabilities, file-processing enhancements, and the Integrated Language