Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: Systems Programming with C and .NET

Treffer 121 - 140 von 3.315

121

Petri net modelling on the behavior of object invocations in distributed object-oriented systems
TSENG, C.-C ; CHANG, W.-T
International journal of modelling & simulation. 18(2):139-147

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

Industrial Robot Programming and UPnP Services Orchestration for the Automation of Factories
A. Valera ; J. Gomez-Moreno ; A. Sánchez ; et al.
International Journal of Advanced Robotic Systems, Vol 9 (2012)

Electronics TK7800-8360 Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Zu den Favoriten
123

in2: A graphical interpreter for interaction nets
LIPPI, Sylvain
RTA 2002 : rewriting techniques and applications (Copenhagen, 22-24 July 2002)Lecture notes in computer science. :380-385

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

Converting general nonlinear programming problems into separable programming problems with feedforward neural networks
LU, Bao-Liang ; ITO, Koji
Neural networks. 16(7):1059-1074

Electronics Electronique Computer science Informatique Neurology Neurologie …
Fachzeitschrift
Zu den Favoriten
126

Co‐creating a Theory of Change to advance COVID‐19 testing and vaccine uptake in underserved communities
Stadnick, Nicole A ; Cain, Kelli L ; Oswald, William ; et al.
Health Services Research. 57(Suppl 1)

4203 Health Services and... 4206 Public Health (for-... 42 Health Sciences (for-... Emerging Infectious Dise... Health Services (rcdc) Clinical Research (rcdc) …
Fachzeitschrift
Zu den Favoriten
127

Assessing the impact of structured real-time design methods
EBERT, C
Real-time applications, design techniques, diagnostics and reliabilityJournal of microcomputer applications. 17(3):287-297

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

Image Processing Methods for Coronal Hole Segmentation, Matching, and Map Classification
Jatla, V. ; Pattichis, M. S. ; Arge, C. N.
IEEE Transactions on Image Processing 29 (2019): 1641-1653

Electrical Engineering a... Astrophysics - Solar and... Computer Science - Compu...
Report
Zu den Favoriten
129

A uniform approach to true-concurrency and interleaving semantics for Petri nets
PRIESE, L ; WIMMEL, H
Theoretical computer science. 206(1-2):219-256

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

Stochastic analysis of flexible process choices
SINHA, D ; WEI, J. C
Measuring manufacturing flexibilityEuropean journal of operational research. 60(2):183-199

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
131

A generalized multimachine replacement model for flexible automation investments
SURESH, N. C
IIE transactions. 24(2):131-143

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
132

Higher-order Petri net models based on artificial neural networks
CHOW, T. W. S ; LI, J. Y
Artificial intelligence. 92(1-2):289-300

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

134

Dieses Ergebnis kann Gästen nicht angezeigt werden.

135

A Coloured Petri net formalisation for a UML-based notation applied to cooperative system Modelling
GARRIDO, José Luis ; GEA, Miguel
Interactive systems : design, specification, and verification (Rostock, 12-14 June 2002, revised papers)Lecture notes in computer science. :16-28

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

Efficient self-consistency for magnetic tight binding
Soin, Preetma ; Horsfield, A.P. ; Nguyen-Manh, D.
In Computer Physics Communications 2011 182(6):1350-1360

Fachzeitschrift
Zu den Favoriten
137

Solving the net matching problem in high-performance chip design
CARRAGHER, R. J ; CHENG, C.-K ; XIONG, X.-M ; et al.
IEEE transactions on computer-aided design of integrated circuits and systems. 15(8):902-911

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

Boundedness of Reset P/T nets
DUFOURD, C ; JANCAR, P ; SCHNOEBELEN, P
Automata, languages and programming (Prague, 11-15 July 1999)Lecture notes in computer science. :301-310

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

140

Optimisation Framework of Multi-Energy Peer-to-Peer Trading with Hybrid Market Models in Eco-industrial Parks
Nur Shardatul Hajjar Kamarudzaman ; Peng Yen Liew ; Kai Wen Tan ; et al.
Chemical Engineering Transactions, Vol 120 (2025)

Chemical engineering TP155-156 Computer engineering. Co... TK7885-7895
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter