Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section
| rdfs:label | "Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section" |
| schema:name | "Computing science notes" |
| schema:author | Department of Mathematics and Computing Science (Eindhoven ; 1986-....). Computing Science Section |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1985-1994" |
|
schema:in |
"en" |
| schema:issn | "09264515" |
| schema:publication |
<https:/ |
Inverse relations
[ .. ] → schema:isPartOf → Computing science notes / Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section
A Boyer-Moore type algorithm for regular expression pattern matching / by Bruce W. Watson and Richard E. Watsonschema:ProductModel
A comparison of Ward & Mellor's transformation schema with state & activitycharts / by J. Peleska, C. Huizing and C. Petersohnschema:ProductModel
A compositional proof system for dynamic proces creation / by Frank de Boerschema:ProductModel
A compositional proof system for real-time systems based on explicit clock temporal logic: soundness and completeness / by P. Zhou, J. Hooman, R. Kuiperschema:ProductModel
A compositional proof theory for fault tolerant real-time distributed systems / by Henk Schepers and Rob Gerthschema:ProductModel
A compositional semantics for fault-tolerant real-time systems / J. Coenen and J. Hoomanschema:ProductModel
A congruence theorem for structured operational semantics with predicates / by J.C.M. Baeten and C. Verhoefschema:ProductModel
A congruence theorem for structured operational semantics with predicates and negative premises / by C. Verhoefschema:ProductModel
A continuous version of the Prisoner's Dilemma / by Tom Verhoeffschema:ProductModel
A formal deterministic scheduling model for hard real-time executings in DEDOS / by J. Verhooselschema:ProductModel
A general conservative extension theorem in process algebra / by C. Verhoefschema:ProductModel
A general theory of genetic algorithms / by E.H.L. Aarts, A.E. Eiben, K.M. van Heeschema:ProductModel
A hierarchical diagrammatic representation of class structure / by O.S. van Roosmalenschema:ProductModel
A hierarchical membership protocol for synchronous distributed systems / by P. van der Stok, M. Claessen and D. Alsteinschema:ProductModel
A modelling method using MOVIE SimCon/ExSpect / by T.H.W. Beelen, W.J.J. Stut, P.A.C. Verkoulenschema:ProductModel
A new method for integrity constraint checking in deductive databases / by R. Seljéeschema:ProductModel
A note on compositional refinement / by J. Coenen, J. Zwiers, W.-P. de Roeverschema:ProductModel
A note on extensionality / by Frans Rietmanschema:ProductModel
A parallel local search algorithm for the travelling salesman problem / by Edwin van der [i.e. de] Sluisschema:ProductModel
A precise clock synchronization protocol / by E.J. Luit and J.M.M. Martinschema:ProductModel
... show all 140