Jos baeten (10 Ergebnisse)

Paperback. Zustand: Wie neu. XI, 572 S.: with figures, 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 830.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 2012 edition. 400 pages. 9.25x6.10x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. This proceedings volume contains 4 invited and 30 selected papers on all aspects of concurrency.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Therefereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003.The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambda-calculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems.…

Taschenbuch. Zustand: Neu. Theoretical Computer Science | 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings | Jos C. M. Baeten (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9783642334740 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Lectures.- Temporal Process Logic.- An Unfolding Algorithm for Synchronous Products of Transition Systems.- Petri Nets, Configuration Structures and Higher Dimensional Automata.- Expressiveness and Distributed Implementation of Concurrent Calculi with Link Mobility.- Tutorials.- Techniques for Decidability and Undecidability of Bisimilarity.- Testing Concurrent Systems: A Formal Approach.- Accepted Papers.- Computing Minimum and Maximum Reachability Times in Probabilistic Systems.- Automating Modular Verification.- 'Next' Heuristic for On-the-Fly Model Checking.- Model Checking of Message Sequence Charts.- Synthesis of Large Concurrent Programs via Pairwise Composition.- Approximative Symbolic Model Checking of Continuous-Time Markov Chains.- From Synchrony to Asynchrony.- Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic.- Weak and Strong Composition of High-Level Petri Nets.- Model Checking of Time Petri Nets Based on Partial Order Semantics.- Generic Process Algebras for Asynchronous Communication.- Timed Automata and the Theory of Real Numbers.- Metrics for Labeled Markov Systems.- The Expressive Power of Temporal Logic of Actions.- Object Types against Races.- Open Bisimulations on Chi Processes.- Rectangular Hybrid Games.- Localizability of Fairness Constraints and their Distributed Implementations.- Generating Type Systems for Process Graphs.- Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time.- Robust Satisfaction.- Statecharts via Process Algebra.- A Partial Order Event Model for Concurrent Objects.- Partial Order Reduction for Model Checking of Timed Automata.- On the Semantics of Place/Transition Nets.- Validating Firewalls in Mobile Ambients.- On Coherence Properties in Term Rewriting Models ofConcurrency.- Synchronous Structures.- Weakest-Congruence Results for Livelock-Preserving Equivalences.- Proof-Checking Protocols Using Bisimulations.- Event Structures as Presheaves-Two Representation Theorems.- Subtyping and Locality in Distributed Higher Order Processes.…

Zustand: As New. Unread book in perfect condition.

Hardcover, 77 pâg met veel afbeeldingen z/w. 0 g.

[Leuven?] bij de auteurs 1939-1940 Gebrocheerd (beschermd met verwijderbare cellofaanfolie), 38 gestencilde pp., 27.5x20.5cm., met ingekleefde z/w. foto's en enkele met de hand ingekleurde ills., in goede tot zeer goede staat (papieromslag) met wat gebruikssporen. Mooi en uniek studentikoos (K.S.A.) tijdsdocument, opgedragen en aangeboden aan Seppe Huygh (preases?), opgesteld door Jos. Vanhoebroeck, Jos. Baeten, K. De Vos, L. Van de Wiel, W. Cabus, J. Van Beersel, Jef Lerinckx, Gerrit Jansen, J. Baeckens en Pol Kympers. …