Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by
- Bonifaci, Vincenzo [editor.]
- Demetrescu, Camil [editor.]
- Marchetti-Spaccamela, Alberto [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7933
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.
|
|
11.
|
|
|
12.
|
|
|
13.
|
Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang. by
- Xu, Weixia [editor.]
- Xiao, Liquan [editor.]
- Lu, Pingjing [editor.]
- Li, Jinwen [editor.]
- Zhang, Chengyi [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 337
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.
|
|
14.
|
|
|
15.
|
A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by
- Cunningham, Daniel W [author.]
- SpringerLink (Online service)
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: Items available for loan: Central Library, SUST (2)Call number: 510 CUL, ...
|
|
16.
|
Logic Programming with Prolog [electronic resource] / by Max Bramer. by
- Bramer, Max [author.]
- SpringerLink (Online service)
Edition: 2nd ed. 2013.
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.
|
|
17.
|
|
|
18.
|
|
|
19.
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, José Gabriel de Figueiredo Coutinho, Pedro C. Diniz. by
- Brisk, Philip [editor.]
- Figueiredo Coutinho, José Gabriel de [editor.]
- Diniz, Pedro C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7806
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.
|
|
20.
|
Network and Parallel Computing [electronic resource] : 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings / edited by Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng. by
- Hsu, Ching-Hsien [editor.]
- Li, Xiaoming [editor.]
- Shi, Xuanhua [editor.]
- Zheng, Ran [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8147
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.
|