Počet nalezených dokumentů: 289
Publikováno od do

Statistiky web serveru MEDARD-ONLINE rok 2004
Juruš, Pavel; Máj, Petr
2005 - český
Klíčová slova: webové statistiky; operační předpověď počasí; operační předpověď kvality ovzduší Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Statistiky web serveru MEDARD-ONLINE rok 2004

Juruš, Pavel; Máj, Petr
Ústav informatiky, 2005

Specification and Generation of Environment for Model Checking of Software Compnents
Pařízek, P.; Plášil, František
2005 - anglický
Klíčová slova: software components; behavior protocols; model checking; automatic environment generation Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Specification and Generation of Environment for Model Checking of Software Compnents

Pařízek, P.; Plášil, František
Ústav informatiky, 2005

Enhancing Behavior Protocols with Atomic Actions
Kofroň, Jan
2005 - anglický
Klíčová slova: software components; behavior protocols; atomic actions; event synchronization Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Enhancing Behavior Protocols with Atomic Actions

Kofroň, Jan
Ústav informatiky, 2005

Handling Heterogeneity in Connector Generation
Galík, O.; Bureš, Tomáš
2005 - anglický
Klíčová slova: software connectors; code synthesis; heterogeneous deployment Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Handling Heterogeneity in Connector Generation

Galík, O.; Bureš, Tomáš
Ústav informatiky, 2005

Troposférický ozón
Halenka, T.; Brechler, J.; Eben, Kryštof
2004 - český
Klíčová slova: kvalita ovzduší; troposférický ozón; chemický transportní model; emise Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Troposférický ozón

Halenka, T.; Brechler, J.; Eben, Kryštof
Ústav informatiky, 2004

Addressing Heterogeneity in OMG D&C-Based Deployment
Bulej, Lubomír; Bureš, Tomáš
2004 - anglický
Klíčová slova: OMG deployment; software connectors Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Addressing Heterogeneity in OMG D&C-Based Deployment

Bulej, Lubomír; Bureš, Tomáš
Ústav informatiky, 2004

Static Checking for Missing Bindings of Components
Adámek, Jiří; Plášil, František
2004 - anglický
Klíčová slova: software component; behavior specification; behavior protocols; component composition Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Static Checking for Missing Bindings of Components

Adámek, Jiří; Plášil, František
Ústav informatiky, 2004

Modeling Wind Speed in the Lower PBL
Eben, Kryštof; Juruš, Pavel; Belda, Michal
2004 - anglický
Klíčová slova: wind speed vertical profile; numerical weather prediction; PBL schemes; MM5 model Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Modeling Wind Speed in the Lower PBL

Eben, Kryštof; Juruš, Pavel; Belda, Michal
Ústav informatiky, 2004

Composing Connectors of Elements
Bureš, Tomáš; Plášil, František
2003 - anglický
Klíčová slova: software connector; component-based programming; software architecture; middleware; component interconnections Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Composing Connectors of Elements

Bureš, Tomáš; Plášil, František
Ústav informatiky, 2003

Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí
Novák, Mirko
2003 - český
Klíčová slova: neural networks; system alliances Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí

Novák, Mirko
Ústav informatiky, 2003

O službě

NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.

Vaše náměty a připomínky posílejte na email nusl@techlib.cz

Provozovatel

http://www.techlib.cz

Facebook

Zahraniční báze