Zoekresultaten
Resultaat 121 - 140 (van 250)
J.-J.Ch. Meyer | E.P. de Vink Pomset semantics for true concurrency with synchronization and recursion
(extended abstract)
Non-fictie
Engels | 26 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
P.R.H. Hendriks ASF system user's guide
Non-fictie
Engels | 11 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
M. de Rooy Concurrent evaluation of side-effects
Non-fictie
Engels | 73 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Johan van Benthem Semantic type change and syntactic recognition
Non-fictie
Engels | 22 pagina's | Universiteit van Amsterdam, Mathematisch Instituut, Amsterdam | 1987
Gedrukt boek
J.C.M. Baeten | W.P. Weijland Semantics for prolog via term rewrite systems
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Richard Gätschenberger Grundzüge einer Psychologie des Zeichens
Non-fictie
Engels | Duits | 132 pagina's | John Benjamin, Amsterdam, Philadelphia | 1987
Gedrukt boek
W.P. Weijland Semantics for logic programs without occur check
Non-fictie
Engels | 25 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
P.R.H. Hendriks Type-checking mini-ML
an algebraic specification with user-defined syntax
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Mathematics of language
Non-fictie
Engels | 401 pagina's | Benjamins, Amsterdam [etc.] | 1987
Gedrukt boek
Marc Bezem Consistency of rule-based expert systems
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
K.R. Apt | L. Bougé | Ph. Clermont Two normal form theorems for CSP programs
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
NATO Scientific Affairs Division Semiotics and international scholarship: towards a language of theory
Non-fictie
Engels | Frans | 225 pagina's | Nijhoff, Dordrecht [etc.] | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Contrasting themes in the semantics of imperative concurrency
Non-fictie
Engels | 58 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
Non-fictie
Engels | 105 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Herman Balsters Lambda calculus extended with segments
Non-fictie
Engels | 129 pagina's | 1986
Gedrukt boek
Exigences et perspectives de la sémiotique
recueil d'hommages pour Algirdas Julien Greimas; essays in honor of Algirdas Julien Greimas
Non-fictie
Frans | Engels | Benjamins, Amsterdam [etc.] | 1985
Gedrukt boek
Willem Marie Speelman The generation of meaning in liturgical songs
a semiotic analysis of five liturgical songs as syncretic discourses
Non-fictie
Engels | 281 pagina's | Kok Pharos, Kampen | 1995
Gedrukt boek
Charles W. Morris Symbolism and reality
a study in the nature of mind
Non-fictie
Engels | 128 pagina's | Benjamins, Amsterdam [etc.] | 1993
Gedrukt boek
The expert sign: semiotics of culture
towards an interface of ethno- and cosmosystems
Non-fictie
Engels | 380 pagina's | DSWO Press, Leiden University, Leiden | 1993
Gedrukt boek
Carlo Brentari Jakob von Uexküll
the discovery of the Umwelt between biosemiotics and theoretical biology
Non-fictie
Engels | 249 pagina's | Springer, Dordrecht | 2015
Gedrukt boek