Walter Waldschmidt (25 results)

Taschenbuch. Condition: Gut. 328 Seiten; Das Taschenbuch besitzt einen Bibliotheksstempel im Inneren, befindet sich aber ansonsten in einem einwandfreien Zustand. Sprache: Deutsch Gewicht in Gramm: 250.

Condition: Good. Some light wear to the extremities of the book. Taping and inscriptions at teh front of the book. Some of the content may have some stains. Clean and readable inside.

Softcover. Condition: Gut. 48 S., br. - Ber.ü.Ldw.(NF);SH 34 - Bibl.-Ex.

Taschenbuch. Condition: Gut. 338 Seiten; B. I. Wissenschafts - 1. Auf. 1984 : E Helmut Waldschmidt - tb 8K-43PX-NKJU Sprache: Deutsch Gewicht in Gramm: 550.

03. Condition: Wie neu. 1986. 343 S. In diesem Band wird der maschinenorientierte Aspekt der Programmierung behandelt. Dieser umfaßt zunächst den Rechneraufbau (logische Maschinenstruktur) und die maschinenorientierte Programmierung. Hieran schließt sich der Entwurf der wichtigsten Hardware Sprache: Deutsch. …

Condition: New. pp. 432.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen für kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise für While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbündeln.- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften färbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class 2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse.- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutztenoperationen.- Ein vollständiges Problem auf der Baummaschine.- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit.…

Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Hardcover. Gr.-8° (25 x 17,5 cm). Halbleinenband der Zeit mit goldgeprägtem Rückentitel. Ecken und Kanten mit etwas Abrieb, auch am Rücken unten und dort mit kleiner Fehlstelle. Ordentlich ausgeschiedenes Exemplar der Humboldt-Universität zu Berlin mit den üblichen Stempeln und Signaturen. 218 / 177 / 145 Seiten mit zahlr. Textabbildungen, Statistiken, Karten (davon 2 Faltkarten) und Diagrammen. Die Vorderdeckel der Originalhefte sind mit eingebunden, diese mit älteren Stempeln und Signaturen in alter Tinte. Insgesamt gut erhaltenes Exemplar. (= Sonderausgabe der Landwirtschaftlichen Jahrbücher). Die Hefte der Landwirtschaftlichen Forschungen mit Untersuchungen aus verschiedenen Instituten, u.a.: - für Betriebslehre und Arbeitswirtschaft an der Landwirtschaftlichen Hochschule Berlin / - für landwirtschaftliche Buchführung, Taxation und Handelskunde an der Hochschule für Bodenkultur, Wien / -für Betriebslehre an der Landwirtschaftlichen Hochschule Bonn-Poppelsdorf / -für landwirtschaftliche Betriebs- und Landarbeitslehre Göttingen / - für Wirtschaftslehre des Landbaues an der Universität Breslau / - Deutschen Forschungsinstituts für Agrar- und Siedlungswesen, Abtlg. Bonn / -Forschungsstelle für landwirtschaftl. Gärungen an der Landwirtschaftl. Hochschule Berlin / - Versuchs-und Forschungsanstalt für Getreideverarbeitung Berlin / - für Pflanzenbau und Pflanzenzüchtung der Univ. Halle / - für Agrikulturchemie und Bakteriologie der Univ. Breslau. -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Wenn es draußen stürmt, können Sie es sich mit einem guten Buch gemütlich machen und ein warmes Getränk dazu genießen. Bei uns finden Sie die passende Lektüre! -- Wir kaufen Ihre werthaltigen Bücher! Bot.…

paperback. Condition: Sehr gut. 338 Seiten 9783411016839 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 546.

