Year of publication
Type of media
Type of material
Licence
Language
1–20 of 78 hits
Sort by:
Sort by:
-
On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions
British Library Online Contents | 1995| -
Generating Oracles from Your Favorite Temporal Logic Specifications
British Library Online Contents | 1996| -
Monitoring and controlling of CO~2 concentrations in open top chambers for better understanding of plants response to elevated CO~2 levels
British Library Online Contents | 2006| -
On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions
British Library Conference Proceedings | 1994| -
Role of Weather Forecasting in Improving Agricultural Productivity in Subsidy-free Environment
British Library Online Contents | 2000| -
Programs for Watershed-Plus phase for rainfed regions in India [6411-56]
British Library Conference Proceedings | 2006| -
Genetic associations, variability and diversity in seed characters, growth, reproductive phenology and yield in Jatropha curcas (L.) accessions
British Library Online Contents | 2008| -
Growth response of mustard [Brassica juncea (L.) Czern & Coss] to irrigation levels in relation to temperature and radiation regimes
British Library Online Contents | 1996| -
Estimating the potential of rainfed agriculture in India: Prospects for water productivity improvements
British Library Online Contents | 2010| -
Software design, specification, and verification: Lessons learned from the Rether case study
British Library Conference Proceedings | 1997|
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.