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

Search

Your search returned 5 results.

	1.	Adapting Proofs-as-Programs Электронный ресурс The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz \| Crossley, John Newsome \| Wirsing, Martin \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Knowledge Science, Engineering and Management electronic resource 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / edited by Songmao Zhang, Martin Wirsing, Zili Zhang. by Zhang, Songmao [editor.] \| Wirsing, Martin [editor.] \| Zhang, Zili [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Software-Intensive Systems and New Computing Paradigms Электронный ресурс Challenges and Visions / 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, Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer. by Hutchison, David \| Banâtre, Jean-Pierre \| Hölzl, Matthias \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Rauschmayer, Axel \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Wirsing, Martin \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Software Engineering for Collective Autonomic Systems electronic resource The ASCENS Approach / edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer. by Wirsing, Martin [editor.] \| Hölzl, Matthias [editor.] \| Koch, Nora [editor.] \| Mayer, Philip [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Theoretical Aspects of Computing - ICTAC 2005 Электронный ресурс Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings edited by Dang Van Hung, Martin Wirsing. by Hung, Dang Van \| Wirsing, Martin \| 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., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)