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

The Land Is Our Community: Aldo Leopold’s Environmental Ethic for the New Millennium

Millstein, Roberta L

1, 2024

Volltextzugriff (PDF)

Automated repair of HTML generation errors in PHP applications using string constraint solving

2012 34th International Conference on Software Engineering (ICSE), 2012, p.277-287

2012

Volltextzugriff (PDF)

Civil Society Responses to Changing Civic Spaces

1, 2023

Volltextzugriff (PDF)

End-to-end sequential consistency

2012 39th Annual International Symposium on Computer Architecture (ISCA), 2012, p.524-535

2012

Volltextzugriff (PDF)

A Safety-First Approach to Memory Models

IEEE MICRO, 2013-05, Vol.33 (3), p.96-104

2013

Volltextzugriff (PDF)

Sexual, Marital, and Social Impact of a Man's Perceived Infertility Diagnosis

Journal of sexual medicine, 2009-09, Vol.6 (9), p.2505-2515

2009

Volltextzugriff (PDF)

Modular Statically Typed Multimethods

Information and computation, 2002-05, Vol.175 (1), p.76-118

2002

Volltextzugriff (PDF)

Generating error traces from verification-condition counterexamples

Science of computer programming, 2005-03, Vol.55 (1), p.209-226

2005

Volltextzugriff (PDF)

Polymorphic predicate abstraction

ACM transactions on programming languages and systems, 2005-03, Vol.27 (2), p.314-343

2005

Volltextzugriff (PDF)

Query containment for data integration systems

Journal of computer and system sciences, 2003-02, Vol.66 (1), p.20-39

2003

Volltextzugriff (PDF)

Inference of User-Defined Type Qualifiers and Qualifier Rules

Lecture notes in computer science, 2006, p.264-278

2006

Volltextzugriff (PDF)

Modular typechecking for hierarchically extensible datatypes and functions

ACM transactions on programming languages and systems, 2004-09, Vol.26 (5), p.836-889

2004

Volltextzugriff (PDF)

Mechanism and Causality in Biology and Economics

2013, 2013

Volltextzugriff (PDF)

Modular Statically Typed Multimethods

ECOOP’ 99 — Object-Oriented Programming, 1999, p.279-303

1999

Volltextzugriff (PDF)

Promoting the Health of Adolescents: New Directions for the Twenty-First Century

Millstein, Susan G., Ed

1993

Volltextzugriff (PDF)

Corporate Governance: Improving Competitiveness and Access to Capital in Global Markets: A Report to the OECD by the Business Sector Advisory Group on Corporate Governance

OECD

1998

Volltextzugriff (PDF)

Secure Information Flow for Concurrent Programs under Total Store Order

2012 IEEE 25th Computer Security Foundations Symposium, 2012, p.19-29

2012

Volltextzugriff (PDF)

Session details: Language constructs

SIGPLAN notices, 2006-06, Vol.41 (6)

Millstein, T.

2006

Volltextzugriff (PDF)

Language constructs

Conference on Programming Language Design and Implementation: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, 2006