Results
|
|
661.
|
|
|
|
662.
|
|
|
|
663.
|
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
- Duchier, Denys [editor.]
- Parmentier, Yannick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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.
|
|
|
664.
|
|
|
|
665.
|
|
|
|
666.
|
|
|
|
667.
|
|
|
|
668.
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by
- Beek, Maurice H. ter [editor.]
- Lohmann, Niels [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7843
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.
|
|
|
669.
|
|
|
|
670.
|
|
|
|
671.
|
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by
- Accorsi, Rafael [editor.]
- Ranise, Silvio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8203
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.
|
|
|
672.
|
|
|
|
673.
|
|
|
|
674.
|
|
|
|
675.
|
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages [electronic resource] : 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings / edited by Ira Diethelm, Roland T. Mittermeir. by
- Diethelm, Ira [editor.]
- Mittermeir, Roland T [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7780
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.
|
|
|
676.
|
|
|
|
677.
|
|
|
|
678.
|
The Intel microprocessors : 8086/8088, 80186/80188, 80286, 80386, 80486, Pentium, Pentium Pro processor, Pentium II, Pentium III, Pentium 4, and Core2 with 64-bit extensions : architecture, programming, and interfacing / Barry B. Brey. by
Edition: 8th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Upper Saddle River, N.J. : Pearson Prentice Hall, c2009
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.165 BRI, ...
|
|
|
679.
|
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi. by
- Fürnkranz, Johannes [editor.]
- Hüllermeier, Eyke [editor.]
- Higuchi, Tomoyuki [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8140
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.
|
|
|
680.
|
|
