Year of publication
Subject
Type of material
Licence
Language
TIB reading rooms collection
LUH institutes collection
1–20 of 12,283 hits
Sort by:
Sort by:
-
μ-PBWT: a lightweight r-indexing of the PBWT for storing and querying UK Biobank data
Free accessBASE | 2023|Publisher: Oxford University Press, Università degli Studi di Milano-Bicocca: BOA (Bicocca Open Archive) -
ZIDS: A Privacy-Preserving Intrusion Detection System Using Secure Two-Party Computation Protocols
Oxford University Press | 2014|Publisher: Oxford University Press -
ZIDS: A Privacy-Preserving Intrusion Detection System Using Secure Two-Party Computation Protocols
British Library Online Contents | 2014|Publisher: Oxford University Press -
Zero-Knowledge-Private Counting of Group Triangles in Social Networks
British Library Online Contents | 2017|Publisher: Oxford University Press -
YVES POCHET AND LAURENCE A. WOLSEY * Production Planning Using Mixed Integer Programming. * Springer (2006). ISBN 978-0-387-29959-4. {pound}38.50/$59.95. * 477 pp. Hardbound.
Oxford University Press | 2009|Publisher: Oxford University Press -
YVES POCHET AND LAURENCE A. WOLSEY Production Planning Using Mixed Integer Programming. Springer (2006). ISBN 978-0-387-29959-4. 38.50/$59.95. 477 pp. Hardbound.
British Library Online Contents | 2009|Publisher: Oxford University Press -
YVES BERTOT AND PIERRE CASTERAN * Interactive Theorem Proving and Program Development (Coq'Art: The Calculus of Inductive Constructions). Texts in Theoretical Computer Science. An EATCS Series. (2004). ISBN 3-540-20854-2. 469pp. Hardcover.
Oxford University Press | 2006|Publisher: Oxford University Press -
Yves Bertot and Pierre CasteranInteractive Theorem Proving and Program Development (Coq'Art: The Calculus of Inductive Constructions). Texts in Theoretical Computer Science. An EATCS Series. (2004). ISBN 3-540-20854-2. 469pp. Hardcover.
British Library Online Contents | 2006|Publisher: Oxford University Press -
Your society needs you: BCS council - get elected
Oxford University Press | 2008Publisher: Oxford University Press
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.