Results
|
1.
|
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 Series: Communications in Computer and Information Science ; 433
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
2.
|
|
|
3.
|
|
|
4.
|
Web Information Systems Engineering - WISE 2008 [electronic resource] : 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. by Series: Lecture Notes in Computer Science ; 5175
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
5.
|
|
|
6.
|
Database and Expert Systems Applications [electronic resource] : 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. by Series: Lecture Notes in Computer Science ; 6860
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
7.
|
Database and Expert Systems Applications [electronic resource] : 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. by Series: Lecture Notes in Computer Science ; 6861
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
8.
|
|
|
9.
|
|
|
10.
|
Database and Expert Systems Applications [electronic resource] : 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. by Series: Lecture Notes in Computer Science ; 7447
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
11.
|
Database and Expert Systems Applications [electronic resource] : 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. by Series: Lecture Notes in Computer Science ; 7446
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
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 Series: Lecture Notes in Computer Science ; 8477
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|