Your search returned 29 results. Subscribe to this search

|
1. Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings.

by Logozzo, Francesco | Fähndrich, Manuel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin/Heidelberg : Springer Berlin Heidelberg, 2013Copyright date: ©2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .S738 2013.
2. Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II.

by Hutchison, David | Kanade, Takeo | Kittler, Josef | Peleg, David.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin/Heidelberg : Springer Berlin Heidelberg, 2013Copyright date: ©2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .A986 2013.
3. 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.
4. Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).

by RR 2007 (2007 : Innsbruck, Austria) | Marchiori, M. (Massimo) | Pan, Jeff Z | Sainte Marie, Christian de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: RR 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.63 .I56 2007.
5. Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC 2007 (2007 : Macau, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Duration caculus.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.54 .I577 2007.
6. Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / Balder D. ten Cate, Henk W. Zeevat (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia) | Cate, Balder David ten | Zeevat, Henk, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: 6th International Tbilisi Symposium on Logic, Language, and Computation | Sixth International Tbilisi Symposium on Logic, Language, and Computation | International Tbilisi Symposium on Logic, Language, and Computation | TbiLLC 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.L63 I565 2005.
7. Languages and compilers for parallel computing : 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers / George Almási, Călin Caşcaval, Peng Wu (eds.).

by Workshop on Languages and Compilers for Parallel Computing (19th : 2006 : New Orleans, La.) | Almasi, George S, 1938- | Caşcaval, Călin | Wu, Peng, 1974-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, c2007Other title: LCPC 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.58 .W656 2006.
8. Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings / Michael Hanus (ed.).

by PADL 2007 (2007 : Nice, France) | Hanus, Michael, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: PADL 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .P32 2007.
9. Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Rocco De Nicola (ed.).

by European Symposium on Programming (16th : 2007 : Braga, Portugal) | De Nicola, Rocco | ETAPS 2007 (2007 : Braga, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: ESOP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .E976 2007.
10. Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers / Marcelo Arenas, Michael I. Schwartzbach (eds.).

by International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria) | Arenas, Marcelo | Schwartzbach, Michael I.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: DBPL 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.D3 I5847 2007.
11. 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.
12. Practical aspects of declarative languages : 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings / Pascal Van Hentenryck (ed.).

by PADL 2006 (2006 : Charleston, S.C.) | Van Hentenryck, Pascal.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: PADL 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .P32 2006.
13. Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers / Matteo Baldoni ... [et al.] (eds.).

by International Workshop on Declarative Agent Languages and Technologies (3rd : 2005 : Utrecht, Netherlands) | Baldoni, Matteo, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: Declarative agent languages and technologies 3 | DALT 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .I5775 2005.
14. Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings / Peter Sestoft (ed.).

by European Symposium on Programming (15th : 2006 : Vienna, Austria) | Sestoft, Peter | ETAPS 2006 (2006 : Vienna, Austria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: 15th European Symposium on Programming | Fifteenth European Symposium on Programming | European Symposium on Programming | ESOP 2006 | Joint European Conferences on Theory and Practice of Software | ETAPS 2006 | European Joint Conferences on Theory and Practice of Software.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .E976 2006.
15. Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings / David E. Lightfoot, Clemens A. Szyperski (eds.).

by Joint Modular Languages Conference (7th : 2006 : Oxford, England) | Lightfoot, David E, 1951- | Szyperski, Clemens.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: JMLC 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .J6578 2006.
16. Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers / Matteo Baldoni, Ulle Endriss (eds.).

by International Workshop on Declarative Agent Languages and Technologies (4th : 2006 : Hakodate-shi, Japan) | Baldoni, Matteo, 1968- | Endriss, Ulle.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2006Other title: DALT 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .I5775 2006.
17. Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi (ed.).

by International Static Analysis Symposium (13th : 2006 : Seoul, Korea) | Yi, Kwangkeun.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: SAS 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .I5733 2006.
18. Languages and compilers for parallel computing : 18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005 : revised selected papers / Eduard Ayguadé ... [et al.] (eds.).

by Workshop on Languages and Compilers for Parallel Computing (18th : 2005 : Hawthorne, N.Y.) | Ayguadé, Eduard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: LCPC 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.58 .W575 2005.
19. 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 QA76.7 .A65 2006.
20. 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 QA76.6 .E976 2005.