Results
|
|
101.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe. by
- Maciaszek, Leszek A [editor.]
- Filipe, Joaquim [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 410
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.
|
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.
|
|
|
103.
|
Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by
- Nishizaki, Shin-ya [editor.]
- Numao, Masayuki [editor.]
- Caro, Jaime [editor.]
- Suarez, Merlin Teodosia [editor.]
- SpringerLink (Online service)
Series: Proceedings in Information and Communications Technology ; 7
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Availability: No items available.
|
|
|
104.
|
|
|
|
105.
|
|
|
|
106.
|
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by
- Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany)
- Beklemishev, Lev D
- [Queiroz, Ruy de queiroz]
Series:
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ...
|
|
|
107.
|
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.). by
- Gramlich, Bernhard, Dr.rer.nat
- Miller, Dale (Dale A.)
- Sattler, Uli
Series:
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New york : Springer, c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.36028563 AUT, ...
|
|
|
108.
|
|
