Results
|
|
101.
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura. by
- Iyoda, Juliano [editor.]
- Moura, Leonardo de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8195
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.
|
Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by
- Cordeiro, José [editor.]
- Virvou, Maria [editor.]
- Shishkov, Boris [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 170
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.
|
|
|
105.
|
|
|
|
106.
|
|
|
|
107.
|
|
|
|
108.
|
|
|
|
109.
|
Sensor Systems and Software [electronic resource] : 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers / edited by Marco Zuniga, Gianluca Dini. by
- Zuniga, Marco [editor.]
- Dini, Gianluca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 122
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.
|
|
|
110.
|
|
|
|
111.
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
- Păsăreanu, Corina S [editor.]
- Salaün, Gwen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
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.
|
|
|
112.
|
|
|
|
113.
|
Software tools in business : WordPerfect 4.2, 5.0, 5.1, Lotus 1-2-3, release 2.01, 2.2, dBASE III Plus / Timothy Trainor, Jeffrey Stipes. by
- Trainor, Timothy
- Stipes, Jeffrey
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Mitchell McGraw-Hill, c1991
Availability: Items available for loan: Central Library, SUST (1)Call number: 650.02855365 TRS.
|
|
|
114.
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
- Yenigün, Hüsnü [editor.]
- Yilmaz, Cemal [editor.]
- Ulrich, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.
|
|
|
115.
|
TypeScript Revealed [electronic resource] / by Dan Maharry. by
- Maharry, Dan [author.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Availability: No items available.
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
Moving Target Defense II [electronic resource] : Application of Game Theory and Adversarial Modeling / edited by Sushil Jajodia, Anup K. Ghosh, V.S. Subrahmanian, Vipin Swarup, Cliff Wang, X. Sean Wang. by
- Jajodia, Sushil [editor.]
- Ghosh, Anup K [editor.]
- Subrahmanian, V.S [editor.]
- Swarup, Vipin [editor.]
- Wang, Cliff [editor.]
- Wang, X. Sean [editor.]
- SpringerLink (Online service)
Series: Advances in Information Security ; 100
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.
|
|
|
119.
|
Security and Privacy Protection in Information Processing Systems [electronic resource] : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / edited by Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi. by
- Janczewski, Lech J [editor.]
- Wolfe, Henry B [editor.]
- Shenoi, Sujeet [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 405
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.
|
|
|
120.
|
|