Научная библиотека ТГУ catalog › Results of search for 'an:"326228"'

Search

Your search returned 7 results.

	1.	Testing software and systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.) by Yenigün, Hüsnü [edt] \| Yevtushenko, Nina V [edt] \| Cavalli, Ana Rosa [edt]. Series: Lecture notes in computer scienceMaterial type: Set Publication details: Cham Springer 2017Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Some classes of finite state machines with polynomial length of distinguishing test cases H. Yenigün, N. Yevtushenko, N. Kushik by Yenigün, Hüsnü \| Yevtushenko, Nina V \| Kushik, Natalia G. Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Theoretical Aspects of Computing - ICTAC 2008 Электронный ресурс 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Hutchison, David \| Fitzgerald, John S \| Haxthausen, Anne E \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Yenigün, Hüsnü \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by Yenigün, Hüsnü [editor.] \| Yilmaz, Cemal [editor.] \| Ulrich, Andreas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs H. Yenigün, N. Yevtushenko, N. Kushik by Yenigün, Hüsnü \| Yevtushenko, Nina V \| Kushik, Natalia G. Source: Information processing lettersMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Computer and Information Sciences - ISCIS 2006 Электронный ресурс 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings edited by Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy et al. by Levi, Albert \| Balcisoy, Selim \| Savas, Erkay \| Saygin, Yücel \| Yenigün, Hüsnü \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs N. Kushik, N. Yevtushenko, H. Yenigün by Kushik, Natalia G \| Yevtushenko, Nina V \| Yenigün, Hüsnü. Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, ItalyMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)