Yazar

j staunstrup

18 cilt bulundu.

Cilt sonuçları

Program Specification

J. Staunstrup · Springer

426 sayfa · 2014-03-12

Computers

CiltExperiments with a Fast String Searching AlgorithmPeter Møller-Nielsen, Jørgen Staunstrup

Experiments with a Fast String Searching Algorithm

Peter Møller-Nielsen, Jørgen Staunstrup · Yayınevi bilinmiyor

13 sayfa · 1983

Kategori yok

CiltEarly Experience from a Multi-processor ProjectPeter Møller-Nielsen, Jørgen Staunstrup

Early Experience from a Multi-processor Project

Peter Møller-Nielsen, Jørgen Staunstrup · Yayınevi bilinmiyor

42 sayfa · 1982

Kategori yok

CiltUse of design criteria for intermediate languagesAarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science, O. L. Madsen, B. B. Kristensen, J. Staunstrup

Use of design criteria for intermediate languages

Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science, O. L. Madsen, B. B. Kristensen, J. Staunstrup · Yayınevi bilinmiyor

61 sayfa · 1976

Kategori yok

CiltSelf-timed DesignF. J. Rammig, J. Staunstrup, G. Zimmermann

Self-timed Design

F. J. Rammig, J. Staunstrup, G. Zimmermann · Yayınevi bilinmiyor

13 sayfa · 1992

Kategori yok

CiltPhysical Datarepresentation in Multiprocessor Database MachineAarhus Universitet. Regionale EDB-center, J. Staunstrup, J. O. Jespersen, O. V. Johansen

Physical Datarepresentation in Multiprocessor Database Machine

Aarhus Universitet. Regionale EDB-center, J. Staunstrup, J. O. Jespersen, O. V. Johansen · Yayınevi bilinmiyor

10 sayfa · 1983

Kategori yok

CiltAtomicity, Programs and HardwareMark R. Greenstreet, J. Staunstrup, Department of Computer Science. Technical University of Denmark, DTH, IDTR

Atomicity, Programs and Hardware

Mark R. Greenstreet, J. Staunstrup, Department of Computer Science. Technical University of Denmark, DTH, IDTR · Yayınevi bilinmiyor

21 sayfa · 1988

Kategori yok

CiltAnalysis of concurrent algorithmsAarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science, J. Staunstrup

Analysis of concurrent algorithms

Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science, J. Staunstrup · Yayınevi bilinmiyor

15 sayfa · 1981

Kategori yok

Integrated circuitsLocalized Verification of Circuit DescriptionsJørgen Staunstrup, S.J. Garland, J.V. Guttag, DTH

Localized Verification of Circuit Descriptions

Jørgen Staunstrup, S.J. Garland, J.V. Guttag, DTH · Yayınevi bilinmiyor

16 sayfa · 1989

Integrated circuits

CiltA Comparison of Monitors and Message PassingJørgen Staunstrup

A Comparison of Monitors and Message Passing

Jørgen Staunstrup · Yayınevi bilinmiyor

16 sayfa · 1978

Kategori yok

CiltSpecification and Verification of Concurrent ProgramsJørgen Staunstrup

Specification and Verification of Concurrent Programs

Jørgen Staunstrup · Yayınevi bilinmiyor

17 sayfa · 1979

Kategori yok

Integrated circuitsFormal Methods for VLSI DesignJ. Staunstrup

Formal Methods for VLSI Design

J. Staunstrup · Yayınevi bilinmiyor

12 sayfa · 1989

Integrated circuits

Integrated circuitsFrom High-level Descriptions to VLSI CircuitsAarhus Universitet. Regionale EDB-center, M. R. Greenstreet, J. Staunstrup

From High-level Descriptions to VLSI Circuits

Aarhus Universitet. Regionale EDB-center, M. R. Greenstreet, J. Staunstrup · Yayınevi bilinmiyor

25 sayfa · 1988

Integrated circuits

CiltAlgebraic Axioms, Classes, and Program VerificationJ. Guttag, J. Staunstrup

Algebraic Axioms, Classes, and Program Verification

J. Guttag, J. Staunstrup · Yayınevi bilinmiyor

17 sayfa · 1978

Kategori yok

CiltPlatonJørgen Staunstrup

Platon

Jørgen Staunstrup · Yayınevi bilinmiyor

24 sayfa · 1975

Kategori yok

CiltConcurrent Algorithms for Root SearchingOle Eriksen, Jørgen Staunstrup

Concurrent Algorithms for Root Searching

Ole Eriksen, Jørgen Staunstrup · Yayınevi bilinmiyor

26 sayfa · 1982

Kategori yok

Electronic circuit designDesigning Delay Insensitive Circuits Using "synchronized Transitions"Jørgen Staunstrup, Mark R. Greenstreet, DTH

Designing Delay Insensitive Circuits Using "synchronized Transitions"

Jørgen Staunstrup, Mark R. Greenstreet, DTH · Yayınevi bilinmiyor

21 sayfa · 1989

Electronic circuit design

CiltAnmeldelse af Erik Wahlgren, The Kensington Stone, a mystery solvedHertha Marquardt, Arth. J. Tønnesen

Anmeldelse af Erik Wahlgren, The Kensington Stone, a mystery solved

Hertha Marquardt, Arth. J. Tønnesen · Yayınevi bilinmiyor

11 sayfa · 1960

Kategori yok