The University of Texas at Tyler Libraries

Your search returned 11 results.

|
1.
Finite model theory and its applications / Erich Grädel ... [et al.].

by Grädel, Erich, 1958-.

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 Call number: QA9.7 .F56 2007.
Place hold Log in to add tags
2.
Modelling distributed systems / Wan Fokkink.

by Fokkink, Wan, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.58 .F65 2007.
Place hold Log in to add tags
3.
Software engineering . 2, Specification of systems and languages / D. Bjorner.

by Bjørner, D. (Dines), 1937-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 2006Other title: Specification of systems and languages.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.758 .B56 2006.
Place hold Log in to add tags
4.
Software engineering. 3, Domains, requirements, and software design / D. Bjørner.

by Bjørner, D. (Dines), 1937-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006-Other title: Domains, requirements, and software design.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.758 .B56 2006.
Place hold Log in to add tags
5.
Parameterized complexity theory / J. Flum, M. Grohe.

by Flum, Jörg | Grohe, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, c2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA267.7 .F58 2006.
Place hold Log in to add tags
6.
Software engineering . 1, Abstraction and modelling / D. Bjørner.

by Bjørner, D. (Dines), 1937-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 2006Other title: Abstraction and modelling.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.758 .B56 2006.
Place hold Log in to add tags
7.
Universal artificial intelligence : sequential decisions based on algorithmic probability / Marcus Hutter.

by Hutter, Marcus.

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: Q335 .H88 2005.
Place hold Log in to add tags
8.
Abstract computing machines : a lambda calculus perspective / W. Kluge.

by Kluge, Werner (Werner E.).

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: QA267 .K58 2005.
Place hold Log in to add tags
9.
Complexity theory and cryptology : an introduction to cryptocomplexity / Jörg Rothe.

by Rothe, Jörg.

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.9.A25 R672 2005.
Place hold Log in to add tags
10.
A practical theory of reactive systems : incremental modeling of dynamic behaviors / R. Kurki-Suonio.

by Kurki-Suonio, Reino.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.D47 K87 2005.
Place hold Log in to add tags
11.
Design and analysis of randomized algorithms : introduction to design paradigms / J. Hromkovič.

by Hromkovič, Juraj, 1958-.

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: QA274 .H76 2005.
Place hold Log in to add tags