Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2013 : theory and practice of computer science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 26-31, 2013 : proceedings
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Theory of Computation at CiE 2005
Theory of computing systems, 2007-07, Vol.41 (1), p.1-2
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Turing Machines for Dummies: Why Representations Do Matter
SOFSEM 2012: Theory and Practice of Computer Science, Vol.7147, p.14-30
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Evert Marie Bruins (1909–1990): intelligent, productief en controversieel
Studium (Rotterdam), 2013-12, Vol.6 (3), p.296
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Compiling Horn-Clause Rules in IBM’s Business System 12 an Early Experiment in Declarativeness
Lecture notes in computer science, 1998, p.68-88
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Travelling with Dexter Kozen
Logic and Program Semantics, p.342-351
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2013: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings
1, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Playing Savitch and Cooking Games
Concurrency, Compositionality, and Correctness, p.10-21
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2004: 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30 2004
1, 2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2013: Theory and Practice of Computer Science : 39th International Conference on Current Trends in Theory and Practice of Computer Science, 'pindlerův Ml'n, Czech Republic, January 26-31, 2013, Proceedings
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The History of the LLL-Algorithm
The LLL Algorithm, 2010, p.1-17
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Ten years of speedup
Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975, 2005, p.13-29
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Compositionality and concurrent networks: Soundness and completeness of a proofsystem
Automata, Languages and Programming, 2005, p.509-519
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Compared to what? An introduction to the analysis of algorithms
Science of computer programming, 1995-04, Vol.24 (2), p.183-185
1995
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Move rules and trade-offs in the pebble game
Theoretical Computer Science 4th GI Conference, 2005, p.101-112
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Diagonalisation methods in a polynomial setting
Structure in Complexity Theory, 2005, p.330-346
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2004 : theory and practice of computer science (Merin, 24-30 January 2004)
Lecture notes in computer science, 2004
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Object Oriented application flow graphs and their semantics
Mathematical Foundations of Computer Science 1993, 2005, p.485-494
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
K. Wagner and G. Wechsung, Computational complexity, Mathematics and its applications. VEB Deutscher Verlag der Wissenschaften, Berlin, and D. Reidel Publishing Company, Dordrecht etc., 1986, 551 pp
The Journal of symbolic logic, 1989-06, Vol.54 (2), p.622-624
1989
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Problems
Journal of algorithms, 1991-12, Vol.12 (4), p.700-703
1991
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Some observations on compositional semantics
Logics of Programs, 2005, p.137-149
2005
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 180
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...