Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 4 results.

Results
	1.	Application and Theory of Petri Nets 2002 Электронный ресурс 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24вЂ“30, 2002 Proceedings / edited by Javier Esparza, Charles Lakos. by Esparza, Javier \| Lakos, Charles. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Unfoldings Электронный ресурс A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier \| Heljanko, Keijo \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science An EATCS SeriesSource: 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)
	3.	Automata, Languages, and Programming electronic resource 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias. by Esparza, Javier [editor.] \| Fraigniaud, Pierre [editor.] \| Husfeldt, Thore [editor.] \| Koutsoupias, Elias [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Automata, Languages, and Programming electronic resource 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias. by Esparza, Javier [editor.] \| Fraigniaud, Pierre [editor.] \| Husfeldt, Thore [editor.] \| Koutsoupias, Elias [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)