Winkowski j (8 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,43
EUR 14,07 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 64,25 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism based on petri nets.- Data types as functions.- Synt…hesis of communicating behaviour.- Programming languages as mathematical objects.- Writing and verifying sequential files updating programs.- On the completeness of query languages for relational data bases.- Mastering contextsensitivity in programming languages.- Decision problems concerning parallel programming.- Attribute grammars and two-level grammars: A unifying approach.- Extensions and implementations of abstract data type specifications.- Concurrency of manipulations in multidimensional information structures.- Deriving structures from structures.- Semantics of nondeterminism, concurrency and communication.- Contribution to the theory of concurrency in databases.- Facts in place/transition-nets.- Loop programs and classes of primitive recursive functions.- Dynamic theories of real and complex numbers.- Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication.- Some applications of algebraic semantics.- Goal-oriented derivation of logic programs.- Transforming recursion equations to algorithms.- Structural invariants for some classes of structured programs.- Synthesis of concurrent schemes.- Fast matrix multiplication by boolean RAM in linear storage.- Cycles of partial orders.- Complexity measures defined by mazurkiewicz-algorithms.- On functional grammars.- Analysis of a universal class of hash functions.- A framework for producing deterministic canonical bottom-up parsers.- Cooperating grammar systems.- Synchronized petri nets : A model for the description of non-autonomous sytems.- On divergence and halting problems for monadic program schemas.- Compression of clustered inverted files.- The completeness of propositional dynamic logic.- Improving memory utilization in transforming recursive programs.- On two subclasses of real-time grammars.- On information storage and retrieval systems an algebraic approach, part 1.- Probabilistic LCF.- On algorithmic theory of stacks.- Analyzing program solutions of coordination problems by cp-nets.- Structural properties of petri nets.- Ensuring correctness by arbitrary postfixed-points.- String-matching in real time: Some properties of the data structure.- Name independence and database abstraction in the relational model.- Free Petri net languages.- Transformations to produce certain covering grammars.- On the computational power of extended petri nets.- Theory of relations for databases - a tutorial survey.
Verlag: Warszawa, 1977
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
15 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 287) Sprache: Englisch.
Verlag: Warszawa, 1977
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
22 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 286) Sprache: Englisch.
Verlag: Warszawa, 1978
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
24 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 307) Sprache: Englisch.
Verlag: Warszawa, 1978
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
48 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 312) Sprache: Englisch.
Verlag: Warszawa, 1979
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 5,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
59 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 377) Sprache: Englisch.
Verlag: Warszawa, 1980
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 8,00
EUR 48,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
M. einigen Abb. 261 S. OBr. Rücken leicht angerissen. Umschl. angeschmutzt u. m. den letzten S. etwas geknickt. (Prace IPI PAN 408) Sprache: Englisch.
