Resultados
|
1.
|
Abstract state machines, alloy, b, tla, vdm, and z : 4th international conference, abz 2014, toulouse, france, june 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe. por
- Ait Ameur, Yamine [editor.]
- Schewe, Klaus-Dieter [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8477
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
2.
|
Abz 2014: the landing gear case study : 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. por
- Boniol, Frédéric [editor.]
- Wiels, Virginie [editor.]
- Ait Ameur, Yamine [editor.]
- Schewe, Klaus-Dieter [editor.]
- SpringerLink (Servicio en línea)
Series Communications in Computer and Information Science ; 433
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
3.
|
Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings / edited by Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim. por
- Parent, Christine [editor.]
- Schewe, Klaus-Dieter [editor.]
- Storey, Veda C [editor.]
- Thalheim, Bernhard [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4801
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
4.
|
|
|
5.
|
Correct software in web applications and web services / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger. por
- Thalheim, Bernhard [editor.]
- Schewe, Klaus-Dieter [editor.]
- Prinz, Andreas [editor.]
- Buchberger, Bruno [editor.]
- SpringerLink (Servicio en línea)
Series Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
6.
|
Database and Expert Systems Applications : 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou. por
- Hameurlain, Abdelkader [editor.]
- Liddle, Stephen W [editor.]
- Schewe, Klaus-Dieter [editor.]
- Zhou, Xiaofang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6860
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
7.
|
Database and Expert Systems Applications : 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part II / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou. por
- Hameurlain, Abdelkader [editor.]
- Liddle, Stephen W [editor.]
- Schewe, Klaus-Dieter [editor.]
- Zhou, Xiaofang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6861
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
8.
|
Database and Expert Systems Applications : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou. por
- Liddle, Stephen W [editor.]
- Schewe, Klaus-Dieter [editor.]
- Tjoa, A Min [editor.]
- Zhou, Xiaofang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7447
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
9.
|
Database and Expert Systems Applications : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou. por
- Liddle, Stephen W [editor.]
- Schewe, Klaus-Dieter [editor.]
- Tjoa, A Min [editor.]
- Zhou, Xiaofang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7446
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
10.
|
A rigorous semantics for bpmn 2.0 process diagrams / Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe. por
- Kossak, Felix [autor.]
- Illibauer, Christa [autor.]
- Geist, Verena [autor.]
- Kubovy, Jan [autor.]
- Natschläger, Christine [autor.]
- Ziebermayr, Thomas [autor.]
- Kopetzky, Theodorich [autor.]
- Freudenthaler, Bernhard [autor.]
- Schewe, Klaus-Dieter [autor.]
- SpringerLink (Servicio en línea)
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
11.
|
Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. por
- Schewe, Klaus-Dieter [editor.]
- Thalheim, Bernhard [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4925
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
|
12.
|
Semantics in Data and Knowledge Bases : 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. por
- Schewe, Klaus-Dieter [editor.]
- Thalheim, Bernhard [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6834
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
13.
|
Semantics in Data and Knowledge Bases : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. por
- Schewe, Klaus-Dieter [editor.]
- Thalheim, Bernhard [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7693
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
14.
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI : 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. por
- Hameurlain, Abdelkader [editor.]
- Küng, Josef [editor.]
- Wagner, Roland [editor.]
- Liddle, Stephen W [editor.]
- Schewe, Klaus-Dieter [editor.]
- Zhou, Xiaofang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7600
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
15.
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems X : 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. por
- Hameurlain, Abdelkader [editor.]
- Küng, Josef [editor.]
- Wagner, Roland [editor.]
- Liddle, Stephen W [editor.]
- Schewe, Klaus-Dieter [editor.]
- Zhou, Xiaofang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8220
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
16.
|
Web Information Systems Engineering - WISE 2008 : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings / edited by James Bailey, David Maier, Klaus-Dieter Schewe, Bernhard Thalheim, Xiaoyang Sean Wang. por
- Bailey, James [editor.]
- Maier, David [editor.]
- Schewe, Klaus-Dieter [editor.]
- Thalheim, Bernhard [editor.]
- Wang, Xiaoyang Sean [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5175
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|