Your search returned 159 results.

|
101.
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings / Naoki Kobayashi (ed.).

by APLAS 2006 (2006 : Sydney, N.S.W.) | Kobayashi, Naoki.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: APLAS 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .A65 2006.
102.
DNA computing : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006 : revised selected papers / Chengde Mao, Takashi Yokomori (eds.).

by International Workshop on DNA Computing (12th : 2006 : Seoul, Korea) | Mao, Chengde | Yokomori, Takashi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: 12th International Meeting on DNA Computing | Twelfth International Meeting on DNA Computing | International Meeting on DNA Computing | DNA12.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.887 .I58 2006.
103.
Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / Manfred Morari, Lothar Thiele (eds.).

by HSCC (Conference) (2005 : Zurich, Switzerland) | Morari, Manfred | Thiele, Lothar.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.38 .H73 2005.
104.
Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Mooly Sagiv (ed.).

by European Symposium on Programming (14th : 2005 : Edinburgh, Great Britain) | Sagiv, Mooly.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: ESOP 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.6 .E976 2005.
105.
Languages and compilers for high performance computing : 17th international workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004 : revised selected papers / Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff (eds.).

by Workshop on Languages and Compilers for Parallel Computing (17th : 2004 : West Lafayette, Ind.) | Eigenmann, Rudolf | Li, Zhiyuan, 1954- | Midkiff, Samuel P. (Samuel Pratt), 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: LCPC 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.88 .W672 2004.
106.
Journal on data semantics II / Stefano Spaccapietra ... [et al.], (eds.).

by Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c2005Other title: Journal on data semantics 2.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA75.5 .L43 v.3360.
107.
SOFSEM 2005 : theory and practice of computer science : 31st conference on current trends in theory and practice of computer science, Liptovský Ján, Slovakia, January 22-28, 2005 : proceedings / Peter Vojtáš ... [et al.] (eds.).

by SOFSEM (Conference) (31st : 2005 : Liptovský Ján, Slovakia) | Vojtáš, Peter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.751 .S62 2005.
108.
Dependable computing EDCC-5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings / Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.).

by European Dependable Computing Conference (5th : 2005 : Budapest, Hungary) | Dal Cin, Mario, 1940- | Kaaniche, Mohamed | Pataricza, András, 1954-.

Material type: Text Text; Format: available online remote Publisher: Berlin ; New York : Springer, c2005Other title: EDCC-5.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.F38 E95 2005.
109.
Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / Manuel Hermenegildo, Daniel Cabeza (eds.).

by PADL 2005 (2005 : Long Beach, Calif.) | Hermenegildo, Manuel | Cabeza, Daniel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: PADL 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .P32 2005.
110.
Public key cryptography : PKC 2005 : 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005 : proceedings / Serge Vaudenay (ed.).

by International Workshop on Theory and Practice in Public Key Cryptography (8th : 2005 : Les Diablerets, Switzerland) | Vaudenay, Serge.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: PKC 2005 | 8th International Workshop on Theory and Practice in Public Key Cryptography | Eighth International Workshop on Theory and Practice in Public Key Cryptography | International Workshop on Theory and Practice in Public Key Cryptography | Theory and practice in public key cryptography.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.A25 I575 2005.
111.
Membrane computing : 5th international workshop, WMC 2004, Milan, Italy, June 14-16, 2004 : revised selected and invited papers / Giancarlo Mauri ... [et al.] (eds.).

by WMC 2004 (2004 : Milan, Italy) | Mauri, Gian Carlo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: WMC 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.887 .W48 2004.
112.
Job scheduling strategies for parallel processing : 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004 : revised selected papers / Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.).

by JSSPP 2004 (2004 : New York, N.Y.) | Feitelson, Dror G | Rudolph, Larry | Schwiegelshohn, Uwe, 1958-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York, N.Y. : Springer, 2005Other title: JSSPP 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.58 .J757 2004.
113.
Coordination models and languages : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings / Jean-Marie Jacquet, Gian Pietro Picco (eds.).

by COORDINATION 2005 (2005 : Namur, Belgium) | Jacquet, J.-M (Jean-Marie) | Picco, Gian Pietro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: COORDINATION 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.58 .C695 2005.
114.
Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).

by Symposium on the Occasion of 25 Years of CSP (2004 : London, England) | Abdallah, Ali E, 1957- | Jones, C. B. (Cliff B.), 1944- | Sanders, Jeff W | Hoare, C. A. R. (Charles Antony Richard), 1934-. Communicating sequential processes.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: Symposium on the Occasion of 25 years of CSP.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.73.C75 S96 2004.
115.
Advances in cryptology -- EUROCRYPT 2005 : 24th annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005 : proceedings / Ronald Cramer (ed.).

by EUROCRYPT 2005 (2005 : Arhus, Denmark) | Cramer, Ronald, Ph. D | International Association for Cryptologic Research.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: EUROCRYPT 2005 | 24th annual International Conference on the Theory and Applications of Cryptographic Techniques | Twenty-fourth annual International Conference on the Theory and Applications of Cryptographic Techniques | Annual International Conference on the Theory and Applications of Cryptographic Techniques | International Conference on the Theory and Applications of Cryptographic Techniques.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.A25 E964 2005.
116.
Advances in neural networks -- ISNN 2005 : Second International Symposium on Neural Networks, Chongqing, China, May 30-June 1, 2005 : proceedings / Jun Wang, Xiaofeng Liao, Zhang Yi (eds.).

by International Symposium on Neural Networks (2nd : 2005 : Chongqing, China) | Wang, Jun (Jun Li Jim) | Liao, Xiaofeng | Yi, Zhang.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: Second Second International Symposium on Neural Networks | International Symposium on Neural Networks | ISNN 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (3). Location(s): Online Call number: QA76.87 .I5845 2005.
117.
Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings / Henry S. Baird, Daniel P. Lopresti (eds.).

by HIP 2005 (2005 : Bethlehem, Pa.) | Baird, Henry S | Lopresti, Daniel Philip.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: HIP 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: TK7882.P3 H57 2005.
118.
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers / João Leite ... [et al.] (eds.).

by International Workshop on Declarative Agent Languages and Technologies (2nd : 2004 : New York, N.Y.) | Leite, João Alexandre.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: DALT 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .I5775 2004.
119.
Advanced encryption standard -- AES : 4th international conference, AES 2004, Bonn, Germany, May 10-12, 2004 : revised selected and invited papers / Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa (eds.).

by AES 2004 (2004 : Bonn, Germany) | Dobbertin, Hans, 1952-2006 | Rijmen, Vincent, 1970- | Sowa, Aleksandra.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: Advanced encryption standard | AES | AES 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.A25 A4 2004.
120.
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust].

by Rust, Heinrich.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.54 .R87 2005.