Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer 61 - 80 von 12.074

61

Dieses Ergebnis kann Gästen nicht angezeigt werden.

62

A measured collapse of the modal μ-calculus alternation hierarchy
BUSTAN, Doron ; KUPFERMAN, Orna ; VARDIL, Moshe Y
STACS 2004 (Montpellier, 25-27 March 2004)Lecture notes in computer science. :522-533

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

65

A refinement strategy for Circus
CAVALCANTI, Ana ; SAMPAIO, Augusto ; WOODCOCK, Jim
RefinementFormal aspects of computing. 15(2-3):146-181

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

A semantic framework for designer transactions
VITEK, Jan ; JAGANNATHAN, Suresh ; WELC, Adam ; et al.
Programming languages and systems (Barcelona, 29 March - 2 April 2004)Lecture notes in computer science. :249-263

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

Evaluation of the effectiveness of a Strengths-Based Nursing and Healthcare Leadership program aimed at building leadership capacity: A concurrent mixed-methods study
Mélanie Lavoie-Tremblay ; Kathleen Boies ; Christina Clausen ; et al.
International Journal of Nursing Studies Advances, Vol 6, Iss , Pp 100184- (2024)

Strengths-Based Nursing... Leadership capacity Nurse managers Nurse leaders Healthcare leaders concurrent mixed-methods
Fachzeitschrift
Zu den Favoriten
68

Optimizing memory transactions
HARRIS, Tim ; PLESKO, Mark ; SHINNAR, Avraham ; et al.
PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, 2006, Ottawa, Ontario, CanadaACM SIGPLAN notices. 41(6):14-25

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

Structured Multi-programming.
Hansen, Per Brinch
Communications of the ACM. Jul1972, Vol. 15 Issue 7, p574-578. 5p. 1 Diagram.

Programming languages Computer multitasking Data structures Multiprogramming (Electr... Systems software Software shells
Zeitschrift
Zu den Favoriten
70

A Fully Replicable Exercise Program for Individuals with Sleep-Disordered Breathing: Protocol Design and Training Load Monitoring
Jose M. Saavedra ; Katrin Y. Fridgeirsdottir ; Conor J. Murphy ; et al.
Journal of Functional Morphology and Kinesiology, Vol 10, Iss 3, p 311 (2025)

circuit training concurrent exercise rating of perceived exer... intensity training load Diseases of the musculos...
Fachzeitschrift
Zu den Favoriten
71

Fast slicing of Concurrent programs
GOSWAMI, D ; MALL, R
HiPC'99 : high performance computing (Calcutta, 17-20 December 1999)Lecture notes in computer science. :38-42

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

Feasibility and effect of adding a concurrent parental component to a school-based wellness program using two modes of mobile-based technology – mixed methods evaluation of RCT
Moria Golan ; Shakked Benifla ; Aviv Samo ; et al.
BMC Public Health, Vol 22, Iss 1, Pp 1-18 (2022)

School-based Prevention Self-esteem Body esteem Mobile application Public aspects of medici...
Fachzeitschrift
Zu den Favoriten
73

Dieses Ergebnis kann Gästen nicht angezeigt werden.

74

Evaluation of in-service training program of laboratory professionals in Amhara Public Health Institute Dessie Branch, northeast Ethiopia: A concurrent mixed-method study.
Seid Legesse ; Tefera Alemu ; Mulugeta Tassew ; et al.
PLoS ONE, Vol 15, Iss 12, p e0243141 (2020)

Medicine Science
Fachzeitschrift
Zu den Favoriten
75

Threads cannot be implemented as a library
BOEHM, Hans-J
Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05ACM SIGPLAN notices. 40(6):261-268

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

Disaster management education in environmental health programs: Academic perspectives within the South African higher education context
Patience Mbola ; Davies V. Nkosi ; Oyewale M. Morakinyo
Jàmbá, Vol 17, Iss 1, Pp e1-e13 (2025)

disaster management emergencies education environmental health competencies disasters
Fachzeitschrift
Zu den Favoriten
77

Structure and Interpretation of Computer Programs
Abelson, Harold ; Sussman, Gerald Jay

Computer science
E-Book
Zu den Favoriten
78

Split-ordered lists : Lock-free extensible hash tables
SHALEV, Ori ; SHAVIT, Nir
Journal of the Association for Computing Machinery. 53(3):379-405

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

Implementation of the sentry system
CHODROW, S. E ; GOUDA, M. G
Software, practice & experience. 25(4):373-387

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

Filter