Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
Choose an application
Atmospheric deposition --- Forest plants --- Forest botany --- Forest flora --- Forest vegetation --- Forest wildlife plants --- Forest-zone plants --- Wildlife plants, Forest --- Woodland plants --- Woodland vegetation --- Forests and forestry --- Plants --- Woodland garden plants --- Air pollutant deposition --- Atmospheric fallout --- Atmospheric pollutant deposition --- Deposition of air pollutants --- Deposition of atmospheric pollutants --- Fallout, Atmospheric --- Sedimentation and deposition --- Air --- Measurement --- Effect of atmospheric deposition on --- Pollution --- Air pollution. Air purification --- Netherlands
Choose an application
Energy Metabolism. --- Mathematics. --- Nutritional Requirements. --- Energy metabolism. --- Nutrition policy. --- Food supply. --- Métabolisme énergétique --- Politique alimentaire --- Aliments --- Approvisionnement --- 613.2 --- Energy metabolism --- Food supply --- Nutrition policy --- Food policy --- Nutrition and state --- State and nutrition --- Social policy --- Food control --- Produce trade --- Agriculture --- Food security --- Single cell proteins --- Bioenergetics --- Metabolism --- Microbial respiration --- Voedingsleer. Dieet --- Food --- Nutrition --- Government policy --- Métabolisme énergétique
Choose an application
#KVHA:Public relations --- #A91M1 --- 659 --- Reclame. Public relations --- Advertising. Public relations --- PR (public relations)
Choose an application
Choose an application
Zwart-witte opnamen van de stad Maastricht in de jaren 1932-'72 aangevuld met portretfoto's.
Choose an application
This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
Choose an application
Economic conditions. Economic development --- Economic relations. Trade --- Netherlands --- Competition, International --- 338 <492> --- 339.137 --- Economisch beleid 338.22 --- Economische toestand 338.1 --- Nederland (492) --- NL / Netherlands - Nederland - Pays Bas --- 380.23 --- International competition --- World economics --- International relations --- International trade --- War --- Vorming van internationale prijzen. Internationale gelijkheden en verschillen. Concurrentievermogen. --- Economic aspects --- Porter, Michael E. --- Economic conditions --- -Competition, International. --- Competition, International. --- -Competition, International --- -Economic conditions. Economic development --- The Netherlands --- Pays-Bas --- Países Baixos --- Holland --- Spanish Netherlands --- Pays-Bas espagnols --- Austrian Netherlands --- Pays-Bas autrichiens --- Oostenrijkse Nederlanden --- Southern Netherlands --- Pays-Bas méridionaux --- Zuidelijke Nederlanden --- Niderlandy --- Belanda --- Nederland --- Koninkrijk der Nederlanden --- Reino dos Países Baixos --- Royaume des Pays-Bas --- Kingdom of the Netherlands --- Países Bajos --- Holanda --- Nederlân --- Hulanda --- Beulanda --- Niderland --- Niderlande --- هولندا --- مملكة هولندا --- Mamlakat Hūlandā --- Olanda --- Payis-Bâs --- Países Baxos --- Aynacha Jach'a Markanaka --- Nirlan --- Niderland Krallığı --- Kē-tē-kok --- Landa --- Kerajaan Landa --- Нидерландтар --- Niderlandtar --- Нидерландтар Короллеге --- Niderlandtar Korollege --- Нідэрланды --- Каралеўства Нідэрланды --- Karaleŭstva Nidėrlandy --- Nederlands --- Niadaland --- Holandija --- Kraljevina Holandija --- Izelvroioù --- Нидерландия --- Niderlandii︠a︡ --- Кралство Нидерландия --- Kralstvo Niderlandii︠a︡ --- Països Baixos --- Нидерландсем --- Niderlandsem --- Нидерландсен Патшалăхĕ --- Niderlandsen Patshalăkhĕ --- Nizozemsko --- Paesi Bassi --- Regnu di i Paesi Bassi --- Iseldiroedd --- Nederlandene --- Niederlande --- Kéyah Wóyahgo Siʼánígíí --- Nižozemska --- Kralojstwo Nederlandow --- Madalmaad --- Ολλανδία --- Ollandia --- Hollandia --- Κάτω Χώρες --- Katō Chōres --- Βασίλειο των Κάτω Χωρών --- Vasileio tōn Katō Chōrōn --- Nederlando --- Reĝlando Nederlando --- Paisis Bajus --- Herbehereak --- Herbehereetako Erresumaren --- هلند --- Huland --- Niðurlond --- Háland --- Paîs Bas --- Neerlande --- Ísiltír --- Ríocht na hÍsiltíre --- Çheer Injil --- Çheer y Vagheragh --- Reeriaght ny Çheer Injil --- Tìrean Ìsle --- Hò-làn --- Недерлендин Нутг --- Nederlendin Nutg --- 네덜란드 --- Nedŏllandŭ --- Hōlani --- Nederlandia --- Pais Basse --- Regno del Paises Basse --- Нидерландтæ --- Niderlandtæ --- Нидерландты Къаролад --- Niderlandty Kʺarolad --- Konungsríkið Holland --- הולנד --- Holand --- ממלכת ארצות השפלה --- Mamlekhet Artsot ha-Shefelah --- Walanda --- Hollandi --- Нидерландла --- Niderlandla --- Нидерландланы Королевствосу --- Niderlandlany Korolevstvosu --- Néderlandzkô --- Нидерланд --- Iseldiryow --- Ubuholandi --- Ubuhorandi --- Nederilande --- Нидерланддар --- Niderlanddar --- Uholanzi --- Ufalme wa Nchi za Chini --- Нидерландъяс --- Niderlandʺi︠a︡s --- Нидерландъяс Корольув --- Niderlandʺi︠a︡s Korolʹuv --- Peyiba --- Holenda --- Keyatiya Nederlandan --- Payises Bashos --- פאייסיס באשוס --- Nīderlandeja --- Batavia --- Regni Nederlandiarum --- Nīderlandes Karaliste --- Nyderlandai --- Nyderlandų Karalystė --- Paixi Basci --- Paes Bass --- Ulanda --- Holland Királyság --- Keninkryk fan 'e Nederlannen --- Reino di Hulanda --- Холандија --- Кралство Холандија --- Kralstvo Holandija --- Pajjiżi l-Baxxi --- Hōrana --- Недерлатт --- Nederlatt --- Оцязорксши Недерлатт --- Ot︠s︡i︠a︡zorksshi Nederlatt --- Нидерландын Вант Улс --- Niderlandyn Vant Uls --- Tlanitlālpan --- Huēyitlahtohcāyōtl in Tlanitlālpan --- Eben Eyong --- Nederlaand --- オランダ --- Oranda --- オランダ王国 --- Oranda Ōkoku --- Ulanna --- Nethiland --- Nederlande --- Holandska --- Vorming van internationale prijzen. Internationale gelijkheden en verschillen. Concurrentievermogen --- Porter, Michael E., --- Porter, M.E. --- 波特
Choose an application
Choose an application
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
Electronic data processing --- Traitement réparti --- Distributed processing --- Congresses --- Congrès --- -681.3*D13 --- 681.3*F3 --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Concurrent programming --- Logics and meanings of programs (Theory of computation) --- Automation --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D13 Concurrent programming --- Traitement réparti --- Congrès --- 681.3*D13 --- Distributed processing&delete& --- Computer network architectures. --- Logic design. --- Computer science. --- Computer Communication Networks. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Listing 1 - 10 of 18 | << page >> |
Sort by
|