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
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
The analysis of algorithms
1985
Signatur: TVI2110
    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
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
Open Access
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems
2020
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings [Elektronische Ressource]
2001
    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
    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
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    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
    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
    Datensatz exportieren als...
  • BibTeX
The Essence of Computation : Complexity, Analysis, Transformation [Elektronische Ressource]
2002
    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
    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
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings [Elektronische Ressource]
2014
    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
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings [Elektronische Ressource]
2013
    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
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
Software Visualization : Visualizing the Structure, Behaviour, and Evolution of Software [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings [Elektronische Ressource]
2004
1 – 25 von 80
Suche als RSS-Feed
Aktive Filter
SchlagwortComputer software
SystemstelleTVM
Suchergebnisse filtern
Filter anzeigen