... Urban, 2014a] Cezary Kaliszyk and Josef Urban. HOL(y)Hammer: Online ATP service for HOL Light. Mathematics in Computer Science, 2014. http://dx.doi.org/10. 1007/s11786-014-0182-0. [Kaliszyk and Urban, 2014b] Cezary Kaliszyk and Josef Urban ...
The book collects contributions from several countries, presenting current scientific and technical issues associated with this area of the building industry.
Underground Infrastructure of Urban Areas is of interest to academics, designers and builders of underground structures, manufacturers and suppliers of building materials and equipment, and to policy makers involved in managing and ...
... Cezary Urban - Mogliśmy wymieniać się doświadczeniami , podpatrywać eksperymentalne metody , które zdały egzamin w innych szkołach , a następnie przenosić je na Nasz grunt . Dr Danuta Nakoneczna dała nam prawdziwy kredyt zaufania ...
Cezary Orlowski. in Smart Cities Cezary Orlowski • Presents a unified method for smart urban interventions based on the adjustment of Scrum to the complexity of smart city projects . • Establishes a key model for intelligent systems ...
... Cezary Urban , dyrektor szczecińskiego XIII Liceum Ogólnokształ- cącego , widuje po lekcjach w kawiarniach swoich uczniów ubranych w szkolne bluzy . - W takich miejscach na pewno mają świa- domość tego , że są identyfikowalni . I to ich ...
Piotr Guzowski, Cezary Kuklo. 3. e. family. in. cities. and. towns. Cezary. Kuklo. DOI: 10.4324/9781003130819-5 e aracteristics of the demographic structures of the former urban family ought to be preceded by at least the shortest ...