Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Ejecución")

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 32606

  • Page / 1305
Export

Selection :

  • and

Using symbolic execution for verification of Ada tasking programsDILLON, L. K.ACM transactions on programming languages and systems. 1990, Vol 12, Num 4, pp 643-669, issn 0164-0925, 27 p.Article

Director strings as combinatorsKENNAWAY, R; SLEEP, R.ACM transactions on programming languages and systems. 1988, Vol 10, Num 4, pp 602-626, issn 0164-0925Article

Qualitätssicherung nach DIN ISO 9000 bei Planung und Banausführung = L'assurance qualité lors de la conception et de l'exécution des travaux selon DIN ISO 9000 = Quality assurance during the design and execution of works asper ISO 9000BUHR, G.A.Bookn Wand Decke. 1996, Vol 42, Num 4, pp 76-110, 6 p.Article

Optical systems for digit-serial computationPERLEE, C. J; CASASENT, D. P.Applied optics. 1989, Vol 28, Num 3, pp 611-626, issn 0003-6935, 16 p.Article

E-learning: Drivers, developments, and decisionsKAY, David.Multimedia information & technology (Print). 2003, Vol 29, Num 1, pp 26-29, issn 1466-190X, 4 p.Article

Implementation and applications of automata (London ON, 24-25 July 2000)Sheng Yu; Păum, Andrei4340.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42491-1, XI, 342 p, isbn 3-540-42491-1Conference Proceedings

Computation of impedance by determining the inphase and quadrature components of current using a microprocessorVASU, E; MOHAMED SALIH P. E.Journal of microcomputer applications. 1987, Vol 10, Num 4, pp 351-358, issn 0745-7138Article

Le chemin de fer Sishen-Saldanha (Afrique du Sud, 1976) = The Sishen-Saldanha railway (South Africa, 1976)Travaux (Paris). 1992, Num 672, pp 64-65, issn 0041-1906Article

Aéroport Charles-ce-Gaulle: rénovation du balisage de la piste 1 = Charles-de-Gaulle airport: renovation of markings of the runway 1RAYMOND, A.Revue générale des routes et des aérodromes. 1993, Num 704, pp 69-71, issn 0035-3191Article

Riverbank renewal = Rénovation d'une riveCARROLL, R; GAFFNEY, J.P; UNGER, M et al.Civil engineering (New York, NY. 1983). 1991, Vol 61, Num 10, pp 39-41, issn 0885-7024Article

Linoléum. Un matériau vivant qu'il faut savoir piéger = Linoleum. A living material which needs proper handlingLe Moniteur Sols Murs Plafonds. 1992, Num 2, p. 35Article

Intranet, nouvelle technologie d'information, de documentation et de communication : Internet/Intranet 2000 = Intranet: a new information, documentation and communication technologyBOILLAT, J.-F.Arbido. 2000, Vol 15, Num 4, pp 25-27, issn 1420-102XArticle

De l'implémentation d'un langage à objets dans un milieu méta-récursif vers l'implémentation méta-récursive d'un langage à objetsJeanjean, Pierre; Saint-James, Emmanuel.1987, 244 p.Thesis

Experiences in participatory ergonomics : results of a roundtable session during the 11th IEA Congress, Paris, July 1991VINK, P; LOURIJSEN, E; WORTEL, E et al.Ergonomics. 1992, Vol 35, Num 2, pp 123-127, issn 0014-0139Article

A comparison of nested loops parallelization algorithmDarte, Alain; Vivien, Frédéric.1995, 18 p.Report

Relative identifiable cost/contribution accounting: basic principles and methods of implementationSINZIG, W.International journal of production economics. 1994, Vol 36, Num 1, pp 65-73, issn 0925-5273Article

An implementation of Eden on top of concurrent HaskellBREITINGER, S; KLUSIK, U; LOOGEN, R et al.Lecture notes in computer science. 1997, pp 141-161, issn 0302-9743, isbn 3-540-63237-9Conference Paper

Assainissement non collectif des eaux usées : Les textes permettant leur mise en œuvre sont parus au JO = Non collective wastewater sewerage : the texts allowing their implementation have been published in Journal officielMUSSO-GABAI, S.Environnement & technique. 1996, Num 158, pp 65-66, issn 0986-2943Article

Implementing successful e-government: with a little help from IDOX softwareFRASER, Andrew.Information management & technology. 2003, Vol 36, Num 1, pp 32-36, issn 1356-0395, 5 p.Article

The University IntranetWEINER, S. T.Database (Weston). 1999, Vol 22, Num 5, pp 66-69, issn 0162-4105Article

Z39.50 et ses profils d'implémentation européens = Z39.50 and european implementation profilesVEBR, T.Bulletin d'informations - Association des bibliothécaires français. 1997, Num 177, pp 105-106, issn 0004-5365Article

An attack on a recursive authentication protocol : A cautionary taleRYAN, P. Y. A; SCHNEIDER, S. A.Information processing letters. 1998, Vol 65, Num 1, pp 7-10, issn 0020-0190Article

Two-pass heap profiling : A matter of life and deathRUNCIMAN, C; RÖJEMO, N.Lecture notes in computer science. 1997, pp 222-232, issn 0302-9743, isbn 3-540-63237-9Conference Paper

REXX on TSO/EHOERNES, G. E.IBM systems journal. 1989, Vol 28, Num 2, pp 274-293, issn 0018-8670, 20 p.Article

Le couvre-sol «Plast-sol» = The soil-cover «Plast-sol»METOZ, J.-C; FOURNERET, G; JACOB, C et al.Revue générale des routes et des aérodromes. 1993, Num 703, pp 66-67, issn 0035-3191Article

  • Page / 1305