Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("Budkowski, S")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 12 of 12

  • Page / 1

Export

Selection :

  • and

CODES BINAIRES DUAUX EN COMPLEMENT A DEUXBUDKOWSKI S.1975; ROZPR. ELEKTROTECH.; POLSKA; DA. 1975; VOL. 21; NO 2; PP. 295-304; ABS. ANGL. FR. ALLEM. RUSSE; BIBL. 6 REF.Article

CODE BINAIRE SEMI-SYSTEMATIQUE A DEUX COMPOSANTESBUDKOWSKI S.1974; ARCH. AUTOMAT. TELEMECH.; POLSKA; DA. 1974; VOL. 19; NO 4; PP. 459-466; ABS. RUSSE ANGL.; BIBL. 8 REF.Article

CODES BINAIRES DUAL SEMI SYSTEMATIQUEBUDKOWSKI S.1975; ARCH. AUTOMAT. TELEMECH.; POLSKA; DA. 1975; VOL. 20; NO 1; PP. 59-67; ABS. RUSSE ANGL.; BIBL. 13 REF.Article

A DOUBLE TRACK ERROR-CORRECTION CODE FOR MAGNETIC TAPE.PRUSINKIEWICZ P; BUDKOWSKI S.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 6; PP. 642-645; BIBL. 7 REF.Article

ERROR CORRECTION WITH ASKEW REDUNDANCY CHECK.PRUSINKIEWICZ P; BUDKOWSKI S.1975; BULL. ACAD. POLON. SCI., SCI. TECH.; POLOGNE; DA. 1975; VOL. 23; NO 11; PP. 949-953; ABS. RUSSE; BIBL. 5 REF.Article

FIRMWARE VERSUS SOFTWARE VERIFICATIONBUDKOWSKI S; DEMBINSKI P.1978; MICRO 11. ANNUAL MICROPROGRAMMING WORKSHOP. 11/1978-11-19/PACIFIC GROVE CA; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1978; PP. 119-127; BIBL. 15 REF.Conference Paper

Estelle development toolset (EDT)BUDKOWSKI, S.Computer networks and ISDN systems. 1992, Vol 25, Num 1, pp 63-82, issn 0169-7552Article

AN INTRODUCTION TO THE VERIFICATION ORIENTED MICROPROGRAMMING LANGUAGE "MIDDLE"DEMBINSKI P; BUDKOWSKI S.1978; MICRO 11. ANNUAL MICROPROGRAMMING WORKSHOP. 11/1978-11-19/PACIFIC GROVE CA; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1978; PP. 139-143; BIBL. 14 REF.Conference Paper

An introduction to Estelle: A specification language for distributed systemsBUDKOWSKI, S; DEMBINSKI, P.Computer networks and ISDN systems. 1987, Vol 14, Num 1, pp 3-23, issn 0169-7552Article

VERIFICATION ORIENTED MICROPROGRAMMING LANGUAGE.DEMBINSKI P; BUDKOWSKI S; HANSEN I et al.1977; PRACE I.P.I. P.A.N.; POLSKA; DA. 1977; NO 293; PP. 1-31; ABS. RUSSE POL.; BIBL. 10 REF.Serial Issue

Contribution aux méthodes d'implantation matérielle des protocoles de communication = Contribution to the Methods of Protocol Hardware ImplementationWytrfbowicz, Jacek; Budkowski, S.1995, 173 p.Thesis

Contribution à la modélisation qualitative et quantitative des protocoles de communication: application au protocole XTP = Contribution to the methodology of qualitative and quantitative modeling of communication protocols: application to the XTP protocolAlkhechi, Ahmad Bassel; Budkowski, S.1994, 174 p.Thesis

  • Page / 1