Technical report / Computing Science Institute
Vanaf CSI-R9329 uitg.: Nijmegen : Computing Science Institute, Faculty of Mathematics and Informatics, [Katholieke Universiteit Nijmegen]. - Vanaf CSI-R9601 uitg.: Nijmegen Computing Science Institute, Faculty of Mathematics and Informatics, Catholic University of Nijmegen. - Vermelding ook: Computing Science Institute Nijmegen. - Vanaf CSI-R0007 ook uitg.: Computing Science Institute, Faculty of Science, University of Nijmegen
| rdfs:label | "Technical report / Computing Science Institute" |
| schema:name | "Technical report" |
| schema:author | Computing Science Institute (Nijmegen) |
| schema:description | "Vanaf CSI-R9329 uitg.: Nijmegen : Computing Science Institute, Faculty of Mathematics and Informatics, [Katholieke Universiteit Nijmegen]. - Vanaf CSI-R9601 uitg.: Nijmegen Computing Science Institute, Faculty of Mathematics and Informatics, Catholic University of Nijmegen. - Vermelding ook: Computing Science Institute Nijmegen. - Vanaf CSI-R0007 ook uitg.: Computing Science Institute, Faculty of Science, University of Nijmegen" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1993-2001" |
|
schema:in |
"nl" |
| schema:issn | "15715078" |
| schema:publication |
<https:/ |
Inverse relations
[ .. ] → schema:isPartOf → Technical report / Computing Science Institute
" Symmetric functions, Latin squares and Van der Corput's Scriptum 3" / D.C. van Leijenhorstschema:ProductModel
A case study in class library verification: Java's vector class / M. Huisman, B.P.F. Jacobs, J.A.G.M. van den Bergschema:ProductModel
A categorial framework for conceptual data modeling : definition, application and implementation / A.H.M. ter Hofstede, E. Lippe, Th.P. van der Weideschema:ProductModel
A category theory approach to conceptual data modeling / E. Lippe and A.H.M. ter Hofstedeschema:ProductModel
A clinical information system for psychiatry / J.E. Schuur, P. van Bommel, F.G. Zitmanschema:ProductModel
A comparison of PVS and Isabelle/HOL / W.O.D. Griffioen, M. Huismanschema:ProductModel
A feedback mechanism for query by navigation / F.C. Berger, Th. van der Weideschema:ProductModel
A formalisation of Java's exception mechanism / B.P.F. Jacobsschema:ProductModel
A formalization of finite and infinite sequences in PVS / M.C.A. Devillers, W.O.D. Griffioenschema:ProductModel
A genealogy of phrase structure / F.A. Grootjen, V. Kamphuis, J.J. Sarboschema:ProductModel
A linearly complex model for knowledge representation / J.J. Sarbo, J.I. Farkasschema:ProductModel
A logic for the Java modeling language JML / B.P.F. Jacobs, E. Pollschema:ProductModel
A logical ontology / J.I. Farkas, J.J. Sarboschema:ProductModel
A monad for basic Java semantics / B.P.F. Jacobs, E. Pollschema:ProductModel
A Peircean ontology of language / J.J. Sarbo, J. Farkasschema:ProductModel
A Peircean ontology of semantics / J.I. Farkas, J.J. Sarboschema:ProductModel
A performance comparison of asynchronous atomic broadcast protocols / R.C.J. de Beijerschema:ProductModel
A prototype dedicated theorem prover for Clean / M.J. de Mol, M.C.J.D. van Eekelenschema:ProductModel
A real-life application of software component modelling / J.W.G.M. Hubbers, T.F. Verhoefschema:ProductModel
A simple abstract semantics for equational theories / G. Bartheschema:ProductModel
... show all 200