UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

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...

Principles of program analysis : with 51 tables

1. ed., corr. 2. print, 2005

Signatur: TXL1997

Principles of program analysis : with 51 tables

1999

Signatur: TXL1997

The analysis of algorithms

1985

Signatur: TVI2110

Data structures and algorithms

Mehlhorn, Kurt

1984-

Signatur: TWV1820

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)

Levi, Giorgio[Herausgeber]

2001

Signatur: 64s19

Algorithmic trading : Analyse von computergesteuerten Prozessen im Wertpapierhandel unter Verwendung der Multifaktorenregression

Gomolka, Johannes

2011

Signatur: PRR2337

Program flow analysis : theory and applications

Prentice-Hall software series

Muchnick, Steven S

1981

Signatur: TXB2383

The golden ticket : P, NP, and the search for the impossible

Fortnow, Lance

2013

Signatur: TVM4730

Volume driven selection of loop and data transformations for cache coherent parallel processors

Slowik, Adrian

1999

Signatur: TWT5507, P1319

Programming Languages and Systems

Müller, Peter

2020

Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings [Elektronische Ressource]

Dwyer, Matthew

2001

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings [Elektronische Ressource]

2001

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers [Elektronische Ressource]

Dam, Mads

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Average case analysis of algorithms on sequences

Wiley-Interscience series in discrete mathematics and optimization

Szpankowski, Wojciech

[2001]

Signatur: TVI3849

Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]

Lecture notes in computer science : 4313 (Alle Bände)

Margaria, Tiziana[Herausgeber]

2006

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

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

Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings [Elektronische Ressource]

Taha, Walid

2001

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

The Essence of Computation : Complexity, Analysis, Transformation [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

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]

Smolka, Gert

2000

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition [Elektronische Ressource]

Liblit, Ben

2007

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings [Elektronische Ressource]

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings [Elektronische Ressource]

Shan, Chung-chieh

2013

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings [Elektronische Ressource]

Cousot, Radhia

2005

Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings [Elektronische Ressource]

Garrigue, Jacques

2014

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers [Elektronische Ressource]

Cortesi, Agostino

2002

1 – 25 von 98

Suche als RSS-Feed

Aktive Filter

Neu hinzugefügt... im letzten Monat

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(88)
Gedruckt
(10)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(98)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(72)
Deutsch
(1)

Systemstelle

TVI
(2)
TVM
(2)
TXL
(2)
64
(1)
PRR
(1)
TWT
(1)
TWV
(1)
TXB
(1)

3 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Principles of program analysis : with 51 tables

Principles of program analysis : with 51 tables

The analysis of algorithms

Data structures and algorithms

Special issue on static program analysis (SAS '98) : papers presented at the SAS '98 Conference held in Pisa

Algorithmic trading : Analyse von computergesteuerten Prozessen im Wertpapierhandel unter Verwendung der Multifaktorenregression

Program flow analysis : theory and applications

The golden ticket : P, NP, and the search for the impossible

Volume driven selection of loop and data transformations for cache coherent parallel processors

Programming Languages and Systems

Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings [Elektronische Ressource]

Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings [Elektronische Ressource]

Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers [Elektronische Ressource]

Average case analysis of algorithms on sequences

Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]

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]

Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings [Elektronische Ressource]

The Essence of Computation : Complexity, Analysis, Transformation [Elektronische Ressource]

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]

Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition [Elektronische Ressource]

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings [Elektronische Ressource]

Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings [Elektronische Ressource]

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings [Elektronische Ressource]

Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings [Elektronische Ressource]

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern