Functional Programming, Concurrency, Simulation and Automated Reasoning

Functional Programming, Concurrency, Simulation and Automated Reasoning von Lauer Peter E. (Herausgeber)

Herausgeber: Lauer, Peter E.

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540568832

EAN/ISBN-13: 9783540568834

Sprache: eng

Veröffentlichung: September 2007


 
 
Klappentext zu Functional Programming, Concurrency, Simulation and Automated Reasoning
This collection of papers arose from a series of lecturesfor workers in computer science and other disciplines. Thelectures were intended to familiarize them with some of themost exciting advanced computer based systems for theconceptualization, design, implementation, simulation, andlogical analysis of applications in these disciplines.The collection presents some strong motivational points forthe use of theory based systems in the areas of functionalprogramming, concurrency, simulation, and automatedreasoning, highlighting some of their advantages anddisadvantages relative to conventional systems. The papersare mostly the work of individuals who were among theoriginators of the systemspresented.The volume is intended as a contribution to narrowing thelearning gap facing conventional computer users when theywish to use advanced theory based systems. The papers aremeant for a wide audience and should not require greatmathematical sophistication for their comprehension. Thepapers contain numerous references for those wishing topursue a topic in greater depth.

weitere passende Bücher

Grundlagen der Mensch-Computer-Interaktion

Das ideale Lehrbuch für die Einführungsvorlesung Mensch-Computer-Interaktion im Bachelor-Studium sowie ebenso für die Diplom- und Master-Studiengänge. Der Autor stellt alle …


geschrieben von Markus Dahm (Autor)

Algorithmen und Datenstrukturen

Dieses moderne Lehrbuch zum Thema Algorithmen und Datenstrukturen führt auf systematische Art und Weise in die Kunst der Programmierung ein und liefert sowohl das dazu erforderliche Wissen als …


geschrieben von Gustav Pomberger (Autor) und Heinz Dobler (Autor)

Los Cocodrilos Copiones

Cocodrilo just wants to spend some time alone, but every time he finds something new to do, his crocodile friends copy him! This charming story with colorful illustrations celebrates the importance of …


geschrieben von David Bedford (Autor) und Emily Bolam (Illustrator)

Nachtflug

Der Nachtflug, auf der Strecke Rio-Buenos Aires 1928 erstmals unternommen, war noch ein gefährliches Wagnis, als der Autor diesen Roman schrieb. Die Schnelligkeit der Dampfer und Eisenbahnen, die …


geschrieben von Antoine de Saint-Exupery (Autor)

Der Sammler der Augenblicke

Der Junge bewundert Max, den Maler, und verbringt ganze Tage in der Stille seines Ateliers. Doch die Bilder des Künstlers bekommt er nicht zu sehen. Erst als Max auf eine Reise geht, …


geschrieben von Quint Buchholz (Autor)

Zauber der Phantasie. CD

Aus: Kurzgefaßter Lebenslauf. Landstreicherherberge. Heimweg vom Wirtshaus. Kennst du das auch. Aus einem Brief des 15jährigen Hesse an seine Eltern. Aus: Peter Camenzind. Orgelspiel. Ernst …


geschrieben von Gert Westphal (Ausgewählt von) und Hermann Hesse (Autor)

Perry Rhodan 43. Spur zwischen den Sternen

Das Solare Imperium hat die lang erwartete Großoffensive der Zweitkonditionierten mit ihren Dolans durch eine neue Waffe gerade noch abwehren können, da bahnt sich auf einem entfernten …

Planet der Ruinen; Die phantastische Reise der FD-4; Die Welt der Unsichtbaren; Die Letzten von der …


geschrieben von

Sehnsucht, die Leben heißt

16 ausgearbeitete Modelle des bekannten Schweinfurter Pfarrers Roland Breitenbach stellen die Musik der Jugendlichen in den Mittelpunkt der Gottesdienste. Lieder bekannter Gruppen wie Pulp, Pur und …


geschrieben von Roland Breitenbach (Autor)

Senor Vivo and the Coca Lord

Louis de Bernieres has written several novels including,The War of Don Emmanuel's Nether Parts (Commonwealth Writers Prize, Best First Book Eurasia Region, 1991), Senor Vivo and the Coca Lord …

Minerva reissue with new …


geschrieben von Louis De Bernieres (Autor)

Denkste!

Mit Zahlen umzugehen fällt vielen nicht leicht. Viele Phänomene, die mit Statistik und Wahrscheinlichkeit zu tun haben, widersprechen unserer Intuition. Dieses Buchführt Beispiele in …


geschrieben von Walter Krämer (Autor)


durchsuche buecher-lounge.de

  • Loading