Your search returned 9 results. Subscribe to this search

|
1. Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.).

by International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark) | Nielson, Hanne Riis, 1954- | Filé, Gilberto, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: SAS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .I5733 2007.
Place hold Log in to add tags.
2. Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / Francesca Saglietti, Norbert Oster (eds.).

by International Conference on Computer Safety, Reliability, and Security (26th : 2007 : Nuremberg, Germany) | Saglietti, F. (Francesca) | Oster, Norbert.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: SAFECOMP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2007.
3. Recent advances in parallel virtual machine and message passing interface : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30-October 3, 2007 : proceedings / Franck Cappello, Thomas Herault, Jack Dongarra (eds.).

by European PVM/MPI Users' Group Meeting (14th : 2007 : Paris, France) | Cappello, Franck | Herault, Thomas | Dongarra, J. J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: EuroPVM/MPI 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.58 .E973 2007.
4. Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings / Zhong Shao (ed.).

by APLAS 2007 (2007 : Singapore) | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: APLAS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .A65 2007.
5. Composition of embedded systems : scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers / Fabrice Kordon, Oleg Sokolsky (eds.).

by Monterey Workshop (13th : 2006 : Paris, France) | Kordon, Fabrice | Sokolsky, Oleg.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TK7895.E42 M66 2006.
6. Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Paolo Ciancarini, Herbert Wiklicky (eds.).

by COORDINATION 2006 (2006 : Bologna, Italy) | Ciancarini, Paolo, 1959- | Wiklicky, Herbert.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: COORDINATION 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.58 .C695 2006.
7. Recent advances in parallel virtual machine and message passing interface : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006 : proceedings / Bernd Mohr ... [et al.] (eds.).

by European PVM/MPI Users' Group Meeting (13th : 2006 : Bonn, Germany) | Mohr, Bernd.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: Parallel virtual machine and message passing interface | Thirteenth European PVM/MPI Users' Group Meeting | European PVM/MPI Users' Group Meeting | EuroPVM/MPI 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.58 .E973 2006.
8. Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.).

by International Conference on Computer Safety, Reliability, and Security | Górski, Janusz, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: SAFECOMP 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2006.
9. Rigorous development of complex fault-tolerant systems / Michael Butler ... [et al.] (eds.).

by Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England) | Butler, Michael, 1967- | International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: REFT 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 W67 2006.