M h nagl (30 risultati)

Broschiert. Condizione: Gut. VI, 270 S. : graph. Darst. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 400.…

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. pp. 468.

Paperback. Condizione: Brand New. reprint edition. 468 pages. 8.20x5.80x1.20 inches. In Stock.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: Leichte Gebrauchsspuren. Altdeutsche Schrift.

Paperback. Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In English.

Condizione: New. pp. 280.

Paperback. Condizione: Brand New. 1st edition. 280 pages. German language. 9.61x6.69x0.64 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben.…

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hypothesis testing is not a straightforward matter in the fossil record and here, too interactions with biology can be extremely profitable. Quite simply, predictions regarding long-term consequences of processes observed in liv ing organisms can be tested directly using paleontological data if those liv ing organisms have an adequate fossil record, thus avoiding the pitfalls of extrapolative approaches. We hope to see a burgeoning of this interactive effort in the coming years. Framing and testing of hypotheses in paleon tological subjects inevitably raises the problem of inferring process from pattern, and the consideration and elimination of a broad range of rival hy is an essential procedure here. In a historical science such as potheses paleontology, the problem often arises that the events that are of most in terest are unique in the history of life. For example, replication of the metazoan radiation at the beginning of the Cambrian is not feasible. How ever, decomposition of such problems into component hypotheses may at least in part alleviate this difficulty. For example, hypotheses built upon the role of species packing might be tested by comparing evolutionary dy namics (both morphological and taxonomic) during another global diversi fication, such as the biotic rebound from the end-Permian extinction, which removed perhaps 95% of the marine species (see Valentine, this volume). The subject of extinction, and mass extinction in particular, has become important in both paleobiology and biology. 468 pp. Englisch.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Hypothesis testing is not a straightforward matter in the fossil record and here, too interactions with biology can be extremely profitable. Quite simply, predictions regarding long-term consequences of processes observed in liv ing organisms can be tested directly using paleontological data if those liv ing organisms have an adequate fossil record, thus avoiding the pitfalls of extrapolative approaches. We hope to see a burgeoning of this interactive effort in the coming years. Framing and testing of hypotheses in paleon tological subjects inevitably raises the problem of inferring process from pattern, and the consideration and elimination of a broad range of rival hy is an essential procedure here. In a historical science such as potheses paleontology, the problem often arises that the events that are of most in terest are unique in the history of life. For example, replication of the metazoan radiation at the beginning of the Cambrian is not feasible. How ever, decomposition of such problems into component hypotheses may at least in part alleviate this difficulty. For example, hypotheses built upon the role of species packing might be tested by comparing evolutionary dy namics (both morphological and taxonomic) during another global diversi fication, such as the biotic rebound from the end-Permian extinction, which removed perhaps 95% of the marine species (see Valentine, this volume). The subject of extinction, and mass extinction in particular, has become important in both paleobiology and biology.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Hypothesis testing is not a straightforward matter in the fossil record and here, too interactions with biology can be extremely profitable. Quite simply, predictions regarding long-term consequences of processes observed in liv ing organisms can be tested directly using paleontological data if those liv ing organisms have an adequate fossil record, thus avoiding the pitfalls of extrapolative approaches. We hope to see a burgeoning of this interactive effort in the coming years. Framing and testing of hypotheses in paleon tological subjects inevitably raises the problem of inferring process from pattern, and the consideration and elimination of a broad range of rival hy is an essential procedure here. In a historical science such as potheses paleontology, the problem often arises that the events that are of most in terest are unique in the history of life. For example, replication of the metazoan radiation at the beginning of the Cambrian is not feasible. How ever, decomposition of such problems into component hypotheses may at least in part alleviate this difficulty. For example, hypotheses built upon the role of species packing might be tested by comparing evolutionary dy namics (both morphological and taxonomic) during another global diversi fication, such as the biotic rebound from the end-Permian extinction, which removed perhaps 95% of the marine species (see Valentine, this volume). The subject of extinction, and mass extinction in particular, has become important in both paleobiology and biology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 468 pp. Englisch.…

Condizione: New. Print on Demand pp. 468 36 Figures, 25:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 468.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der vorliegende Band enthalt die vortrage, die anlaBlich der 4. Fach tagung Uber Programmiersprachen der Gesellschaft fUr Informatik gehal ten wurden. Die drei vorangegangenen Fachtagungen Uber dieses Gebiet fanden in MUnchen (1971), SaarbrUcken (1972) und Kiel (1974) statt. Die Aufforderung zur Vortragsanmeldung enthielt die folgenden Fach gebiete: Compiler und Interpreter Sprachen fUr Systemprogrammierung Dialogsprachen Programmiersprachen fUr besondere Anwendungen ProzeBrechnersprachen Erweiterbare Sprachen Nichtprozedurale Sprachen Programmiermethodik Semantik und Verifikation. Sie fand ein erstaunlich starkes Echo. Der ProgrammausschuB bestand aus den Mitgliedern des Fachausschusses 2 der GI: Prof. Dr. K. Alber (Braunschweig) W. Frielinghaus (Konstanz) Prof. Dr. H. Langmaack (Kiel) Prof. Dr. M. Paul (MUnchen) Prof. Dr. B. Schlender (Kiel) Prof. Dr. G. SeegmUller (Munchen). Er war bemuht, diejenigen Vortrage auszuwahlen, die am ehesten den gegenwartigen Stand der Forschung und Entwicklung wiedergeben. Die bereits im Tagungsband einer fruheren GI-Jahrestagung beklagten Ver standigungsschwierigkeiten zwischen Forschern und Anwendern sin- wie das Verfahren der Vortragsauswahl zeigte - noch lange nicht uber wunden. 1m Vergleich zu den frtiheren Tagungsbanden stieg jedoch die Anzahl der Vortrage, die den Anwendungen zuzurechnen sind. Dennoch bleibt fur weitere Fachtagungen in dieser Richtung noch viel zu tun. Den Vortragenden sei an dieser Stelle fur ihre Beitrage gedankt. Der Erfolg einer Tagung hangt in erster Linie von ihnen abo Daneben gilt unser Dank den Sitzungsleitern und den Mitgliedern des Programmkomi tees, sowie den Mitarbeitern des Lehrstuhls fur Informatik II (Pro- IV gramrnier- und Dialogsprachen, sowie ihre Compiler) der Friedrich-Ale xander-Universitat Erlangen-Nlirnberg, die alle bei der Organisation der Tagung geholfen :1aben. 280 pp. Englisch, Deutsch.…

Condizione: New. Print on Demand pp. 280 39 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 280.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf hoehere Programmiersprachen.- Systematische Analyse.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.- Systematische Analyse semantischer Abhängigkeiten.- Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergestützten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache für die Prozeßsteuerung.- Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen.- Programmiertechnik/Programming Methodology.- Programming-in-the-Large versus Programming-in-the-Small.- Implementierungssprachen/Implementation Languages.- Einige Eigenschaften der Programmiersprache BALG.- SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID - eine problembezogene Programmiersprache für die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE - Eine Sprache für Linguisten.- Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis.- Syntax-error Recovery in LR-Parsers.- Generating Error Recovery in a Compiler Generating System.- Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentationen von Gruppen.- Hauptvorträge/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments onProgramming Language Design.- On Generating Verification Conditions for Correctness Proofs.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.…

Taschenbuch. Condizione: Neu. Programmiersprachen | 4. Fachtagung der GI Erlangen, 8.-10. März 1976 | H. J. Schneider (u. a.) | Taschenbuch | vi | Deutsch | 1976 | Springer | EAN 9783540076193 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …