Results 201 to 210 of about 32,688 (228)
Some of the next articles are maybe not open access.

Hybrid systems in TLA+

1993
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire   +2 more sources

Zdravlje tla

2021
Zdravlje tla se definira kao sposobnost funkcioniranja tla kao vitalnog živog sustava unutar ekosustava i pod antropogenim utjecajem. Zdravlje tla održava zdravlje biljnih, životinjskih i ljudskih zajednica kao i kvalitetu vode i zraka. Plodnost je mogućnost tla da zadovolji potrebe biljaka za mineralnim tvarima i vodom.
Andrea, Makjanić, Diana, Mance
openaire   +1 more source

Mehanički postupak čišćenja tla - pranje tla

2009
Čišćenje tla dobiva sve veći značaj u industrijaliziranim zemljama. Pranje tla odnosno fizikalna separacija omogućava da se tlo očisti do stupnja da se može ponovno koristiti na istoj lokaciji ili na nekoj drugoj bez opasnosti po okoliš. Izdvojene nečistoće (metali, ugljikovodici) zbrinjavaju se kao poseban otpad bilo da se dalje obrađuju i/ili odlažu ...
Salopek, Branko   +3 more
openaire   +1 more source

Propusnost tla

2020
Između čvrstih čestica tla nalaze se pore (šupljine). Te šupljine omogućavaju prolazak vode kroz tlo. Sposobnost propusnog medija (tla) da omogućuje tečenje (propuštanje) vode definira se preko koeficijenta propusnosti. Znači propusnost možemo okarakterizirati kao lakoću kojom se voda kreće kroz određene slojeve tla.
openaire   +1 more source

On TLA as a Logic

1996
Martín Abadi, Stephan Merz
openaire   +2 more sources

Transcripts of Tla genes

Immunogenetics, 1987
A, Matsuura   +4 more
openaire   +2 more sources

Open systems in TLA

Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94, 1994
Martín Abadi, Leslie Lamport
openaire   +2 more sources

TLAs and beyond.

The British journal of theatre nursing : NATNews : the official journal of the National Association of Theatre Nurses, 1993
National Vocational Qualifications (NVQs) are a truly exciting new concept in training which match the development and assessment of knowledge and skills to service needs. They are non-prejudicial and have a flexibility which can make them an attractive option in any forum and to any grade of staff.
openaire   +1 more source

Home - About - Disclaimer - Privacy