XII,243 S., ((Verzeichnis der orientalischen Handschriften in Deutschland, X,6) Wegen der PPWR-Bestimmungen (Verpackungsmittelverordungen der EU) liefern wir nicht in Staaten der EU, mit Ausnahme von Österreich. Due to PPWR regulations (EU Packaging Directives), we do not deliver to EU countries, with the exception of Austria. Sprache: Deutsch Gewicht in Gramm: 910 4°, OLn. 2, Priv. Inv.-Z. (Bibl. Heinz Bechert). …

Numerierte Ausg. [20] Bl. : überwiegend Ill. ; 24 cm Sehr guter Erhaltungszustand. Nr. 103 von 250 Exemplaren. Signiert von Arno Waldschmidt. Sprache: Deutsch englische broschur in Blockbuchform.

Soft cover. Condition: Good -. Binding tight; interior clean. Red lettering on wraps is vivid. Sticker remnant on front wrap under title; wraps lightly worn along edges and more heavily at corners and spine ends; bottom 1/2" of spine has come loose from pages, but is still attached. The 1929 Stuttgart Group was a group of working modern creative artists. Through exhibitions, they tried to show the artistic aspirations of the local and foreign artists. In this book, the First Autumn Show, the group exhibited works of local talented young artists. Text is in German. Unpaginated.…

Hardcover. Condition: Very Good. 1st Edition. 59 p., 176 p. plates ; 25 cm oblong. Texts in Sanskrit; introd. matter in German. Indo-Iranian facsimiles series. Vol. 1.

Hardcover. Condition: Good. No Jacket. 1st Edition. Vol. 1: xxxv - 368 pp., 43 plates with facsimiles. Franz Steiner Verlag, Wisbaden, 1965. Verzeichnis der orientalischen Handschriften in Deutschland. Band X.1. Sanskrithandschriften aus den Turfanfunden. Teil I. Vol. 2: x - 87 pp., 176 plates with facsimiles. Franz Steiner Verlag, Wisbaden, 1968. Verzeichnis der orientalischen Handschriften in Deutschland. Band X.2. Sanskrithandschriften aus den Turfanfunden. Teil II. Faksimile-wiedergagen einer Auswahl von Vinaya- und Sutrahandschriften nebst einder Bearbeitung davon noch nicht publizierter Stücke. Vol. 3: x - 287 pp., 102 plates with facsimiles. Franz Steiner Verlag, Wisbaden, 1972. Verzeichnis der orientalischen Handschriften in Deutschland. Band X.3. Sanskrithandschriften aus den Turfanfunden. Teil III. Die Katalognummern 802-1014. Vol. 4: x - 627 pp. Franz Steiner Verlag, Wisbaden, 1980. ISBN 3-515-02843-9. Verzeichnis der orientalischen Handschriften in Deutschland. Band X.4. Sanskrithandschriften aus den Turfanfunden. Teil IV. Ergänzungsband zu Teil 1-3 mit Textwiedergaben, Berichtigungen und Wörterverzeichnissen. First edition. Hardcovers. Bound in black with gilt lettering on the spine and a gilt logo on the front cover. Minimal wear. Main text in Sanskrit, front matter and notes in German. Ex library of the University of Ghent with the ususal stickers, stamps and numbers; otherwise good/very good books with clean and unmarked interior. Please note these books are heavy, therefore additional charges might apply. Please contact us for more information.…

Condition: gut. 1980. Sanskrithandschriften aus den Turfanfunden 4 : Ergänzungsband zu Teil 1 - 3 mit Textwiedergaben, Berichtigungen und Wörterverzeichnissen In deutscher Sprache. pages.

PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Softcover/Paperback. Condition: Sehr gut. Numerierte Ausg. [20] Bl. : überwiegend Ill. ; 24 cm Zustand: sehr gut; 36 v. 250 num u. von Waldschmidt signiertes Ex h6828 Wenn das Buch einen Schutzumschlag hat, ist das ausdrücklich erwähnt. Rechnung mit ausgewiesener Mwst. Sprache: Deutsch Gewicht in Gramm: 410.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeOn polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen für kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise für While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbündeln.- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften färbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class 2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse.- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollständiges Problem auf der Baummaschine.- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit. 432 pp. Englisch, Französisch, Deutsch.…

4°, gebundene Ausgabe. Condition: Gut. XXXV, 368 Seiten, 43 Tafeln;X, 287 Seiten, 102 Tafeln; X, 627 Seiten, 1 Faltblatt. Ehemaliges Bibliotheksexemplar, gestempelt und mit Rückensignatur. Einbände teils fleckig, berieben und bestoßen. Ansonsten gut erhalten. Sprache: Deutsch Gewicht in Gramm: 1200 (Verzeichnis der orientalischen Handschriften in Deutschland, Band X, 1-4.).…

Condition: New. Print on Demand pp. 432 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condition: New. PRINT ON DEMAND pp. 432.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Ae.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen für kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise für While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbündeln.- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften färbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class 2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse.- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutztenoperationen.- Ein vollständiges Problem auf der Baummaschine.- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 432 pp. Englisch.…

Taschenbuch. Condition: Neu. Theoretical Computer Science | 3rd GI Conference Darmstadt, March 28-30, 1977 | H. Tzschach (u. a.) | Taschenbuch | xii | Englisch | 1977 | Springer | EAN 9783540081388 | 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. …