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

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

Your search returned 9 results.

Results
	1.	Transactions on Large-Scale Data- and Knowledge-Centered Systems X [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou. by Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Liddle, Stephen W [editor.] \| Schewe, Klaus-Dieter [editor.] \| Zhou, Xiaofang [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)
	2.	ABZ 2014: The Landing Gear Case Study electronic resource Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / edited by Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe. by Boniol, Frédéric [editor.] \| Wiels, Virginie [editor.] \| Ait Ameur, Yamine [editor.] \| Schewe, Klaus-Dieter [editor.] \| SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	A Rigorous Semantics for BPMN 2.0 Process Diagrams electronic resource by Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe. by Kossak, Felix [author.] \| Illibauer, Christa [author.] \| Geist, Verena [author.] \| Kubovy, Jan [author.] \| Natschläger, Christine [author.] \| Ziebermayr, Thomas [author.] \| Kopetzky, Theodorich [author.] \| Freudenthaler, Bernhard [author.] \| Schewe, Klaus-Dieter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Correct Software in Web Applications and Web Services electronic resource edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger. by Thalheim, Bernhard [editor.] \| Schewe, Klaus-Dieter [editor.] \| Prinz, Andreas [editor.] \| Buchberger, Bruno [editor.] \| SpringerLink (Online service). Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaSource: 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.	Web Information Systems Engineering - WISE 2008 Электронный ресурс 9th International Conference, Auckland, New Zealand, 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, James Bailey, David Maier, Klaus-Dieter Schewe, Bernhard Thalheim, Xiaoyang Sean Wang. by Hutchison, David \| Bailey, James \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Maier, David \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Schewe, Klaus-Dieter \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Thalheim, Bernhard \| Tygar, Doug \| Vardi, Moshe Y \| Wang, Xiaoyang Sean \| Weikum, Gerhard \| 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)
	6.	Semantics in Data and Knowledge Bases Электронный ресурс Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers / 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, Klaus-Dieter Schewe, Bernhard Thalheim. by Hutchison, David \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Schewe, Klaus-Dieter \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Thalheim, Bernhard \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| 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)
	7.	Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. by Schewe, Klaus-Dieter [editor.] \| Thalheim, Bernhard [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)
	8.	Conceptual Modeling - ER 2007 Электронный ресурс 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings. by Parent, Christine \| Schewe, Klaus-Dieter \| Storey, Veda C \| Thalheim, Bernhard \| 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Abstract State Machines, Alloy, B, TLA, VDM, and Z electronic resource 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe. by Ait Ameur, Yamine [editor.] \| Schewe, Klaus-Dieter [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)