A Discipline of Programming

Author: Edsger Wybe Dijkstra
Publisher: Prentice Hall
ISBN: UOM:39015004474899
Release Date: 1976
Genre: Computers

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.

A Discipline of Multiprogramming

Author: Jayadev Misra
Publisher: Springer Science & Business Media
ISBN: 9781441985286
Release Date: 2012-09-07
Genre: Computers

In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.

The Science of Programming

Author: David Gries
Publisher: Springer
ISBN: 9780387964805
Release Date: 1989-04-01
Genre: Computers

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

Der Turing Omnibus

Author: A.K. Dewdney
Publisher: Springer-Verlag
ISBN: 9783642788727
Release Date: 2013-03-12
Genre: Computers

Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

Fillory Die Zauberer

Author: Lev Grossman
Publisher: S. Fischer Verlag
ISBN: 9783104009902
Release Date: 2010-09-08
Genre: Fiction

In der geheimen Welt des verborgenen Wissens hat die Macht einen schrecklich hohen Preis Quentin Coldwater steht kurz vor dem Abschluss der Highschool. Die Schule langweilt ihn – wie ihn eigentlich alles langweilt außer Fillory, das magische Land aus den phantastischen Büchern, die er liebt. Doch plötzlich findet sich Quentin, der gerade noch durch Brooklyn gelaufen ist, selbst in einer magischen Welt wieder, an einer geheimen Zauberschule: Brakebills College. Und auch Fillory gibt es wirklich. Aber es ist keine heile Welt, sondern ein düsterer Ort, von dem eine schreckliche Bedrohung ausgeht. Quentin und seine Freunde begeben sich auf eine gefährliche Reise – und müssen sich einem alles entscheidenden Kampf stellen... »Fillory verhält sich zu Harry Potter wie ein Glas Whiskey zu einem Becher dünnen Tees. Fest verankert sowohl in der Tradition des Fantasyromans als auch in der der allgemeinen Literatur, spielt er an auf die Welten von Oz und Narnia - auch Harry Potter lässt grüßen. Aber glauben Sie ja nicht, das sei ein Kinderbuch. Grossmans Gefühlswelten sind durch und durch erwachsen, seine Erzählweise düster, gefährlich und voller überraschender Wendungen. Hogwarts war nie so« George R. R. Martin, Das Lied von Eis und Feuer – A Game of Thrones

Firmware Engineering

Author: W. K. Giloi
Publisher: Springer-Verlag
ISBN: 9783642677748
Release Date: 2013-03-07
Genre: Computers

Veranstaltet von der gemeinsamen Fachgruppe "Mikroprogrammierung" des GI-Fachausschusses 3/4 und des NTG-Fachausschusses 6

Zwischen Organismus und Notation

Author: Heike Stach
Publisher: Springer-Verlag
ISBN: 9783322868985
Release Date: 2013-03-13
Genre: Business & Economics

Heike Stach untersucht die historische Entwicklung der Speicherprogrammierung und zeigt, dass sich in diesen Technologien Spuren einer kulturellen Umorientierung aufzeigen lassen, die die Grenzen zwischen natürlicher, technischer und symbolischer Welt neu bestimmt.

Programmieren mit R

Author: Uwe Ligges
Publisher: Springer-Verlag
ISBN: 9783540799986
Release Date: 2008-08-17
Genre: Computers

R ist eine objektorientierte und interpretierte Sprache und Programmierumgebung für Datenanalyse und Grafik. Ausführlich führt der Autor in die Grundlagen ein und vermittelt eingängig die Struktur der Sprache. So ermöglicht er Lesern den leichten Einstieg: eigene Methoden umsetzen, Objektklassen definieren und Pakete aus Funktionen und zugehöriger Dokumentation zusammenstellen. Detailliert beschreibt er die enormen Grafikfähigkeiten von R. Für alle, die R als flexibles Werkzeug zur Datenanalyse und -visualisierung einsetzen. In 2. Auflage mit vielen Verbesserungen und Neuerungen von R-2.3.x und weiteren von Lesern gewünschten Ergänzungen.

Programming Methodology

Author: Annabelle Mclver
Publisher: Springer Science & Business Media
ISBN: 0387953493
Release Date: 2003
Genre: Computers

The IFIP working group 2.3 consists of computing academics and industrialists, who invent, discuss and assess new and emerging techniques for software and systems. This volume is written as a reference and guide to research in programming methodology.

Guide to Programming and Algorithms Using R

Author: Özgür Ergül
Publisher: Springer Science & Business Media
ISBN: 9781447153283
Release Date: 2013-07-23
Genre: Computers

This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Emphasis is placed on the threshold concepts that present barriers to learning, including the questions that students are often too embarrassed to ask. The book promotes an active learning style in which a deeper understanding is gained from evaluating, questioning, and discussing the material, and practised in hands-on exercises. Although R is used as the language of choice for all programs, strict assumptions are avoided in the explanations in order for these to remain applicable to other programming languages. Features: provides exercises at the end of each chapter; includes three mini projects in the final chapter; presents a list of titles for further reading at the end of the book; discusses the key aspects of loops, recursions, program and algorithm efficiency and accuracy, sorting, linear systems of equations, and file processing; requires no prior background knowledge in this area.

Multimedia Introduction to Programming Using Java

Author: David Gries
Publisher: Springer Science & Business Media
ISBN: 9780387269344
Release Date: 2005-12-06
Genre: Computers

This book anchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive appendices and bibliography, systematic approach, and helpful interactive programs on extras.springer.com, this exciting work provides the key tools they needed 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.

Programming the Finite Element Method

Author: I. M. Smith
Publisher: John Wiley & Sons
ISBN: 9781118535929
Release Date: 2013-09-05
Genre: Technology & Engineering

Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method. This new fifth edition offers timely revisions that include programs and subroutine libraries fully updated to Fortran 2003, which are freely available online, and provides updated material on advances in parallel computing, thermal stress analysis, plasticity return algorithms, convection boundary conditions, and interfaces to third party tools such as ParaView, METIS and ARPACK. As in the previous editions, a wide variety of problem solving capabilities are presented including structural analysis, elasticity and plasticity, construction processes in geomechanics, uncoupled and coupled steady and transient fluid flow and linear and nonlinear solid dynamics. Key features: • Updated to take into account advances in parallel computing as well as new material on thermal stress analysis • Programs use an updated version of Fortran 2003 • Includes exercises for students • Accompanied by website hosting software Programming the Finite Element Method, Fifth Edition is an ideal textbook for undergraduate and postgraduate students in civil and mechanical engineering, applied mathematics and numerical analysis, and is also a comprehensive reference for researchers and practitioners. Further information and source codes described in this text can be accessed at the following web sites: • www.inside.mines.edu/~vgriffit /PFEM5 for the serial programs from Chapters 4-11 • www.parafem.org.uk for the parallel programs from Chapter 12