Your search returned 41 results. Subscribe to this search

|
1. Software for Computer Control 1986 : Selected Papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986

by Florian, D | Haase, V.

Material type: Text Text; Format: electronic available online remote Publisher: Kent : Elsevier Science, 2015Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online .
2. Real Time Programming 1986 : Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986

by Szlanko, J.

Material type: Text Text; Format: electronic available online remote Publisher: Kent : Elsevier Science, 2015Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.54 .I36.
3. Formal Languages, Automata and Numeration Systems.

by Rigo, Michel.

Material type: Text Text; Format: electronic available online remote Publisher: Hoboken : Wiley, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.
4. Formal Languages, Automata and Numeration Systems, Volume 2.

by Rigo, Michel.

Material type: Text Text; Format: electronic available online remote Publisher: Hoboken : Wiley, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA267.
5. Real-Time Programming 1992.

by De La Puente, J.A | Boullart, L.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.54 .I36.
6. Discrete Algorithms and Complexity : Proceedings of the Japan-US Joint Seminar, June 4 - 6, 1986, Kyoto, Japan

by Johnson, David S | Nishizeki, Takao | Nozaki, Akihiro.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .D577 2014.
7. Formal Description Techniques, IV : Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991.

by Parker, K. R | Rose, G. A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : Elsevier Science, 2014Copyright date: ©1992Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 -- .I584 1992.
8. Discrete Algorithms and Complexity : Proceedings of the Japan-US Joint Seminar, June 4 - 6, 1986, Kyoto, Japan.

by Johnson, David S | Nishizeki, Takao | Nozaki, Akihiro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science & Technology, 2014Copyright date: ©1987Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 -- .D577 1987.
9. 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.
10. Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

by Reps, Thomas W. (Thomas William) | Sagiv, Mooly | Bauer, Jörg | Wilhelm, R. (Reinhard), 1946-.

Material type: Text Text; Format: available online remote festschrift ; 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 QA76.76.V47 P745 2007.
11. 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.
12. Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).

by International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wrocław, Poland) | Arge, L. (Lars) | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ICALP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA267 .I55 2007.
13. Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / Franz Baader (ed.).

by International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France) | Baader, Franz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: RTA 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA267 .I555 2007.
14. Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Luděk Kučera, Antonín Kučera (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : Český Krumlov, Czech Republic) | Kučera, Luděk | Kučera, A. (Antonín).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: MFCS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.M35 S96 2007.
15. Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).

by TYPES 2006 (2006 : Nottingham, England) | Altenkirch, Thorsten, 1962- | McBride, Conor.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: TYPES 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.A96 T96 2006.
16. Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings / Jérôme Durand-Lose, Maurice Margenstern (eds.).

by MCU 2007 (2007 : Orléans, France) | Durand-Lose, Jérôme | Margenstern, Maurice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: MCU 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .M396 2007.
17. Programming multi-agent systems : 4th international workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers / Rafael H. Bordini ... [et al.] (eds.).

by ProMAS (Conference) (4th : 2006 : Hakodate-shi, Japan) | Bordini, Rafael H.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: ProMAS 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.I58 P82 2006.
18. Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers / Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (6th : 2006 : Novosibirsk, Russia) | Virbitskaite, Irina | Voronkov, A. (Andreĭ), 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Perspectives of system informatics | 6th International Andrei Ershov Memorial Conference | Sixth International Andrei Ershov Memorial Conference | International Andrei Ershov Memorial Conference | PSI 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .I5443 2006.
19. 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.
20. Algorithmic methods for railway optimization : international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers / Frank Geraets ... [et al.] (eds.).

by Geraets, Frank | Dagstuhl Seminar on Algorithmic Methods for Railway Optimization (2004 : Dagstuhl, Wadern, Germany) | Workshop on Algorithmic Methods and Models for Optimization of Railways (4th : 2004 : Bergen, Norway).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: International Dagstuhl workshop | Railway optimization 2004 | Railway optimization.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TF505 .A44 2007.