与 «ЛАМПКА»相关的乌克兰语书籍
在以下的参考文献中发现
лампка的用法。与
лампка相关的书籍以及同一来源的简短摘要提供其在 乌克兰语文献中的使用情境。
»Do twyeh pokoi S sieni na prawo, w jednym z nieh wisi Lampka ze zlota, ta lampka swiéei Gdy sie rozbiérasz gdy wlos iak wstega Zlota rozlany po twej kibiei , Szeroko plynae az do stop siçga к 4. — » I to nie dowod , mógl kto z myeh braei ...
2
Runtime Verification: 4th International Conference, RV ... - Сторінка 402
Giannopoulou, G., Lampka, K., Stoimenov, N., Thiele, L.: Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems. In: Proc. International Conference on Embedded Software ...
Axel Legay, Saddek Bensalem,
2013
3
Theory and Application of Multi-Formalism Modeling - Сторінка 194
Kwiatkowska, M., Mehmood, R., Norman, G., & Parker, D. (2002). A symbolic out-of-coresolution method for Markov models. Electronic Notes in Theoretical Computer Science, 68(4), 589–604. doi:10.1016/S1571-0661(05)80394-9 Lampka, ...
4
Transactions on Petri Nets and Other Models of Concurrency VI
282–302. Springer, Heidelberg (2000) Lampka, K.: A new algorithm for partitioned symbolic reachability analysis. In: Workshop on Reachability Problems. ENTCS, vol. 223 (2008) Lampka, K., Siegle, M.: Activity-Local State Graph Generation ...
Wil van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis,
2012
5
Практическое пчеловодство - Частина 1 - Сторінка 7
... т. е. иолный пчельный рой, который помѣщается, или въ дуплѣ гнилаго дерева, или въ ульѣ рукою человѣка устроенномъ и для жилища сего насѣкомаго предназначенномъ, составляютъ слѣдующія пчелы: 1) лампка, 2) рабочія ...
6
Slovar' Akademii Rossijskoj: A - G - Том 1 - Сторінка 73
Гуща, осшающаяся барбарисовыхъ ягодѣ здѣланный. послѣ выгона хлѣбнаго вина. Дар24добрисный сока, лампка, лопа утугалютó скота. языка. „14, 44, 45. въ, а, дѣ. 99999994 ч999 ч9- ччч- Ччччприл.. Барбарису свойсшвенный ...
Imperatorskaja Akademija Nauk (Sankt-Peterburg),
1789
7
Formal Modeling and Analysis of Timed Systems: 9th ... - Сторінка 208
Springer, Heidelberg (2010) Woehrle, M., Lampka, K., Thiele, L.: Exploiting timed automata for conformance testing of power measurements. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS, vol. 5813, pp. 275–290. Springer ...
Uli Fahrenberg, Stavros Tripakis,
2011
8
Resilience Assessment and Evaluation of Computing Systems
240–245 K. Lampka, A symbolic approach to the state graph based analysis of high-level markov reward models. ... Fakultät (2007) K. Lampka, M. Siegle, Activity-local symbolic state graph generation for high-level stochastic models, ...
Katinka Wolter, Alberto Avritzer, Marco Vieira,
2012
9
Nowy słownik angielsko-polski - Том 1 - Сторінка 392
mala lampa) lamp, light; choinka z czerwonymi lampkami Christmas tree with red lights; lampka kontrolna indicator light, pilot light; lampka nagrobkowa eternal I. memorial lights; lampka nocna bedside lamp; lampka wieczysta /. wieczna rel.
Arleta Adamska-Sałaciak, Piotr Gąsiorowski, Kościuszko Foundation,
2003
10
Graphic Design: A Creative Approach - Сторінка xxv
... Butlak Paul Butlak Thomas McGinty Philip Swiantek Author David Elminowski Judith Lampka Judith Lampka Judith Lampka Judith Lampka Judith Lampka Judith Lampka Institution Holy Angels Academy Buffalo, N. Y. Bowmansville Elem.