zum Hauptmenü
zum Inhalt
ZURÜCK ZUR BIBLIOTHEK
Schrift:
A
A
A
Sprache:
[de]
[en]
Publikationsserver
Detailsuche
Schnellsuche:
Gast
Anmelden
Inhalt
Universität Linz
(
9583
Titel
)
Dokumenttyp
Neuzugänge
Listen
Titel
AutorInnen
Beteiligte
Clouds
Schlagwörter
AutorInnen
Beteiligte
Hinweise
Für Studierende
Für Benützer*innen
Dokument hochladen
Home
Suchergebnis
Über die Zeitschrift
Team
Kontakt
Beitragseinreichung
Richtlinien
Formatvorlagen
Impressum
3
Titel
Jahre
1
Einträge für
2006
1
Einträge für
2007
1
Einträge für
2010
Zeiträume
3
Einträge für
2001-2010
AutorInnen / Beteiligte
2
Einträge für
Biere, Armin
1
Einträge für
Engl, Heinz W.
1
Einträge für
Hofinger, Andreas
1
Einträge für
Hohage, Thorsten
3 Treffer
zu den Filteroptionen
Suche nach:
Ort = "Linz"
Ill-posed problems: Extending the deterministic theory to a stochastic setup
Hofinger, Andreas
Linz
,
2006
Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010
Biere, Armin
Linz
:
Johannes Kepler Universität Linz, Institut für Formale Modelle und Verifikation
,
2010
The AIGER And-Inverter Graph (AIG) Format Version 20071012
Biere, Armin
Linz
:
Johannes Kepler Universität Linz, Institut für Formale Modelle und Verifikation
,
2007