Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:(%22DEMANDE DETERMINISTE%22)

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 15839

  • Page / 634
Export

Selection :

  • and

TURING MACHINES AND THE SPECTRA OF FIRST-ORDER FORMULAS WITH EQUALITYJONES ND; SELMAN AL.sdIN: 4TH ANNU. ACM SYMP. THEORY COMPUT. DENVER, COLO, 1972. PROC.; S.L.; DA. S.D.; PP. 157-167; BIBL. 10 REF.Conference Paper

TWO-WAY NESTED STACK AUTOMATA ARE EQUIVALENT TO TWO-WAY STACK AUTOMATA.BEERI C.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 10; NO 3; PP. 317-339; BIBL. 9 REF.Article

MODELES DYNAMIQUES DETERMINISTES EN BIOLOGIELEBRETON JD ED; MILLIER C ED; LEGAY JM PREF et al.1982; ; FRA; PARIS: MASSON; DA. 1982; 208 P.; 24 CM; BIBL. 9 P.; ISBN 2-225-75933-2Book

ON NON-DETERMINANCY IN SIMPLE COMPUTING DEVICESHARTMANIS J.1972; ACTA INFORMAT.; ALLEM.; DA. 1972; VOL. 1; NO 4; PP. 336-344; BIBL. 9 REF.Serial Issue

UEBER DIE KOMPLIZIERTHEIT DER MODELLIERUNG NICHTDETERMINISTISCHER AUTOMATEN IN DETERMINIERTEN AUTOMATEN. = SUR LA COMPLEXITE DE LA MODELISATION DES AUTOMATES NON DETERMINISTES EN AUTOMATES DETERMINISTESNIKOLAJEV KG.1975; WISSENSCH. Z. HUMBOLDT-UNIV. BERLIN, MATH.-NATURWISSENSCH. REIHE; DTSCH.; DA. 1975; VOL. 24; NO 6; PP. 738-739; ABS. RUSSE ANGL. FR.; BIBL. 1 REF.Article

NONDETERMINISTIC AND DETERMINISTIC-K-MACHINES.KARASEK J.1976; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1976; VOL. 24; NO 4; PP. 295-298; ABS. RUSSE; BIBL. 3 REF.Article

A NOTE CONCERNING NONDETERMINISTIC TAPE COMPLEXITIESIBARRA OH.1972; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1972; VOL. 19; NO 4; PP. 608-612; BIBL. 9 REF.Serial Issue

OPTIMAL INVENTORY RULE FOR A LINEAR TREND IN DEMAND WITH A CONSTANT REPLENISHMENT PERIODPHELPS RI.1980; J. OPERAT. RES. SOC.; GBR; DA. 1980; VOL. 31; NO 5; PP. 439-442; BIBL. 3 REF.Article

ON STATIONARITY AND OPTIMALITY IN ARBORESCENT PRODUCTION/INVENTORY SYSTEMSGRAVES SC; SCHWARZ LB.1978; MANAG. SCI.; USA; DA. 1978; VOL. 24; NO 16; PP. 1768-1769; BIBL. 1 REF.Article

ITERATED DETERMINISTIC SUBSTITUTION.ASVELD PRJ; ENGELFRIET J.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 8; NO 3; PP. 285-302Article

THE OPTIMAL SIZE OF A STORAGE FACILITY.LEVY J.1974; NAV. RES. LOGIST. QUART.; U.S.A.; DA. 1974; VOL. 21; NO 2; PP. 319-326; BIBL. 6 REF.Article

MAZE RECOGNIZING AUTOMATA. (EXTENDED ABSTRACT) = AUTOMATE DE RECONNAISSANCE POUR LABYRINTHE (RESUME DETAILLE)SAVITCH WJ.sdIN: 4TH ANNU. ACM SYMP. THEORY COMPUT. DENVER, COLO, 1972. PROC.; S.L.; DA. S.D.; PP. 151-156; BIBL. 3 REF.Conference Paper

ITERATION THEOREMS FOR FAMILIES OF STRICT DETERMINISTIC LANGUAGESKING KN.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 10; NO 3; PP. 317-333; BIBL. 12 REF.Article

A DECISION METHOD FOR THE EQUIVALENCE OF SOME NON-REAL-TIME DETERMINISTIC PUSHDOWN AUTOMATAUKKONEN E.1980; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON THEORY OF COMPUTING. 12/1980/LOS ANGELES CA; USA; NEW YORK: ACM; DA. 1980; PP. 29-38; BIBL. 18 REF.Conference Paper

IL-22 : A critical mediator in mucosal host defenseAUJLA, S. J; KOLLS, J. K.Journal of molecular medicine (Berlin. Print). 2009, Vol 87, Num 5, pp 451-454, issn 0946-2716, 4 p.Article

Temporal associations between interleukin 22 and the extracellular domains of IL-22R and Il-10R2JING LI; TOMKINSON, Kathy N; DE ZUTTER, Gerard et al.International immunopharmacology. 2004, Vol 4, Num 5, pp 693-708, issn 1567-5769, 16 p.Article

Le modèle ETC (Erosion des Torrents en Crue), intégrateur des bassins versants torrentiels = ETC (erosion of toorents in spate), an integrating model for torrential catchmentsBROCHOT, S.Séminaire inter-chercheurs. Les modèles au Cemagref : formulation validation pertinence. 1995, 9 p.Conference Paper

Analysis of mechanized excavation system performance and rock mass impactsNELSON, P. P; ABD AL-JALIL, Y; LAUGHTON, C et al.Developments in geotechnical engineering. 1993, Vol 74, pp 839-851, issn 0165-1250Article

Welche Kältemittel in der Zukunft? = Which refrigerant in the future?DOÊRING, R.Die Kälte und Klimatechnik. 1990, Vol 43, Num 9, pp 472-482, issn 0343-2246, 6 p.Article

Rapid technology evaluation to HCFC-22/142b blowing agent for refrigerator insulation foamFANICHET, X; KUHN, E; SCHINDLER, P et al.Journal of cellular plastics. 1994, Vol 30, Num 4, pp 291-301, issn 0021-955XConference Paper

Th17 cytokines and mucosal immunityDUBIN, Patricia J; KOLLS, Jay K.Immunological reviews. 2008, Vol 226, pp 160-171, issn 0105-2896, 12 p.Article

ANALYSIS OF SAMPLING-PATTERN DEPENDENCE IN TIME-SEQUENTIAL SAMPLING OF SPATIOTEMPORAL SIGNALSALLEBACH JP.1981; J. OPT. SOC. AM. (1930); ISSN 0030-3941; USA; DA. 1981; VOL. 71; NO 1; PP. 99-105; BIBL. 13 REF.Article

TWO-WAY DETERMINISTIC MULTI-WEAK-COUNTER MACHINESMIYANO S.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 21; NO 1; PP. 27-37; BIBL. 18 REF.Article

SOME RESULTS ON RELATIVIZED DETERMINISTIC AND NONDETERMINISTIC TIME HIERARCHIESMORAN S.1981; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1981; VOL. 22; NO 1; PP. 1-8; BIBL. 10 REF.Article

STRICT INTERPRETATIONS OF DETERMINISTIC PUSHDOWN ACCEPTORSGINSBURG S; KINTALA CMR.1981; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1981; VOL. 14; NO 3; PP. 229-240; BIBL. 8 REF.Article

  • Page / 634