" Quicker than quicksort" : an appraisal of linear time sorting methods / Mattheus van der NatDeterministic identification of dynamical systems / Christiaan HeijReview of the Graham-Glanville Code-Generation scheme / Albert NijmeijerParsing attribute grammars / Henderikus Johannes Agatho op den AkkerErgodicity conditions for a class of two-dimensional queueing problems / Hendrik NautaDescription and analysis of static semantics by fixed point equations / Matthias Paul Gerhard MoritzSemantic models for parallel computation in data flow, logic- and object-oriented programming / Joost Nico KokCombining linear time temporal logic descriptions of concurrent computations / Ruurd KuiperHandboek informatica : informatietechnologie voor informatici en managers / R. Maes ... [et al.]Fuzzy relation equations and their applications to knowledge engineering / by Antonio Di Nola ... [et al.] ; forew. by Lofti A. ZadehPoly-automatiserings zakboekje / onder red. van Th.M.A. Bemelmans, J.A. van der Pool, N.J.M. Zwaneveld ; [auteurs J.C.H. Aalders ... et al. ; ill. Ton Wolters]Working with analogical semantics : disambiguation techniques in DLT / Victor SadlerHandboek informatica : actuele informatie behorende bij de losbladige uitgave Handboek informaticaFuzzy sets in information retrieval and cluster analysis / Sadaaki MiyamotoProgress in fuzzy sets and systems / ed. by Wolfgang H. Janko, Marc Roubens and H.-J. ZimmermannZo gezegd, zo gedaan / J.L.G. DietzArchitectural synthesis and optimization of digital systems / Leon StokSamsom informatica nieuwsbrief : actuele informatie behorende bij de losbladige uitgaven Handboek informatica, Handboek AIV en Handboek BIKFault tolerance through program transformation / Lambertus Johannes Maria NieuwenhuisThe role of architectural semantics in the formal approach of distributed systems design / Jeroen SchotCase studies in parallel processing system design / Chengzheng SunFormal description techniques, IV : proceedings of the IFIP TC6/WG6.1 fourth International conference on formal description techniques for distributed systems and communications protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / ed. by K.R. Parker, G.A. RoseAlgorithms, software, architecture : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 / ed. by Jan van LeeuwenComputer arithmetic and enclosure methods : proceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991 / edited by Lidiya Atanassova, Jürgen HerzbergerConcepts and implementation of a design system for digital signal processor arrays / Alfred Joseph van der HoevenTussen droom en daad : formele methoden en gereedschappen bij specificatie en implementatie van open systemen / H. BrinksmaEngineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human Computer Interaction, Ellivuori, Finland, 10-14 August 1992 / ed. by J. Larson, C. UngerFormal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992 / ed. by Michel Diaz, Roland GrozOn the engineering of logics / Giuseppe ScolloDistributed hierarchical algorithms / Patrick Johannes Antonius LentfertParallel algorithms for parsing and attribute evaluation / Paulus Hermannus Willem Maria Oude LuttighuisFuzzy decision procedures with binary relations : toward a unified theory / by Leonid KitainikFuzzy logic : state of the art / ed. by R. Lowen and M. RoubensFormal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993 / ed. by Richard L. Tenney, Paul D. Amer, M. Ümit UyarInformatieverwerking en wiskunde / G. ZoutendijkInformatica : een theoretische inleiding / L.P.J. Groenewegen, A. OllongrenProbability and information / A.M. Yaglom and I.M. Yaglom ; [transl. from the Russian by V.K. Jain]Representation and exchange of knowledge as a basis of information processes : proceedings of the Fifth International Research Forum in Information Science (IRFIS 5), Heidelberg, F.R.G., September 5-7, 1983 / edited by Hans J. DietschmannAuditing the Technical EDP-Organization / M.E. van Biene-HersheyInformation processing 74 : proceedings of IFIP Congress 74, organized by the International Federation for Information Processing, Stockholm, August 1974 / ed.: Jack L. Rosenfeld ; programme committee H. Freeman ... [et al.]