UB Paderborn / Katalog / Suche / in CDI

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

Extending Java for high-level Web service construction

ACM transactions on programming languages and systems, 2003-11, Vol.25 (6), p.814-875

2003

Volltextzugriff (PDF)

Precise analysis of string expressions

Lecture notes in computer science, 2003, p.1-18

2003

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 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

1, 2000

Volltextzugriff (PDF)

Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

2007, 2007

Volltextzugriff (PDF)

Dual syntax for XML languages

Information systems (Oxford), 2008-06, Vol.33 (4), p.385-406

2008

Volltextzugriff (PDF)

The Design Space of Type Checkers for XML Transformation Languages

Database Theory - ICDT 2005, 2005, p.17-36

2005

Volltextzugriff (PDF)

Static analysis of XML transformations in Java

IEEE transactions on software engineering, 2004-03, Vol.30 (3), p.181-192

2004

Volltextzugriff (PDF)

Static validation of XSL transformations

ACM transactions on programming languages and systems, 2007-08, Vol.29 (4), p.21

2007

Volltextzugriff (PDF)

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

1995

Volltextzugriff (PDF)

Dual Syntax for XML Languages

Database Programming Languages, 2005, p.27-41

2005

Volltextzugriff (PDF)

MONA Implementation Secrets

Implementation and Application of Automata, 2001, p.182-194

2001

Volltextzugriff (PDF)

Compiler Construction: 18th International Conference, CC 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

2009 edition., 2009

Volltextzugriff (PDF)

The DSD Schema Language

Automated software engineering, 2002-08, Vol.9 (3), p.285-319

2002

Volltextzugriff (PDF)

Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings

2006

Volltextzugriff (PDF)

A domain-specific language for regular sets of strings and trees

IEEE transactions on software engineering, 1999-05, Vol.25 (3), p.378-386

1999

Volltextzugriff (PDF)

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

Lecture notes in computer science, 2000, Vol.1785, p.220-235

2000

Volltextzugriff (PDF)

Information systems preface

Information systems (Oxford), 2009-11, Vol.34 (7), p.577-577

2009

Volltextzugriff (PDF)

A domain-specific programming language for secure multiparty computation

Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security; 14-14 June 2007, 2007, p.21-30

2007

Volltextzugriff (PDF)