WorldCat Identities

Bibby, Duane

Overview
Works: 54 works in 160 publications in 2 languages and 1,947 library holdings
Genres: Laboratory manuals  Fiction  Stories in rhyme 
Roles: Illustrator, Author
Publication Timeline
.
Most widely held works by Duane Bibby
The little prover by Daniel P Friedman( )

8 editions published in 2015 in English and Undetermined and held by 839 WorldCat member libraries worldwide

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example
The TeXbook by Donald Ervin Knuth( Book )

38 editions published between 1984 and 2004 in English and held by 627 WorldCat member libraries worldwide

Computing Methodologies -- Text Processing
Inventors workshop by Alan J McCormack( Book )

1 edition published in 1981 in English and held by 117 WorldCat member libraries worldwide

Grade level: 3, 4, 5, 6, 7, 8, e, p, i, s, t
The little typer by Daniel P Friedman( Book )

3 editions published in 2018 in English and held by 34 WorldCat member libraries worldwide

A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. "The Little Typer" explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of "The Little Schemer". The first five chapters of "The Little Typer" provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming--pairs, lists, functions, and recursion--can also capture patterns of reasoning. "The Little Typer" does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time
Facts in a flash : addition & subtraction, grades 1-3 : strategies for fast fact recall by Patricia Cartland Noble( Book )

2 editions published in 2000 in English and held by 31 WorldCat member libraries worldwide

Activities designed to teach the facts of multiplication and division
The reasoned schemer by Daniel P Friedman( Book )

5 editions published between 2005 and 2018 in English and held by 31 WorldCat member libraries worldwide

"The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs - thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog." "The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed." "Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations."--Résumé de l'éditeur
LATEX : a document preparation system : user's guide and reference manual by Leslie Lamport( Book )

15 editions published between 1986 and 2007 in English and Spanish and held by 31 WorldCat member libraries worldwide

With the release of LaTex 2[subscript epsilon], the new standard version, LaTex has become even more powerful. Among its new features are an improved method for handling different styles of type, and commands for including graphics and producing colors. LaTex 2[subscript epsilon] makes available to all LaTex users valuable enhancements to the software that have been developed over the years by users in many different places to satisfy a variety of needs
METAFONT : the program by Donald Ervin Knuth( Book )

3 editions published between 1986 and 1997 in English and held by 26 WorldCat member libraries worldwide

Volume D
The METAFONTbook by Donald Ervin Knuth( Book )

10 editions published between 1986 and 2000 in English and held by 21 WorldCat member libraries worldwide

Computing Methodologies -- Text Processing
LATEX : a document preparation system by Leslie Lamport( Book )

7 editions published between 1985 and 1994 in English and held by 18 WorldCat member libraries worldwide

Computing Methodologies -- Text Processing
The joy of TEX : a gourmet guide to typesetting with the AMS-TEX macro package by Michael Spivak( Book )

2 editions published in 1990 in English and held by 12 WorldCat member libraries worldwide

Designed to simplify the input of mathematical material in particular and to format the output according to any of various preset style specifications
Counting six to ten by Leland B Jacobs( Book )

2 editions published in 1990 in English and held by 11 WorldCat member libraries worldwide

Not for borrowing upstairs cupboard
Computers & typesetting by Donald Ervin Knuth( Book )

1 edition published in 1986 in English and held by 9 WorldCat member libraries worldwide

TEX : the program by Donald Ervin Knuth( Book )

5 editions published between 1986 and 2001 in English and held by 9 WorldCat member libraries worldwide

Volume B
Human body by Julie Pier Brodie( Book )

2 editions published in 1996 in English and held by 9 WorldCat member libraries worldwide

Contains over 100 activities related to a particular theme which teachers may use as an integrated approach to teaching the curriculum
Telling time : grade 2 by Vicky Shiotsu( Book )

2 editions published in 2002 in English and held by 9 WorldCat member libraries worldwide

The little LISPer by Daniel P Friedman( Book )

4 editions published between 1987 and 1988 in English and held by 8 WorldCat member libraries worldwide

The little MLer by Matthias Felleisen( Book )

2 editions published in 1998 in English and held by 8 WorldCat member libraries worldwide

The little Schemer by Daniel P Friedman( Book )

4 editions published between 1996 and 2007 in English and held by 8 WorldCat member libraries worldwide

The Little Schemer introduces computing as an extension of arithmetic and algebra - things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme and a menu of interesting foods to illustrate these abstract ideas. The Seasoned Schemer introduces the reader to additional dimensions of computing: functions as values, change of state, and exceptional cases. The Little LISPer has been a popular introduction to LISP for many years. It has appeared in French and Japanese. The Little Schemer and The Seasoned Schemer are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science
Small memory software : patterns for systems with limited memory by James Noble( Book )

3 editions published between 2000 and 2001 in English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.40 (from 0.15 for The little ... to 0.73 for Computers ...)

WorldCat IdentitiesRelated Identities
The TeXbook
Covers
Inventors workshopThe reasoned schemerLATEX : a document preparation system : user's guide and reference manualMETAFONT : the programThe METAFONTbookComputers & typesettingTEX : the programTelling time : grade 2
Languages
English (117)

Spanish (1)