Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: Concurrent program structures

Treffer 81 - 100 von 12.073

81

Thirteen years and counting: Outcomes of a concurrent ASN/BSN enrollment program.
Heglund S ; Simmons J ; Wink D ; et al.
Publisher: W.B. Saunders Country of Publication: United States NLM ID: 8511298 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1532-8481 (Electronic) Linking ISSN: 87557223 NLM ISO Abbreviation: J Prof Nurs Subsets: MEDLINE

Education, Nursing, Asso... Education, Nursing, Bacc... Florida Humans Organizational Objective... Program Evaluation metho... …
Fachzeitschrift
Zu den Favoriten
82

Dieses Ergebnis kann Gästen nicht angezeigt werden.

83

Counterexample-guided abstraction refinement for symmetric concurrent programs
Donaldson, Alastair F. ; Kaiser, Alexander ; Kroening, Daniel ; et al.
Formal Methods in System Design: An International Journal. August 2012 41(1):25-44

Fachzeitschrift
Zu den Favoriten
84

I-structures: data structures for parallel computing
ARVIND ; NIKHIL, R. S ; PINGALI, K. K
ACM transactions on programming languages and systems. 11(4):598-632

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
85

Foundations of Software Science and Computation Structures
Goubault-Larrecq, Jean ; König, Barbara

Mathematical Logic and F... Discrete Mathematics in... Programming Languages, C... Programming Techniques Logic in AI Computer Systems Organiz... …
E-Book
Zu den Favoriten
86

Dieses Ergebnis kann Gästen nicht angezeigt werden.

87

Dieses Ergebnis kann Gästen nicht angezeigt werden.

88

Dieses Ergebnis kann Gästen nicht angezeigt werden.

89

Dieses Ergebnis kann Gästen nicht angezeigt werden.

90

Experimental investigation of the effect of natural convention heat transfer in mineral wood / Etude expérimentale des effets de la convection naturelle sur le transfert de chaleur dans la laine minérale
DYRBØL, S ; SVENDSEN, S ; ELMROTH, A
Journal of thermal envelope & building science. 26(2):153-164

Energy Énergie Civil engineering Génie civil Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
91

Dieses Ergebnis kann Gästen nicht angezeigt werden.

92

Improving outcomes for people with autism spectrum disorders by reducing mental health problems: the IAMHealth research programme including one RCT
Emily Simonoff ; Gillian Baird ; Bryony Beresford ; et al.
Programme Grants for Applied Research, Vol 13, Iss 05 (2025)

autism mental health longitudinal emotional and behavioura... instrument development randomised controlled tr... …
Fachzeitschrift
Zu den Favoriten
93

Dieses Ergebnis kann Gästen nicht angezeigt werden.

95

Structural methods for the synthesis of speed-independent circuits
PASTOR, E ; CORTADELLA, J ; KONDRATYEV, A ; et al.
IEEE transactions on computer-aided design of integrated circuits and systems. 17(11):1108-1129

Electronics Electronique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
96

On maintaining dynamic information in an concurrent environment
MANBER, U
SIAM journal on computing (Print). 15(4):1130-1142

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
97

Dieses Ergebnis kann Gästen nicht angezeigt werden.

98

S-invariant analysis of general recursive Petri boxes
DEVILLERS, R
Acta informatica. 32(4):313-345

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
99

Using spatial logic to describe visual languages
GOODAY, J. M ; COHN, A. G
Integration of natural language and vision processing: Recent advancesArtificial intelligence review. 10(3-4):171-186

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
100

Localization of Linearizability Faults on the Coarse-Grained Level.
Zhang, Zhenya ; Wu, Peng ; Zhang, Yu
International Journal of Software Engineering & Knowledge Engineering. Dec2017, Vol. 27 Issue 9/10, p1483-1505. 23p.

DATA structures FAULT-tolerant computing PROBLEM solving COMPUTER software correc... COMPUTER scheduling
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter