Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 29
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
[info.info-ds]computer science [cs]
9
data structures and algorithms [cs.ds]
9
[info.info-cg]computer science [cs]
8
[info.info-dc]computer science [cs]
8
acm: g.: mathematics of computing
8
computational geometry [cs.cg]
8
mehr ...
distributed, parallel, and cluster computing [cs.dc]
8
f.2.2.2: geometrical problems and computations
8
[info.info-dm]computer science [cs]
6
acm: d.: software
6
discrete mathematics [cs.dm]
6
g.2: discrete mathematics
6
acm: c.: computer systems organization
5
d.4.5: reliability
5
d.4: operating systems
5
g.2.2: graph theory
5
acm: i.: computing methodologies
4
c.2.4: distributed systems
4
c.2: computer-communication networks
4
f.2.2.0: complexity of proof procedures
4
f.3.1: specifying and verifying and reasoning about programs
4
f.3: logics and meanings of programs
4
[info.info-lo]computer science [cs]
3
c.2.4.1: distributed applications
3
d.4.5.2: fault-tolerance
3
f.3.1.3: mechanical verification
3
g.2.1: combinatorics
3
g.2.2.0: graph algorithms
3
i.3: computer graphics
3
logic in computer science [cs.lo]
3
weniger ...
Veröffentlicht in
international symposium on stabilization
2
[research report] rr-8141
1
1st international workshop on strategic reasoning
1
26th international symposium on theoretical aspects of computer science stacs 2009
1
9eme journees du groupe de travail de geometrie discrete
1
cpm - 23rd annual symposium on combinatorial pattern matching - 2012
1
mehr ...
formal methods in system design
1
international workshop on experimental algorithms
1
lms journal of computation and mathematics
1
santo fortunato and giuseppe mangioni and ronaldo menezes and vincenzo nicosia. complex networks - results of the 2009 international workshop on complex networks (complenet 2009)
1
theoretical computer science
1
theory of computing systems
1
www 2013 - 22nd international world wide web conference
1
weniger ...
Verlag
Sprache
Geographischer Bezug
Treffer aus
Erscheinungsjahr
Filter