Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SPECIFICATION")

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 164347

  • Page / 6574

Export

Selection :

  • and

ON THE POWER OF CONDITIONAL SPECIFICATIONSOREJAS F.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 7; PP. 78-81; BIBL. 3 REF.Article

SEASONAL OCTANE SPECIFICATIONSKELLER BD; STEURY JH; WAGNER TO et al.1978; S.A.E. TRANS.; USA; DA. 1978 PUBL. 1979; VOL. 87; SECT. 3; PP. 2593-2601; BIBL. 5 REF.Article

THE VIENNA DEVELOPMENT METHOD (VDM): SOFTWARE SPECIFICATION & PROGRAM SYNTHESISBJORNER D.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 326-359; BIBL. 3 P.Conference Paper

A FORMAL SPECIFICATION TECHNIQUE FOR ABSTRACT DATA TYPES WITH PARALLELISMYONEZAWA A.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 127-150; BIBL. 2 P.Conference Paper

LES LUBRIFIANTS INDUSTRIELS: ETAT DES TRAVAUX DE NORMALISATION ISO = INDUSTRIAL LUBRICANTS: STATE OF ISO NORMALIZATION WORKSJEANDOT F.1982; PET. TECH.; ISSN 0152-5425; FRA; DA. 1982; NO 294; PP. 78-84Article

COMMON SENSE IN OPTICAL SPECIFICATIONS.BALASUBRAMANIAN N; HERCHER M.1975; IN: EFF. SYST. INTEGRATION OPT. DES. SEMIN. PROC.; SAN DIEGO, CALIF.; 1974; PALOS VERDES ESTATES, CALIF.; SOC. PHOTO-OPT. INSTRUM. ENG.; DA. 1975; PP. 57-63Conference Paper

UPDATING PROPOSAL ON SPECIFICATIONS FOR AIR PHOTOGRAPHYCORTEN FLJH; LORENZ RW.1982; ADVANCES IN THE QUALITY OF IMAGE DATA. INTERNATIONAL SOCIETY FOR PHOTOGRAMMETRY AND REMOTE SENSING. COMMISSION 1 PRIMARY DATA ACQUISITION. INTERNATIONAL SYMPOSIUM/1982-04-14/CANBERRA; AUS; PERTH: KEVRON AERIAL SURVEYS; DA. 1982; PP. 194-195Conference Paper

AN ABSTRACT SOFTWARE SPECIFICATION TECHNIQUE BASED ON STRUCTURAL RECURSIONKLAEREN HA.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 3; PP. 28-34; BIBL. 13 REF.Article

STRUCTURED SPECIFICATION OF COMMUNICATING SYSTEMSBOCHMANN GV; RAYNAL M.1983; IEEE TRANSACTIONS ON COMPUTERS; ISSN 0018-9340; USA; DA. 1983; VOL. 32; NO 2; PP. 120-133; BIBL. 34 REF.Article

ZUR ERSTELLUNG DER SPEZIFIKATION VON PROZESSRECHNER-SOFTWARE = SUR LE DEVELOPPEMENT DES SPECIFICATIONS POUR LE LOGICIEL DE COMMANDE DE PROCESSUSLUDEWIG J.1981; KERNFORSCHUNGSZENT. KARLSR.; ISSN 0303-4003; DEU; DA. 1981; NO 3060; 147 P.; ABS. ENG; BIBL. 8 P.Serial Issue

THE SRDL SPECIFICATION EXPERIMENTKLAEREN HA.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 282-293; BIBL. 4 REF.Conference Paper

ON THE POWER OF ALGEBRAIC SPECIFICATIONSBERGSTRA JA; BROY M; TUCKER JV et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 193-204; BIBL. 1 P.Conference Paper

UN OUTIL DE SPECIFICATION D'APPLICATIONS TRANSACTIONNELLES ET UNE APPLICATION PILOTECHEVAL JL; DELAUNAY M; LAFORGUE P et al.1981; ; FRA; DA. 1981; IMAG-RR/242; 72 P.; 30 CM; ABS. ENG; BIBL. 2 P.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-242]Report

SYMBOLS FOR WELDING AND NON DESTRUCTIVE TESTING. = SYMBOLES POUR LE SOUDAGE ET LES ESSAIS NON DESTRUCTIFS1976; MIAMI; AM. WELDG SOC. INC. (AWS); DA. 1976; PP. (70P.); ISBN 0871711303; AWS-A2.4-76Miscellaneous

ON SYNCHRONIZATION AND ITS SPECIFICATIONRAMAMRITHAM K; KELLER RM.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 111; PP. 271-282; BIBL. 13 REF.Conference Paper

DYNAMIC SYSTEM SPECIFICATIONBALZER RM.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 95-97Conference Paper

SPECIFICATIONS: FORMAL AND INFORMAL - A CASE STUDYGEHANI N.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 5; PP. 433-444; BIBL. 15 REF.Article

OMOLOGAZIONE DI BRUCIATORI DI COMBUSTIBILE GASSOSO. LEGGE 30 APRILE 1976 N. 373. SPECIFICHE ANCC = GAS BURNERS APPROVAL. LAW NO 373. APRIL 30TH 1976. ANCC SPECIFICATIONS = HOMOLOGATION DES BRULEURS A COMBUSTIBLE GAZEUX LOI DU 30 AVRIL 1976 NO 373. SPECIFICATIONS ANCC1979; INSTALLATORE ITAL.; ITA; DA. 1979; VOL. 30; NO 8; PP. 1027-1040Article

FROM STATE MACHINES TO TEMPORAL LOGIC: SPECIFICATION METHODS FOR PROTOCOL STANDARDSSCHWARTZ R; MELLIAR SMITH P.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 12; PP. 2486-2496; BIBL. 17 REF.Article

DIE AD-MERKBLAETTER DER REIHE HP UND DIE STANDORTFERTIGUNG VON DRUCKBEHAELTERN = THE HP-SERIES OF AD SPECIFICATIONS AND ON-SITE FABRICATION OF PRESSURE VESSELS = LES SPECIFICATIONS AD DE LA SERIE HP (FABRICATION ET CONTROLE) CONCERNANT LA FABRICATION SUR EMPLACEMENT DES RECIPIENTS SOUS PRESSIONSCHNEIDER J.1980; SCHWEISSEN+SCHNEIDEN; ISSN 0036-7184; DEU; DA. 1980; VOL. 32; NO 4; PP. 129-133; ABS. ENG/FRE; BIBL. 11 REF.; LOC. ISArticle

SPECIFICATION FOR BRAZING FILLER METAL. = SPECIFICATION POUR LES PRODUITS D'APPORT DE BRASAGE FORT1976; MIAMI; AM. WELDG SOC. INC. (AWS); DA. 1976; PP. (30P.); ISBN 0871711273; AWS A5.8-76Miscellaneous

DETERMINATION OF PROFESSIONAL SPECIFICATIONS FOR PRODUCTS ISSUED FROM LIGHT HYDROCARBONSZENINSKIJ AM; NAPALGOVA SA; SEROSHTAN TI et al.1982; HIM. TEHNOL. TOPL. MASEL; ISSN 0023-1169; SUN; DA. 1982; NO 11; PP. 34-36; BIBL. 6 REF.Article

"LABEL HAUTE ISOLATION" DECERNE PAR L'ASSOCIATION TECHNIQUE DE L'INDUSTRIE DU GAZ EN FRANCE = "HIGH INSULATION LABEL" GIVEN BY THE TECHNICAL ASSOCIATION OF GAS INDUSTRY IN FRANCE1982; TRAV. COMMUNAUX; ISSN 0496-1293; FRA; DA. 1982; VOL. 23; NO 250; PP. 86-93Article

PUMP RELIABILITY: WHERE DO YOU START. = LA FIABILITE DES POMPES: OU COMMENCE T-ON.INGRAM JH.1981; RISERS, ARCTIC DESIGN CRITERIA, EQUIPMENT RELIABILITY IN HYDROCARBON PROCESSING. PETROLEUM MECHANICAL ENGINEERING WORKSHOP & CONFERENCE. 37/1981/DALLAS TX; USA; NEW YORK: ASME; DA. 1981; PP. 219-233; BIBL. 10 REF.Conference Paper

THE GERMAN PRESSURE VESSEL CODE. PHILOSOPHY AND SAFETY ASPECTS = LE CODE ALLEMAND POUR LES RECIPIENTS A PRESSION. L'ESPRIT DU CODE; LA SECURITEGERLACH HD.1980; INTERNATION. J. PRESS. VESSELS PIPG; ISSN 0308-0161; GBR; DA. 1980; VOL. 8; NO 4; PP. 283-302; BIBL. 19 REF.; LOC. ISArticle

  • Page / 6574