يعرض 61 - 80 نتائج من 409 نتيجة بحث عن 'Tools and Algorithms for the Construction and Analysis of Systems', وقت الاستعلام: 0.15s تنقيح النتائج
61
بواسطة Burger, Wilhelm, Burge, Mark J.
منشور في 2009.
...This easy-to-follow textbook is the second of three volumes which provide a modern, algorithmic...
احصل على النص الكامل
Livro
63
... be intractable. Therefore, we focus on algorithms that enumerate MUSes online, i.e. one by one, and thus can find...
احصل على النص الكامل
احصل على النص الكامل
Artigo
64
... tool, and acts as an effective teaching aid for the theory behind the algorithm. Preliminary tests...
احصل على النص الكامل
احصل على النص الكامل
Artigo
71
بواسطة Ivanytska Olga, Panchenko Alla
منشور في 2015-09-01
... the main features of the object of the system approach; regulation time parameters; wood construction...
احصل على النص الكامل
Artigo
74
... of the input space, a unique design point in the space of DNN analysis tools. We describe the tool...
احصل على النص الكامل
احصل على النص الكامل
Artigo
76
... for methods supporting comparative, evolutionary analysis is also growing. In particular, efficient tools...
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo
79
بواسطة Johannes Schmidt, Lukas Werther, Christoph Zielhofer
منشور في 2018-01-01
... tool that scans the surface with high spatial resolution and allows for the removal of vegetation cover...
احصل على النص الكامل
Artigo