Results
|
101.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek. by
- Filipe, Joaquim [editor.]
- Maciaszek, Leszek A [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 417
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
102.
|
|
|
103.
|
|
|
104.
|
|
|
105.
|
Programming language concepts / Carlo Ghezzi, Mehdi Jazayeri. by
- Ghezzi, Carlo
- Jazayeri, Mehdi
Edition: 3rd ed.
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York : Wiley, c1998
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.133 GHP.
|
|
106.
|
|
|
107.
|
|
|
108.
|
|
|
109.
|
|
|
110.
|
|
|
111.
|
|
|
112.
|
|
|
113.
|
|
|
114.
|
|
|
115.
|
C# in depth / Jon Skeet. by
Edition: Third editions.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New york : Manning, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 SKC, ...
|
|
116.
|
|
|
117.
|
|
|
118.
|
|
|
119.
|
Type theory and formal proof : an introduction / Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by
- Nederpelt, R. P. (Rob P.) [author.]
- Geuvers, Herman, 1964- [author.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 551.3 NET, ...
|
|
120.
|
|