archive-dk.com » DK » S » STATSBIBLIOTEKET.DK

Total: 990

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Browse Title Index
    1 februar 1975 på Datalogisk afdeling Matematisk institut Århus universitet Bind 1 baggrund indhold kommentarer Bind 2 grupperapporter Abstract PDF Kristen Nygaard No 339 1990 PB 339 A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning Abstract PDF Martin F Møller No 132 1981 PB 132 A Semantic Algebra for Binding Constructs A Semantic Algebra for Binding Constructs Abstract PDF Peter D Mosses No 41 1974 PB 41 A Short Description of a Translator Writing System BOBS System A Short Description of a Translator Writing System BOBS System Abstract PDF Bent Bruun Kristensen Ole Lehrmann Madsen Bent Bæk Jensen Søren Henrik Eriksen No 11 1973 PB 11 A Short Description of a Translator Writing System BOBS System A Short Description of a Translator Writing System BOBS System Abstract PDF Bent Bæk Jensen Ole Lehrmann Madsen Bent Bruun Kristensen Søren Henrik Eriksen No 314 1990 PB 314 A simple algorithm for computing the smallest enclosing circle A simple algorithm for computing the smallest enclosing circle Abstract PDF Sven Skyum No 261 1988 PB 261 A Simple Mathematical Approach to Human Society A Simple Mathematical Approach to Human Society Abstract PDF Miklos Szilagyi No 14 1973 PB 14 A Small Group of Research Projects in Machine Design for Scientific Computation A Small Group of Research Projects in Machine Design for Scientific Computation Abstract PDF Bruce D Shriver No 373 1991 PB 373 A Sweepline Algorithm for Generalized Delaunay Triangulations A Sweepline Algorithm for Generalized Delaunay Triangulations Abstract PDF Sven Skyum No 175 1984 PB 175 A Taxonomy for Programming Languages with Multi Sequential Processes A Taxonomy for Programming Languages wit h Multi Sequential Processes Abstract PDF Kristine Stougård Thomsen Jørgen Lindskov Knudsen No 57 1976 PB 57 A Technique for Implementing Interactive Conversations A Technique for Implementing Interactive Conversations Abstract PDF Michael J Manthey No 158 1983 PB 158 A Theory for Bipolar Synchronisation Schemes A Theory for Bipolar Synchronisation Schemes Abstract PDF H J Genrich P S Thiagarajan No 190 1985 PB 190 A Tool Perspective on Design of Interactive Computer Support for Skilled Workers A Tool Perspective on Design of Interactive Computer Support for Skilled Workers Abstract PDF Pelle Ehn Morten Kyng No 90 1978 PB 90 Attribute Grammars and Mathematical Semantics Attribute Grammars and Mathematical Semantics Abstract PDF Brian H Mayoh No 119 1980 PB 119 Attribute Influenced LR Parsing Attribute Influenced LR Parsing Abstract PDF Neil D Jones Michael Madsen No 341 1990 PB 341 A Unified Type System for Object Oriented Programming A Unified Type System for Object Oriented Programming Abstract PDF Jens Palsberg Michael I Schwartzbach No 297 1989 PB 297 A Universal Relational Operator A Universal Relational Operator Abstract PDF Kim Skak Larsen Erik Meineche Schmidt Michael I Schwartzbach No 500 1995 PB 500 Automated Design of Neural Network Architecture for Classification Automated Design of Neural Network Architecture for Classification Abstract PDF Jan Depenau No 551 2000 PB 551 Automatic Program Specialization for Java Automatic Program Specialization for Java Abstract PDF Ulrik Pagh Schultz Charles Consel No 27 1974 PB 27 A Variable Projection Method for Solving Separable Nonlinear Least Squares Problems A Variable Projection Method for Solving Separable Nonlinear Least Squares Problems Abstract PDF Linda Kaufman No 577 2005 PB 577 A Virtual Class Calculus A Virtual Class Calculus Abstract PDF Erik Ernst Klaus Ostermann William Cook No 178 1984 PB 178 A Virtual Protocol Model for Computer Human Interaction A Virtual Protocol Model for Computer Human Interaction Abstract PDF Jakob Nielsen No 428 1992 PB 428 AVL Trees With Relaxed Balance AVL Trees With Relaxed Balance Abstract PDF Kim Skak Larsen No 281 1989 PB 281 Behavioural Notions for Elementary Net Systems Behavioural Notions for Elementary Net Systems Abstract PDF Mogens Nielsen Grzegorz Rozenberg P S Thiagarajan No 528 1997 PB 528 Behaviour Analysis and Safety Conditions a Case Study in CML Behaviour Analysis and Safety Conditions a Case Study in CML Abstract PDF Hanne Riis Nielson Torben Amtoft Flemming Nielson No 527 1997 PB 527 Behaviour Analysis for Validating Communication Patterns Behaviour Analysis for Validating Communication Patterns Abstract PDF Torben Amtoft Hanne Riis Nielson Flemming Nielson No 65 1977 PB 65 BETA Language Development Survey Report 1 November 1976 BETA Language Development Survey Report 1 November 1976 Abstract PDF Bent Bruun Kristensen Ole Lehrmann Madsen Kristen Nygaard No 98 1979 PB 98 BETA language Proposal as of April 1979 BETA language Proposal as of April 1979 Abstract PDF Bent Bruun Kristensen Ole Lehrmann Madsen Birger Møller Pedersen Kristen Nygaard No 288 1989 PB 288 Beyond the Interface Encountering Artifacts in Use Beyond the Interface Encountering Artifacts in Use Abstract PDF Liam J Bannon Susanne Bødker No 393 1992 PB 393 Binding Time Analysis Abstract Interpretation vs Type Inference Binding Time Analysis Abstract Interpretation vs Type Inference Abstract PDF Jens Palsberg Michael I Schwartzbach No 467 1994 PB 467 Bisimulations Games and Logic Bisimulations Games and Logic Abstract PDF Mogens Nielsen Christian Clausen No 80 1977 PB 80 Blindfold Games are Harder than Games with Perfect Information Blindfold Games are Harder than Games with Perfect Information Abstract PDF Neil D Jones No 485 1994 PB 485 Block Ciphers Analysis Design and Applications Block Ciphers Analysis Design and Applications Abstract PDF Lars Ramkilde Knudsen No 230 1987 PB 230 Block Structure and Object Oriented Languages Block Structure and Object Oriented Languages Abstract PDF Ole Lehrmann Madsen No 10 1973 PB 10 BOBS system Brugervejledning BOBS system Brugervejledning Abstract PDF Bent Bæk Jensen Ole Lehrmann Madsen Bent Bruun Kristensen Søren Henrik Eriksen No 22 1974 PB 22 BOBS SYSTEM Tilføjelser og ændringer til brugervejledning BOBS SYSTEM Tilføjelser og ændringer til brugervejledning Abstract PDF Bent Bæk Jensen Ole Lehrmann Madsen Bent Bruun Kristensen Søren Henrik Eriksen No 359 1991 PB 359 Bounded Fixed Point Iteration Bounded Fixed Point Iteration Abstract PDF Hanne Riis Nielson Flemming Nielson No 408 1992 PB 408 Bounds on Certain Multiplications of Affine Combinations Bounds on Certain Multiplications of Affine Combinations Abstract PDF Joan Boyar Faith Fich Kim Skak Larsen No 243 1988 PB 243 Breakthrough by Breakdown Metaphors and Structured Domains Breakthrough by Breakdown Metaphors and Structured Domains Abstract PDF Kim Halskov Madsen No 163 1983 PB 163 Categorial Heterogeneous Algebraic Models of Programming Languages Categorial Heterogeneous Algebraic Models of Programming Languages Abstract PDF Nisse Husberg No 395 1992 PB 395 CCS Locations and Asynchronous Transition Systems CCS Locations and Asynchronous Transition Systems Abstract PDF Madhavan Mukund Mogens Nielsen No 465 1994 PB 465 Challenging Practice an approach to Cooperative Analysis Challenging Practice an approach to Cooperative Analysis Abstract PDF Preben Holst Mogensen No 378 1991 PB 378 Circuit Depth Relative to a Random Oracle Circuit Depth Relative to a Random Oracle Abstract PDF Peter Bro Miltersen No 107 1980 PB 107 Circularity Testing of Attribute Grammars Requires Exponential Time A Simpler Proof Circularity Testing of Attribute Grammars Requires Exponential Time A Simpler Proof Abstract PDF Neil D Jones No 231 1987 PB 231 Classification of Actions or Inheritance also for Methods Classification of Actions or Inheritance also for Methods Abstract PDF Bent Bruun Kristensen Ole Lehrmann Madsen Birger Møller Pedersen Kristen Nygaard No 533 1998 PB 533 Collaboration Coordination and Computer Support An Activity Theoretical Approach to the Design of Computer Collaboration Coordination and Computer Support An Activity Theoretical Approach to the Design of Computer Supported Cooperative Work Ph D Thesis Abstract PDF Jakob Bardram No 338 1990 PB 338 Coloured Petri Nets A High Level Language for System Design and Analysis Coloured Petri Nets A High Level Language for System Design and Analysis Abstract PDF Kurt Jensen No 104 1979 PB 104 Coloured Petri Nets and the Invariant Method Coloured Petri Nets and the Invariant Method Abstract PDF Kurt Jensen No 522 1997 PB 522 Coloured Petri Nets a Pragmatic Formal Method for Designing and Analysing Distributed Systems Coloured Petri Nets a Pragmatic Formal Method for Designing and Analysing Distributed Systems Abstract PDF Kjeld Høyer Mortensen No 390 1992 PB 390 Coloured Petri Nets Extended with Channels for Synchronous Communication Coloured Petri Nets Extended with Channels for Synchronous Communication Abstract PDF Søren Christensen Niels Damgaard Hansen No 398 1992 PB 398 Coloured Petri Nets Extended with Place Capacities Test Arcs and Inhibitor Arcs Coloured Petri Nets Extended with Place Capacities Test Arcs and Inhibitor Arcs Abstract PDF Søren Christensen Niels Damgaard Hansen No 550 2000 PB 550 Combining Predictors Combining Predictors Abstract PDF Jakob Vogdrup Hansen No 170 1983 PB 170 COMMON CLASS a tool for programming the access to shared data COMMON CLASS a tool for programming the access to shared data Abstract PDF Peter Møller Nielsen Jørgen Staunstrup No 77 1977 PB 77 Communicating Concepts in an Interdisciplinary Project Four Models of a Lake Described in the DELTA Language Communicating Concepts in an Interdisciplinary Project Four Models of a Lake Described in the DELTA Language Abstract PDF Birger Møller Pedersen No 452 1993 PB 452 Communicative Action Notation with Shared Storage Communicative Action Notation with Shared Storage Abstract PDF Martin Musicante Peter D Mosses No 286 1989 PB 286 Community Technology Issues in Computer Supported Work Community Technology Issues in Computer Supported Work Abstract PDF Liam J Bannon No 173 1984 PB 173 Comparative Semantics of Programming Languages Comparative Semantics of Programming Languages Abstract PDF Brian H Mayoh No 122 1980 PB 122 Comparison of two pivotal strategies in sparse plane rotations Comparison of two pivotal strategies in sparse plane rotations Abstract PDF Zahari Zlatev No 113 1980 PB 113 Compiler Generation from Denotational Semantics Compiler Generation from Denotational Semantics Abstract PDF Neil D Jones No 435 1993 PB 435 Completeness Results for Linear Logic on Petri Nets Completeness Results for Linear Logic on Petri Nets Abstract PDF Uffe Engberg Glynn Winskel No 85 1978 PB 85 Complexity of Some Problems Concerning Lindenmayer Systems Revised version Complexity of Some Problems Concerning Lindenmayer Systems Revised version Abstract PDF Neil D Jones Sven Skyum No 67 1977 PB 67 Complexity of some Problems Concerning L Systems Preliminary report Complexity of some Problems Concerning L Systems Preliminary report Abstract PDF Neil D Jones No 455 1993 PB 455 Complexity Results for 1 safe Nets Complexity Results for 1 safe Nets Abstract PDF Allan Cheng Javier Esparza Jens Palsberg No 328 1990 PB 328 Compositional Characterization of Observable Program Properties Compositional Characterization of Observable Program Properties Abstract PDF Bernhard Steffen C Barry Jay Michael Mendler No 138 1981 PB 138 Computation sequences A way to characterize subclasses of attribute grammars Computation sequences A way to characterize subclasses of attribute grammars Abstract PDF Hanne Riis Nielson No 512 1997 PB 512 Computer Aided Verification of Lamport s Fast Mutual Exclusion Algorithm Using Coloured Petri Nets and Computer Aided Verification of Lamport s Fast Mutual Exclusion Algorithm Using Coloured Petri Nets and Occurrence Graphs with Symmetries Abstract PDF Jens Bæk Jørgensen Lars Michael Kristensen No 542 1999 PB 542 Computer Applications as Mediators of Design and Use Computer Applications as Mediators of Design and Use Abstract PDF Susanne Bødker No 262 1988 PB 262 Computer Support for Cooperative Design Computer Support for Cooperative Design Abstract PDF Susanne Bødker Pelle Ehn Jørgen Lindskov Knudsen Morten Kyng Kim Halskov Madsen No 468 1994 PB 468 Computing Near Optimal Solutions to the Steiner Problem in a Graph Using a Genetic Algorithm Computing Near Optimal Solutions to the Steiner Problem in a Graph Using a Genetic Algorithm Abstract PDF Henrik Esbensen No 147 1982 PB 147 Concurrent Algorithms for Root Searching Concurrent Algorithms for Root Searching Abstract PDF Ole Eriksen Jørgen Staunstrup No 78 1977 PB 78 Concurrent Program Schemes and their Interpretations Concurrent Program Schemes and their Interpretations Abstract PDF Antoni Mazurkiewicz No 2 1972 PB 2 Confusion in the Garden of Eden Confusion in the Garden of Eden Abstract PDF Sven Skyum No 86 1978 PB 86 Connection between Dijkstra s Predicate Transformers and Denotational Continuation Semantics Connection between Dijkstra s Predicate Transformers and Denotational Continuation Semantics Abstract PDF Kurt Jensen No 431 1993 PB 431 Consistency and Semantics of Equational Definitions over Predefined Algebras Consistency and Semantics of Equational Definitions over Predefined Algebras Abstract PDF Valentin M Antimirov Anatoli Degtyarev No 496 1995 PB 496 Constraints for Polymorphic Behaviours of Concurrent ML Constraints for Polymorphic Behaviours of Concurrent ML Abstract PDF Flemming Nielson Hanne Riis Nielson No 76 1977 PB 76 CONSTRUCT et værktøj til systemudvikling Rapport nr 1 CONSTRUCT et værktøj til systemudvikling Rapport nr 1 Abstract PDF Ole Jacobsen Claus Quistgaard No 516 1997 PB 516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method Abstract PDF Jens Bæk Jørgensen No 81 1978 PB 81 Construction of System Descriptions in SIMULA and DELTA Construction of System Descriptions in SIMULA and DELTA Abstract PDF Niels Erik Andersen Morten Kyng No 43 1975 PB 43 Context Free Grammars with Graph Controlled Tables Context Free Grammars with Graph Controlled Tables Abstract PDF Grzegorz Rozenberg Arto Salomaa No 137 1981 PB 137 Control Flow Treatment in a Simple Semantics Directed Compiler Generator Control Flow Treatment in a Simple Semantics Directed Compiler Generator Abstract PDF Neil D Jones Henning Christiansen No 330 1990 PB 330 Convertible Undeniable Signatures Convertible Undeniable Signatures Abstract PDF Joan Boyar David Chaum Ivan Bjerre Damgård Torben Pryds Pedersen No 292 1989 PB 292 Cooperative Prototyping Experiments Users and Designers Envision a Dental Case Record System Cooperative Prototyping Experiments Users and Designers Envision a Dental Case Record System Abstract PDF Susanne Bødker Kaj Grønbæk No 332 1990 PB 332 Cooperative Prototyping Users and Designers in Mutual Activity Cooperative Prototyping Users and Designers in Mutual Activity Abstract PDF Susanne Bødker Kaj Grønbæk No 48 1975 PB 48 Copying theorems Copying theorems Abstract PDF Joost Engelfriet No 235 1987 PB 235 Coroutine Sequencing in BETA Coroutine Sequencing in BETA Abstract PDF Bent Bruun Kristensen Birger Møller Pedersen Ole Lehrmann Madsen Kristen Nygaard No 368 1991 PB 368 Correctness Preserving Transformations on a Multipass Occam Compiler Correctness Preserving Transformations on a Multipass Occam Compiler Abstract PDF Karin Glindtvad Hanne Riis Nielson No 479 1994 PB 479 Creating Conditions for Participation Conflicts and Resources in Systems Design Creating Conditions for Participation Conflicts and Resources in Systems Design Abstract PDF Susanne Bødker No 403 1992 PB 403 Cryptanalysis of LOKI Cryptanalysis of LOKI Abstract PDF Lars Ramkilde Knudsen No 440 1993 PB 440 Cryptanalysis of LOKI91 Cryptanalysis of LOKI91 Abstract PDF Lars Ramkilde Knudsen No 411 1992 PB 411 CSCW Challenges in Large Scale Technical Projects A Case Study CSCW Challenges in Large Scale Technical Projects A Case Study Abstract PDF Kaj Grønbæk Morten Kyng Preben Holst Mogensen No 289 1989 PB 289 CSCW Four Characters in Search of a Context CSCW Four Characters in Search of a Context Abstract PDF Liam J Bannon Kjeld Schmidt No 325 1990 PB 325 Data flow analysis as model checking Data flow analysis as model checking Abstract PDF Bernhard Steffen No 89 1978 PB 89 Data Types as Functions Data Types as Functions Abstract PDF Brian H Mayoh No 569 2004 PB 569 Declarative Specialization for Object Oriented Program Specialization Declarative Specialization for Object Oriented Program Specialization Abstract PDF Helle Markmann Andersen Ulrik Pagh Schultz No 38 1974 PB 38 Decomposition Theorems for Various Kinds of Languages Parallel in Nature Decomposition Theorems for Various Kinds of Languages Parallel in Nature Abstract PDF Sven Skyum No 180 1984 PB 180 Degrees of Non determinism and Concurrency A Petri Net View Degrees of Non determinism and Concurrency A Petri Net View Abstract PDF Mogens Nielsen P S Thiagarajan No 95 1979 PB 95 Delta Semantics Defined by Petri Nets Delta Semantics Defined by Petri Nets Abstract PDF Kurt Jensen Morten Kyng Ole Lehrmann Madsen No 42 1974 PB 42 Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment Abstract PDF Morten Kyng Birger Møller Pedersen No 367 1991 PB 367 Design Analysis and Reasoning about Tools Abstracts from the First Workshop Design Analysis and Reasoning about Tools Abstracts from the First Workshop Aarhus Danmark 1991 September 16 17 Abstract PDF Flemming Nielson No 417 1992 PB 417 Design analysis and Reasoning about Tools Abstracts from the Second Workshop Aalborg 1992 20 21 August Design analysis and Reasoning about Tools Abstracts from the Second Workshop Aalborg 1992 20 21 August Abstract PDF Flemming Nielson No 457 1993 PB 457 Design Analysis and Reasoning about Tools Abstracts from the Third Workshop Design Analysis and Reasoning about Tools Abstracts from the Third Workshop Abstract PDF Flemming Nielson No 244 1988 PB 244 Design and Professional Languages Design and Professional Languages Abstract PDF Peter Bøgh Andersen Kim Halskov Madsen No 511 1997 PB 511 Design CPN A Computer Tool for Coloured Petri Nets Design CPN A Computer Tool for Coloured Petri Nets Abstract PDF Søren Christensen Jens Bæk Jørgensen Lars Michael Kristensen No 459 1993 PB 459 Designing Dexter based Cooperative Hypermedia Systems Designing Dexter based Cooperative Hypermedia Systems Abstract PDF Kaj Grønbæk Jens A Hem Ole Lehrmann Madsen Lennert Sloth No 545 2000 PB 545 Designing Emotions for Activity Selection Designing Emotions for Activity Selection Abstract PDF Dolores Canamero No 267 1988 PB 267 Designing for a Dollar a Day Designing for a Dollar a Day Abstract PDF Morten Kyng No 568 2003 PB 568 Designing for Learning in Use of Everyday Artefacts Designing for Learning in Use of Everyday Artefacts Abstract PDF Marianne Graves Petersen No 536 1998 PB 536 Designing for the Dynamics of Cooperative Work Activities Designing for the Dynamics of Cooperative Work Activities Abstract PDF Jakob Bardram No 565 2002 PB 565 Designing to support Mobile Work with Mobile Devices Designing to support Mobile Work with Mobile Devices Abstract PDF Christina Nielsen No 458 1993 PB 458 Design Issues for a Dexter based Hypermedia System Design Issues for a Dexter based Hypermedia System Abstract PDF

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/search/titles (2016-02-10)
    Open archived version from archive


  • DAIMI Report Series
    Scope All Authors Title Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Current Issue Home About Login Register Search Current Archives Announcements Computer Science AU Home DAIMI Report Series DAIMI Report Series The Daimi Report Series DAIMI PB consists ofproceedings from workshops and conferences as well as ph d theses and individual research papers reflecting the research at the Department of Computer

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/index (2016-02-10)
    Open archived version from archive

  • About the Journal
    English Journal Content Search Search Scope All Authors Title Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Current Issue Home About Login Register Search Current Archives Announcements Computer Science AU Home About the Journal About the Journal People Contact Editorial Team Policies Focus and Scope Section Policies Peer Review Process Open Access Policy Submissions Online Submissions Copyright Notice Privacy Statement Other Journal

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/about (2016-02-10)
    Open archived version from archive

  • Login
    All Authors Title Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Current Issue Home About Login Register Search Current Archives Announcements Computer Science AU Home Login Login Username Password Remember my username

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/login (2016-02-10)
    Open archived version from archive

  • Search
    05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 Until January February March April May June July August September October November December 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 Index terms Discipline s Keyword s Type method approach Coverage All index term fields Issue Title No Results Search tips Search terms are case insensitive Common words are ignored By default only articles containing all terms in the query are returned i e

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/search (2016-02-10)
    Open archived version from archive

  • Announcements
    Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Current Issue Home About Login Register Search Current Archives Announcements Computer Science AU Home Announcements Announcements DAIMI PB online Welcome to our new electronic

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/announcement (2016-02-10)
    Open archived version from archive

  • Login
    Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Current Issue Home About Login Register Search Current Archives Announcements Computer Science AU Home Login Login Invalid username or password Please try again Username

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/login/signIn (2016-02-10)
    Open archived version from archive

  • No 183 (1984)
    Search Search Scope All Authors Title Abstract Index terms Full Text Browse By Issue By Author By Title Other Journals Font Size Current Issue Home About Login Register Search Current Archives Announcements Computer Science AU Home Archives No 183 1984

    Original URL path: http://ojs.statsbiblioteket.dk/index.php/daimipb/issue/view/3272 (2016-02-10)
    Open archived version from archive



  •