Results
|
|
1721.
|
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / 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 ; 8049
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.
|
|
|
1722.
|
Computer-aided design and manufacture / C.B. Besant, C.W.K. Lui. by
- Besant, C. B
- Lui, C. W. K, 1955-
Edition: 3rd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Affiliated east-west press, 1986
Availability: Items available for loan: Central Library, SUST (1)Call number: 670.285 BEC.
|
|
|
1723.
|
Biodental engineering II / editors, R.M. Natal Jorge, J.C. Reis Campos, Joao Manuel R.S. Tavares, Mario A.P. Vaz & Sonia M. Santos, Universidade do Porto, Porto, Portugal. by
- International Conference on Biodental Engineering (2nd : 2012 : Porto, Portugal)
- Jorge, R. M. Natal [editor.]
- Campos, J. C. Reis [editor.]
- Tavares, Joao Manuel R. S [editor.]
- Vaz, Mario A. P [editor.]
- Santos, Sonia M [editor.]
Material type: Text; Literary form:
Not fiction
Other title:
- Biodental engineering 2
- Biodental engineering two
Availability: No items available.
|
|
|
1724.
|
|
|
|
1725.
|
|
|
|
1726.
|
|
|
|
1727.
|
|
|
|
1728.
|
|
|
|
1729.
|
|
|
|
1730.
|
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
- Binder, Walter [editor.]
- Bodden, Eric [editor.]
- Löwe, Welf [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
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.
|
|
|
1731.
|
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
- Giachino, Elena [editor.]
- Hähnle, Reiner [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
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.
|
|
|
1732.
|
|
|
|
1733.
|
|
|
|
1734.
|
Earthquake-Induced Landslides [electronic resource] : Proceedings of the International Symposium on Earthquake-Induced Landslides, Kiryu, Japan, 2012 / edited by Keizo Ugai, Hiroshi Yagi, Akihiko Wakai. by
- Ugai, Keizo [editor.]
- Yagi, Hiroshi [editor.]
- Wakai, Akihiko [editor.]
- SpringerLink (Online service)
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.
|
|
|
1735.
|
|
|
|
1736.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by
- Jhala, Ranjit [editor.]
- Bosschere, Koen De [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7791
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.
|
|
|
1737.
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by
- Cossentino, Massimo [editor.]
- Fallah Seghrouchni, Amal El [editor.]
- Winikoff, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8245
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.
|
|
|
1738.
|
|
|
|
1739.
|
|
|
|
1740.
|
|