WorldCat Identities

Gries, David 1939-

Overview
Works: 142 works in 392 publications in 6 languages and 5,484 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: QA76.6, 001.6424
Publication Timeline
.
Most widely held works about David Gries
 
Most widely held works by David Gries
The science of programming by David Gries( Book )

44 editions published between 1981 and 1998 in 4 languages and held by 1,091 WorldCat member libraries worldwide

Describes basic programming principles and their step-by- step applications. Numerous examples are included
Compiler construction for digital computers by David Gries( Book )

31 editions published between 1971 and 1987 in 4 languages and held by 745 WorldCat member libraries worldwide

Grammars and languages. The scanner. Top-down recognizers. Simple precedence grammars. Other bottom-up recognizers. Production language. Runtime storage organization. Organizing symbol tables. The data in the symbol table. Introduction to semantic routines. Semantic routines for ALGOL-like constructs. Allocation of storage to runtime variables. Error recovery. Interpreters. Code generation. Code optimization. Implementing macros. Translator writing systems. Hints to the compiler writer. The programming language used in the book. References. Index
A primer on PASCAL by Richard Walter Conway( Book )

26 editions published between 1976 and 1982 in English and Undetermined and held by 659 WorldCat member libraries worldwide

A logical approach to discrete math by David Gries( Book )

26 editions published between 1993 and 2010 in 3 languages and held by 617 WorldCat member libraries worldwide

This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience - in Fortran, Cobol, C, C++, or whatever. If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed."--Peter G. Neumann
An introduction to programming : a structured approach using PL/I and PL/C by Richard Walter Conway( Book )

36 editions published between 1973 and 1982 in English and Italian and held by 572 WorldCat member libraries worldwide

Fundamental concepts; Program structure; Independent subprograms; Program testing; Block structured programs; Performance evaluation; Conformation of correctness; Computer solution of mathematical problems; File processing applications
Programming methodology : a collection of articles by members of IFIP WG2.3 by David Gries( Book )

4 editions published in 1978 in English and held by 364 WorldCat member libraries worldwide

A primer on structured programming using PL/I, PL/C, and PL/CT by Richard Walter Conway( Book )

6 editions published between 1976 and 1982 in English and held by 151 WorldCat member libraries worldwide

Multimedia introduction to programming using Java by David Gries( Book )

23 editions published between 2004 and 2005 in English and held by 138 WorldCat member libraries worldwide

"With its comprehensive appendices and bibliography, systemic approach, and helpful CD-ROM, this work provides the key tools for successful object-oriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable self-study resource or reference volume in any programmer's library."--Jacket
Introduction to structured programming, using PL/I and SP/k by Richard Walter Conway( Book )

4 editions published between 1976 and 1977 in English and held by 123 WorldCat member libraries worldwide

An introduction to Kolmogorov complexity and its applications by Ming Li( )

3 editions published in 2008 in English and held by 46 WorldCat member libraries worldwide

Written by two experts in the field, this book is ideal for advanced undergraduate students, graduate students, and researchers in computer science, mathematics, cognitive sciences, philosophy, artificial intelligence, statistics, and physics. It is self-contained in that it contains the basic requirements from mathematics and computer science. Included are also numerous problem sets, comments, source references, and hints to solutions of problems, as well as a great deal of new material not included in the first edition
Der neue Programmierstil gezeigt an PL/1 by Richard Walter Conway( Book )

4 editions published in 1981 in German and held by 32 WorldCat member libraries worldwide

ProgramLive a multimedia Java learning resource by David Gries( Book )

3 editions published between 2001 and 2002 in English and held by 28 WorldCat member libraries worldwide

Programming concepts and methods PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York, USA by International Conference on Programming Concepts and Methods( Book )

4 editions published in 1998 in English and held by 28 WorldCat member libraries worldwide

Über einige Klassen von Normen by David Gries( )

4 editions published in 1966 in German and Undetermined and held by 24 WorldCat member libraries worldwide

The ProgramLive companion by Paul Gries( Book )

3 editions published in 2002 in English and held by 15 WorldCat member libraries worldwide

"Featuring a powerful combination of animation, graphics, hypertext, narration, and printed material, the Program Live CD and Companion text offer the most innovative and effective way to master introductory programming skills using the Java language"--Page 4 of cover
Advances in cryptology--EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988: proceedings by Christoph G Günther( Book )

1 edition published in 1988 in English and held by 15 WorldCat member libraries worldwide

This book contains the proceedings of the EUROCRYPT '88 conference, a workshop on theory and applications of cryptographic techniques held at Davos, Switzerland, May 25-27, 1988. The International Association for Cryptologic Research (IACR) organizes two international conferences every year, one in Europe and one in the United States. EUROCRYPT '88 was the sixth European conference. The number of contributions and of participants at the meetinng has increased substantially, which shows the high interest in cryptography and in system security in general. The interest has also further moved towards authentication, signatures and other protocols. This is to understand in view of the urgent needs for such protocols, in particular in connection with open information systems, and in view of the exciting problems in this area. The equally fascinating classical field of secrecy, i.e. the theory, design and analysis of stream or block ciphers and of public key cryptosystems, was however also well represented and several significant results were communicated. These proceedings contain all contributions accepted for presentation
Construcción de compiladores by David Gries( Book )

3 editions published in 1975 in Spanish and held by 14 WorldCat member libraries worldwide

Programming in Modula-2 by Niklaus Wirth( Book )

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

Software -- Programming Languages
Programming Concepts and Methods PROCOMET '98 IFIP TC2 by David Gries( )

1 edition published in 1998 in English and held by 0 WorldCat member libraries worldwide

This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods
Elements of computation theory by Arindama Singh( )

1 edition published in 2009 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.52 (from 0.43 for A logical ... to 0.99 for Gries, Dav ...)

The science of programming
Alternative Names
David Gries Amerikaans informaticus

David Gries amerikansk ingeniør og informatikar

David Gries amerikansk ingeniør og informatiker

David Gries amerikansk ingenjör och datavetare

David Gries informaticien américain

Gries, David 1939-...

Gris, D.

Грис, Д 1939-

Грис, Д. (Дэвид), 1939-

Грис, Дэвид

グリース, D

Languages
Covers
A logical approach to discrete mathMultimedia introduction to programming using JavaAn introduction to Kolmogorov complexity and its applicationsProgramLive a multimedia Java learning resourceProgramming concepts and methods PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York, USAThe ProgramLive companionElements of computation theory