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

Treffer 101 - 120 von 9.599

101

The Semantics of Package Management via Event Structures
Bazerman, Gershom

Computer Science - Logic... Computer Science - Distr... Computer Science - Progr... 06D05 (Primary), 06C10 (... F.4.1 I.2.4
Report
Zu den Favoriten
102

An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets : Lamport's fast mutual exclusion algorithm
BALBO, G ; CHIOLA, G ; BRUELL, S. C ; et al.
IEEE transactions on parallel and distributed systems. 3(2):221-240

Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences Informatique; automatiqu... Computer science; contro... …
Fachzeitschrift
Zu den Favoriten
103

Axiomatic treatment of processes with shared variables revisited
OWE, O
Formal aspects of computing. 4(4):323-340

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

Wait-free synchronization
HERLIHY, M
ACM transactions on programming languages and systems. 13(1):124-149

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

A structure-based tool to interpret the significance of kinase mutations in clinical next generation sequencing in cancer
Amith Rangarajan ; Ilona Sviezhentseva ; Emma Gunderson ; et al.
Frontiers in Oncology, Vol 15 (2025)

cancer targeted therapy molecular pathology next generation sequenci... kinases structural biology …
Fachzeitschrift
Zu den Favoriten
106

Expressive completeness failure in branching time structures
AMIHOOD AMIR
Journal of computer and system sciences (Print). 34(1):27-42

Tense logic Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... …
Fachzeitschrift
Zu den Favoriten
107

Explaining Michigan: Developing an Ex Post Theory of a Quality Improvement Program
DIXON-WOODS, MARY ; BOSK, CHARLES L. ; AVELING, EMMA LOUISE ; et al.
The Milbank Quarterly, 2011 Jun 01. 89(2), 167-205.

Fachzeitschrift
Zu den Favoriten
108

Unmet needs of Italian centers for pediatric diabetes care: analysis of a survey among pediatric diabetologists facing the national screening program for Type 1 Diabetes
Marco Marigliano ; Roberto Franceschi ; Enza Mozzillo ; et al.
Italian Journal of Pediatrics, Vol 51, Iss 1, Pp 1-11 (2025)

Type 1 diabetes Care Children Adolescents Benchmarking Team …
Fachzeitschrift
Zu den Favoriten
109

Concurrent Airplane and Balloon Measurements of Atmospheric Boundary-Layer Structure over a Forest
Lenschow, Donald H. ; Johnson,, Warren B.
Journal of Applied Meteorology (1962-1982), 1968 Feb 01. 7(1), 79-89.

Fachzeitschrift
Zu den Favoriten
110

Bridging the Public Services and Technical Services Divide: Hosting a Librarian Sabbatical.
Aagard, Mary C. ; Hooyboer, Marlena ; Kindelberger, Pamela D.
Serials Librarian. May2021, Vol. 80 Issue 1-4, p97-101. 5p.

Library reference servic... Conceptual structures Librarians Sabbatical leave Internship programs Workflow
Fachzeitschrift
Zu den Favoriten
111

Structure and Interpretation of Computer Programs, Second Edition (Edition 2)
Abelson, Harold ; Sussman, Gerald Jay ; Sussman, Julie

Computers / Programming
Buch
Zu den Favoriten
112

Validation studies of the Career Advancement Inventory for individuals with psychiatric disabilities.
Millner, Uma Chandrika ; Green, James ; Nutton, Amanda ; et al.
Psychosocial Rehabilitation Journal

Fachzeitschrift
Zu den Favoriten
113

Truly concurrent constraint programming
GUPTA, V ; JAGADEESAN, R ; SARASWAT, V. A
Mathematical Foundations of Programming SemanticsTheoretical computer science. 278(1-2):223-255

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
114

Validation of the shortest form of the Recovery Assessment Scale (RAS-8) in the Arabic language among patients with schizophrenia.
Fekih-Romdhane, Feten ; Al Mouzakzak, Fadila ; Abilmona, Ghinwa ; et al.
Psychosocial Rehabilitation Journal

Fachzeitschrift
Zu den Favoriten
115

Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
RUEDA, Camilo ; ALVAREZ, Gloria ; QUESADA, Luis O ; et al.
Constraints for Multimedia Artistic ApplicationsConstraints (Dordrecht). 6(1):21-52

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

117

Model-checking multi-threaded distributed Java programs
STOLLER, Scott D
International journal on software tools for technology transfer (Print). 4(1):71-91

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

120

Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin ; Parker, David

Theory of Computation Special Purpose and Appl... Computer System Implemen... Control Structures and M... Mathematics of Computing open access …
E-Book
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter