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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Principles of program analysis : with 51 tables
1999
Signatur: TXL1997
    Datensatz exportieren als...
  • BibTeX
Principles of program analysis : with 51 tables
1. ed., corr. 2. print, 2005
Signatur: TXL1997
    Datensatz exportieren als...
  • BibTeX
Data structures and algorithms
1984-
Signatur: TWV1820
    Datensatz exportieren als...
  • BibTeX
Special issue on static program analysis (SAS '98) : papers presented at the SAS '98 Conference held in Pisa
Science of computer programming : 39,1 (Alle Bände)
2001
Signatur: 64s19
    Datensatz exportieren als...
  • BibTeX
The analysis of algorithms
1985
Signatur: TVI2110
    Datensatz exportieren als...
  • BibTeX
Algorithmic trading : Analyse von computergesteuerten Prozessen im Wertpapierhandel unter Verwendung der Multifaktorenregression
2011
Signatur: PRR2337
    Datensatz exportieren als...
  • BibTeX
Program flow analysis : theory and applications
Prentice-Hall software series
1981
Signatur: TXB2383
    Datensatz exportieren als...
  • BibTeX
Volume driven selection of loop and data transformations for cache coherent parallel processors
1999
Signatur: TWT5507, P1319
    Datensatz exportieren als...
  • BibTeX
The golden ticket : P, NP, and the search for the impossible
2013
Signatur: TVM4730
    Datensatz exportieren als...
  • BibTeX
Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Average case analysis of algorithms on sequences
Wiley-Interscience series in discrete mathematics and optimization
[2001]
Signatur: TVI3849
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]
Lecture notes in computer science : 4313 (Alle Bände)
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Essence of Computation : Complexity, Analysis, Transformation [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
1 – 25 von 95
Suche als RSS-Feed
Aktive Filter
Autor / AutorinSteffen, Bernhard
Suchergebnisse filtern
Filter anzeigen