Wolfgang kowalk (40 resultados)

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Sprache: Deutsch 310 Seiten. OriginalKarton. Guter gebrauchter Zustand.

Softcover Sehr gut erhalten.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: as new. Frankfurt am Main : Peter Lang, 1981. Paperback. 369 pp. Condition : as new copy. ISBN 9783820458817. Keywords : LITERATURE.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: As New. Unread book in perfect condition.

kart. Condición: Gut. 312 S. ; 24 cm, Gutes Ex. - Das Buch stellt neue effiziente und praktisch einsetzbare Techniken zur Spezifikation und Implementierung korrekter Software vor. Neben einer kritischen Analyse verbreiteter mathematischer Methoden zur Verifikation von Software werden neue alternative Verifikationsmethoden vorgestellt und deren praktische Einsatzfähigkeit bewertet. Genauer werden höhere Verfahren unter-sucht sowie informatische Techniken, die durch "Übersetzung" selbsterklärender Konstrukte in reale Programmiersprachen korrekte Programme zu schreiben gestatten. Außerdem wird gezeigt, unter welchen Umständen sich systematische Testverfahren zur Verifikation eignen. Das Buch besitzt eine umfangreiche Beispielsammlung zur Verifikation, wobei sowohl eher mathematische, als auch neue informatische Techniken demonstriert werden. (Verlagstext) ISBN 9783411160013 Sprache: Deutsch Gewicht in Gramm: 550.…

Condición: Gut. Gebraucht - Gut * ex-library; good, clean condition, no markings in text *.

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condición: New. Print on Demand.

Condición: New. Print on Demand.

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condición: as new. Berlin & New York : Springer-Verlag, 1982. Paperback. vi, 181 pp. illustrations. 24 cm. (Informatik-Fachberichte, 55). Die operationale Analyse wurde 1976 von Buzen /Buzen76/ eingeführt. Sie untersucht allgemein, wie in endlichen Zeiten an realen wartesystemen gemessene GrOssen zueinander in Beziehung gesetzt werden können. Dazu ist es notwendig, ein endliches Modell solcher Wartesysteme einzuführen. In dieser Arbeit wird solch ein endliches mathematisches Modell definiert und analysiert. Dazu wird zunächst allgemein untersucht, wie Systeme zu modellieren sind (Kapitel 1), und es werden in dieser Arbeit benötigte mathematische Objekte definiert und untersucht (Kapitel 2). Da bei der Analyse des dynamischen Verhaltens von Systemen in endlichen Zeiträurnen Abweichungen zwischen Modellgrössen auftreten , wird eine Rechenmethode mit solchen Modellierungsfehlern eingeführt (Angleichungsrechnung, Kapitel 3) und gezeigt, wie sich mit dieser Begriffsbildung wichtige Konzepte aus der Theorie der stochastischen Prozesse (Gleichgewicht, Unabhängigkeit, Repräsentativität) formulieren lassen (Kapitel 4). Es wird gezeigt, dass mit dieser Modellbildung sowoh1 die Ergebnisse der operationalen Analyse herleitbar sind (Kapitel 5), a1s auch andere Ergebnisse, die bis lang nur mit der stochastischen Analyse beweisbar waren (Kapitel 6,7). Ausserdem wird eine neue Formell für die mittlere Last hergeleitet (Abschnitt 6.2). Da weder die stochastische noch die operationale Analyse Aussagen machen kann über auftretende Modellierungsfehler, werden die Abweichungen, die sich nach der Angleichungsrechnung ergeben, durch Simulation Uberprüft und gezeigt, dass Fehler in den Eingangsvoraussetzungen zurn Teil einen verschwindend kleinen, zurn Teil aber auch einen Uberproportional grossen Fehler in den Ergebnissen verursachen können (Kapitel 8). Condition : as new copy. ISBN 9783540115618. Keywords : COMPUTER STUDIES.…

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condición: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.

Condición: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.

Condición: New. pp. 516.

8°. 545 pp. Original Broschur. Signaturschildchen auf Rücken. Stempel verso Titel. Sonst ordentlich. [Pope, Alexander; Shakespeare, William - ] [Literaturgeschichte; Anglistik] 1200 gr.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die vorliegende Arbeit untersucht Popes Shakespeare-Rezeption so wie sie sich aus dem Text seiner Shakespeare-Ausgabe ablesen lässt. Die sich aus der eigenwilligen Editionstechnik Popes ergebenden Indizien für seine Kunstauffassung werden sowohl mit den theoretischen literarkritischen Äusserungen als auch mit der eigenen Dichtung in Beziehung gebracht, wodurch sich ein neuer Einblick in die ihm eigene Konsequenz des Editionsverfahrens ergibt.…

Paperback. Condición: new. Paperback. Hamilton Hundezirkus Ein Toter Mann und ein Verdaechtiger mit rauchender Pistole.Doch ist der Verdaechtige wirklich schuldig? Er ist Waise, lebt bei seinem Grossvater auf dem Lande und interessiert sich mehr fuer Hundedressur als fuer die Landwirtschaft. Und welchen Gewinn haette er von einem bankrotten Bauernhof?Kann Hamilton dieses Raetsel loesen? This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…