Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("TYPE DONNEE")

Filter

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

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

Author Country

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

Origin

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

Results 1 to 25 of 1858

  • Page / 75
Export

Selection :

  • and

COMPUTABLE DATA TYPESCOMYN G; WERNER G.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 228-236; BIBL. 8 REF.Conference Paper

COMBINING TESTING WITH FORMAL SPECIFICATIONS: A CASE STUDYMCMULLIN PR; GANNON JD.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 328-335; BIBL. 8 REF.Article

INITIAL AND FINAL ALGEBRA SEMANTICS FOR DATA TYPE SPECIFICATIONS: TWO CHARACTERIZATION THEOREMSBERGSTRA JA; TUCKER JV.1983; SIAM JOURNAL ON COMPUTING; ISSN 0097-5397; USA; DA. 1983; VOL. 12; NO 2; PP. 366-387; BIBL. 26 REF.Article

PARAMETRIZED DATA TYPES DO NOT NEED HIGHLY CONSTRAINED PARAMETERSARBIB MA; MANES EG.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 2; PP. 139-158; BIBL. 15 REF.Article

SUBTYPES VERSUS CELL CONSTANCY WITH SUBRANGE CONSTRAINTSHARLAND DM.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 12; PP. 65-69; BIBL. 5 REF.Article

COMPLEXITY THEORY AND THE OPERATIONAL STRUCTURE OF ALGEBRAIC PROGRAMMING SYSTEMSASVELD PRJ; TUCKER JV.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 4; PP. 451-476; BIBL. 32 REF.Article

ADA MODEL ARITHMETIC: COSTS AND BENEFITSWALLIS PJL; PHIL D.1982; IEE PROC., E; ISSN 0143-7062; GBR; DA. 1982; VOL. 129; NO 2; PP. 75-79; BIBL. 13 REF.Article

ALGEBRAIC SPECIFICATIONS FOR PARAMETRIZED DATA TYPES WITH MINIMAL PARAMETER AND TARGET ALGEBRASBERGSTRA JA; KLOP JW.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 23-34; BIBL. 16 REF.Conference Paper

CONSTRUCTIVE ABSTRACT DATA TYPES (CAD)WEDEKIND HH.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 203-206; BIBL. 6 REF.Conference Paper

DATA STRUCTURES AND DESCRIPTORS IN THE ICL 2900 SERIES AND BEYONDIZATT WT; SCHMITZ EA.1981; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1981; VOL. 24; NO 4; PP. 301-307; BIBL. 6 REF.Article

MEETING ON MELPOMENES: A STORY USED TO INTRODUCE THE THEORY OF DATA TYPESLEVY M.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 5; PP. 32-35; BIBL. 2 REF.Article

ON THE REPRESENTATION OF DATA TYPESOREJAS F.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 419-431; BIBL. 10 REF.Conference Paper

SPECIAL REPORT: ADA, THE ULTIMATE LANGUAGE.JOHNSON RC.1981; ELECTRONICS; ISSN 0013-5070; USA; DA. 1981; VOL. 53; NO 3; PP. 127-132Article

STEELMAN AND THE VERIFIABILITY OF (PRELIMINARY) ADAYOUNG WD; GOOD DI.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 2; PP. 113-119; BIBL. 15 REF.Article

THE REFINEMENT OF SPECIFICATIONS AND THE STABILITY OF HOARE'S LOGICBERGSTRA JA; TUCKER JV.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 24-36; BIBL. 15 REF.Conference Paper

THE USE OF DATA TYPE INFORMATION IN AN INTERACTIVE DATABASE ENVIRONMENTBUNEMAN P; WINSTON I.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 104-106; BIBL. 9 REF.Conference Paper

A LOGICAL VIEW OF TYPESHAYES PJ; HENDRIX GG.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 128-131Conference Paper

ABSTRACTION, DATA TYPES, AND MODELS FOR SOFTWARESHAW M.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 189-191Conference Paper

ALGEBRAIC SPECIFICATION OF THE SOFTWARE CONTROLLING A PARCELS DISTRIBUTION MACHINESCHNEIDER HJ.1981; COMPUTING; ISSN 0010-485X; AUT; DA. 1981; SUPPL. 3; PP. 173-180; ABS. GER; BIBL. 14 REF.Article

ARE DATA TYPES UNIVERSAL MODELLING CONCEPTS FOR DATA BASE SYSTEMS.WEBER H.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 201-202; BIBL. 8 REF.Conference Paper

ASSOCIATING TYPES WITH DOMAINS OF RELATIONAL DATA BASESLACROIX M; PIROTTE A.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 144-146; BIBL. 6 REF.Conference Paper

PROGRAMMING BY SUCCESSIVE REFINEMENT OF DATA ABSTRACTIONSMORRIS JB.1980; SOFTWARE-PRACT. EXPER.; GBR; DA. 1980; VOL. 10; NO 4; PP. 249-263; BIBL. 19 REF.Article

TESTING TRAVERSABLE STACKSGANNON J; MCMULLIN P; HAMLET R et al.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 1; PP. 58-65; BIBL. 6 REF.Article

PASCAL = PASCALDORFNER FJ.1980; ELEKTRONIK; DEU; DA. 1980; VOL. 29; NO 3; PP. 43-46; BIBL. 6 REF.Article

DESIGN AND IMPLEMENTATION OF ABSTRACT GRAPHICAL DATA TYPESTHALMANN D; MAGNENAT THALMANN N.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 519-524; BIBL. 3 REF.Conference Paper

  • Page / 75