Results
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
|
|
|
184.
|
|
|
|
185.
|
|
|
|
186.
|
|
|
|
187.
|
|
|
|
188.
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
- Bertacco, Valeria [editor.]
- Legay, Axel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
189.
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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.
|
|
|
190.
|
|
|
|
191.
|
|
|
|
192.
|
|
|
|
193.
|
|
|
|
194.
|
|
|
|
195.
|
Enterprise JavaBeans 3.1 / Andrew Lee Rubinger and Bill Burke. by
- Rubinger, Andrew Lee
- Burke, Bill
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Mumbai. : SPD. c2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 RUE, ...
|
|
|
196.
|
|
|
|
197.
|
|
|
|
198.
|
|
|
|
199.
|
Head first design patterns / Eric Freeman, Elisabeth Freeman [Robson], with Kathy Sierra and Burt Bates. by
- Freeman, Eric, 1965-
- Robson, Elisabeth
- Sierra, Kathy
- Bates, Bert
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Sebastopol, CA : O'Reilly, c2004
Availability: Items available for loan: Central Library, SUST (4)Call number: 005.1 HEA, ...
|
|
|
200.
|
Semantic Models for Adaptive Interactive Systems [electronic resource] / edited by Tim Hussein, Heiko Paulheim, Stephan Lukosch, Jürgen Ziegler, Gaëlle Calvary. by
- Hussein, Tim [editor.]
- Paulheim, Heiko [editor.]
- Lukosch, Stephan [editor.]
- Ziegler, Jürgen [editor.]
- Calvary, Gaëlle [editor.]
- SpringerLink (Online service)
Series: Human–Computer Interaction Series
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.
|