Sortiert nach
Algebra AFP2 for concurrent nondeterministic processes : fully abstract model and complete axiomatization
Reihe Informatik : 72 (Alle Bände)
Čerkasova, Ljudmila A
1990
Signatur: MQ23906
  • Bitte anmelden um Merklisten zu nutzen
Perspektiven und Parallelprojektionen
Reihe Informatik : 86 (Alle Bände)
Nabert, Rudolf
1991
Signatur: MQ23907
  • Bitte anmelden um Merklisten zu nutzen
Processing of hierarchically defined graphs and graph families
Reihe Informatik : 93 (Alle Bände)
Höfting, Franz;Lengauer, Thomas;Wanke, Egon
1991
Signatur: MQ23908
  • Bitte anmelden um Merklisten zu nutzen
Realistic time optimal algorithms for Boolean functions on exclusive write PRAMs
Reihe Informatik : 96 (Alle Bände)
Dietzfelbinger, Martin;Kutyłowski, Mirosław;Reischuk, Rüdiger
1991
Signatur: MQ23909
  • Bitte anmelden um Merklisten zu nutzen
Periodic sorting on two-dimensional meshes
Reihe Informatik : 97 (Alle Bände)
Kutyłowski, Mirosław;Wanka, Rolf
1992
Signatur: MQ23910
  • Bitte anmelden um Merklisten zu nutzen
Minimum cost paths in periodic graphs
Reihe Informatik : 99 (Alle Bände)
Höfting, Franz;Wanke, Egon
1992
Signatur: MQ23911
  • Bitte anmelden um Merklisten zu nutzen
The complexity of connectivity problems on context free graph languages
Reihe Informatik : 100 (Alle Bände)
Wanke, Egon
1992
Signatur: MQ23912
  • Bitte anmelden um Merklisten zu nutzen
Auswahl- und Positionierungsprobleme beim Konfigurieren und ihre aussagenlogische Beschreibung
Reihe Informatik : 101 (Alle Bände)
Lettmann, Theodor;Schmitgen, Stefan
1992
Signatur: MQ23913
  • Bitte anmelden um Merklisten zu nutzen
Modularity and reusability in attribute grammars
Reihe Informatik : 102 (Alle Bände)
Kastens, Uwe;Waite, William M
1992
Signatur: MQ23914
  • Bitte anmelden um Merklisten zu nutzen
Extended abstracts of poster contributions / International Workshop on Compiler Construction, CC '92 : October 5 - 7, 1992, Paderborn, Germany
Reihe Informatik : 103 (Alle Bände)
CC;Kastens, Uwe[Herausgeber]
1992
Signatur: MQ23915
  • Bitte anmelden um Merklisten zu nutzen
Hierarchical compaction and the solution of parameterized path problems
Reihe Informatik : 104 (Alle Bände)
Lengauer, Thomas;Heistermann, Jörg
1992
Signatur: MQ23916
  • Bitte anmelden um Merklisten zu nutzen
Compilation for fine grained parallelism : a code generator for the Intel i860
Reihe Informatik : 105 (Alle Bände)
Wichmann, Friedrich;Pfahler, Peter
1992
Signatur: MQ23917
  • Bitte anmelden um Merklisten zu nutzen
Resolution for quantified Boolean formulas
Reihe Informatik : 106 (Alle Bände)
Kleine Büning, Hans;Flögel, Andreas;Karpinski, Marek
1992
Signatur: MQ23918
  • Bitte anmelden um Merklisten zu nutzen
On the restricted equivalence for subclasses of propositional logic
Reihe Informatik : 107 (Alle Bände)
Flögel, Andreas;Kleine Büning, Hans;Lettmann, Theodor
1992
Signatur: MQ23919
  • Bitte anmelden um Merklisten zu nutzen
Report on a SAT competition
Reihe Informatik : 110 (Alle Bände)
Buro, Michael;Kleine Büning, Hans
1992
Signatur: MQ23920
  • Bitte anmelden um Merklisten zu nutzen
Parallele Simulation des Backpropagation Lernalgorithmus
Reihe Informatik : 111 (Alle Bände)
Reski, Thilo
1992
Signatur: MQ23921
  • Bitte anmelden um Merklisten zu nutzen
Compressing cube-connected cycles and butterfly networks
Reihe Informatik : 112 (Alle Bände)
Klasing, Ralf;Lüling, Reinhard;Monien, Burkhard
1993
Signatur: MQ23922
  • Bitte anmelden um Merklisten zu nutzen
Broadcasting in butterfly and DeBruijn networks
Reihe Informatik : 113 (Alle Bände)
Klasing, Ralf
1993
Signatur: MQ23923
  • Bitte anmelden um Merklisten zu nutzen
Load balancing for distributed branch & bound algorithms
Reihe Informatik : 114 (Alle Bände)
Lüling, Reinhard;Monien, Burkhard
1993
Signatur: MQ23924
  • Bitte anmelden um Merklisten zu nutzen
Optimal algorithms for dissemination of information in generalized communication modes
Reihe Informatik : 115 (Alle Bände)
Feldmann, Rainer
1993
Signatur: MQ23925
  • Bitte anmelden um Merklisten zu nutzen
The shuffle exchange network has a Hamiltonian path
Reihe Informatik : 116 (Alle Bände)
Feldmann, Rainer;Mysliwietz, Peter
1993
Signatur: MQ23926
  • Bitte anmelden um Merklisten zu nutzen
Problem independent : distributed simulated annealing and its applications
Reihe Informatik : 117 (Alle Bände)
Diekmann, Ralf;Lüling, Reinhard;Simon, Jens
1993
Signatur: MQ23927
  • Bitte anmelden um Merklisten zu nutzen
On the optimality of Kung's convolution algorithm in some classes of systolic algorithms
Reihe Informatik : 118 (Alle Bände)
Hromkovič, Juraj;Procházka, Juraj
1993
Signatur: MQ23928
  • Bitte anmelden um Merklisten zu nutzen
Karel the Robot : an exercise in implementing language processors with Eli
Reihe Informatik : 119 (Alle Bände)
Pfahler, Peter
1993
Signatur: MQ23929
  • Bitte anmelden um Merklisten zu nutzen
Enhanced iterative-deepening search
Reihe Informatik : 120 (Alle Bände)
Reinefeld, Alexander;Marsland, Thomas Anthony
1993
Signatur: MQ23930
  • Bitte anmelden um Merklisten zu nutzen
1 – 25 von 114
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen