Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach NEBENLAEUFIGKEIT ergibt 11 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500254547500254547 E-Book URL Exists Catalogue Record .
2 Concurrent programming: algorithms, principles, and foundations Concurrent programming: algorithms, principles, and foundations [Buch] Raynal, Michel 2013 Buch URL Exists Catalogue Record Regalstandort: ST 230 R274.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
3 Grundzüge der nichtsequentiellen Programmierung: Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, parallele Algorithmen, verteilte Systeme und Datenbanktransaktionen Grundzüge der nichtsequentiellen Programmierung: Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, parallele Algorithmen, verteilte Systeme und Datenbanktransaktionen [Buch] Maurer, Christian 1999 Buch URL Exists Catalogue Record Regalstandort: ST 230 M453.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
4 Java concurrency in practice Java concurrency in practice [Buch] Goetz, Brian 2006 Buch URL Exists Catalogue Record Regalstandort: ST 250 J35 G611.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
5 Moderne Realzeitsysteme kompakt: eine Einführung mit Embedded Linux Moderne Realzeitsysteme kompakt: eine Einführung mit Embedded Linux [Buch] Quade, Jürgen 2012 Buch URL Exists Catalogue Record Regalstandort: ST 234 Q1.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 15.
6 Nebenläufige Programme Nebenläufige Programme [Buch] Herrtwich, Ralf Guido 1994 Buch URL Exists Catalogue Record Regalstandort: ST 230 H568(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
7 Petri-Netze Petri-Netze [E-Book]   2008 E-Book URL Exists Catalogue Record .
8 Seven concurrency models in seven weeks: when threads unravel Seven concurrency models in seven weeks: when threads unravel [Buch] Butcher, Paul N. 2014 Buch URL Exists Catalogue Record Regalstandort: ST 230 B983.
Lit.abteilungen: Freihand.
.
Anzahl Exemplare: 1.
9 Supervisory Control of Concurrent Systems: A Petri Net Structural Approach Supervisory Control of Concurrent Systems: A Petri Net Structural Approach [E-Book] Iordache, Marian V. 2006 E-Book URL Exists Catalogue Record .
10 Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction [Buch] Balser, Michael 2006 Buch URL Exists Catalogue Record Regalstandort: ST 130 B196 .
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
11 Zur Semantik graphbasierter Modellierungsmethoden Zur Semantik graphbasierter Modellierungsmethoden [Hochschulschriften] Strack, Veronika 1990 Reihenverknüpfung anzeigen für Katalogsatz 500015771500015771 Hochschulschriften URL Exists Catalogue Record Regalstandort: SI 210 S894.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche