by
Roberts, Charles E., 1942-
Author
Roberts, Charles E., 1942-
Format:
Call Number
QA9.54 R63 2009
Publisher
CRC Press,
Publication Date
2009
ISBN
9781420069556
Holds:
Copies:
by
Livio, Mario, 1945-
Author
Livio, Mario, 1945-
Format:
Call Number
QA8.4 L58 2009 r
Edition
1st Simon & Schuster hardcover ed.
Publisher
Simon & Schuster,
Publication Date
2009
ISBN
9780743294058
Holds:
Copies:
by
Steinbach, Bernd
Author
Steinbach, Bernd, Posthoff, Christian
Format:
Call Number
QA76.9.L63 S73 2009
Publisher
Springer,
Publication Date
2009
ISBN
9781402095948
Holds:
Copies:
by
Kroger, Fred, 1945-
Author
Kroger, Fred, 1945-, Merz, Stephan
Format:
Call Number
BC199.T4 K76 2008
Publisher
Springer-Verlag,
Publication Date
2008
ISBN
9783540674016
Holds:
Copies:
by
Bjorner, D. (Dines), 1937-
Author
Bjorner, D. (Dines), 1937-, Henson, Martin C.
Format:
Call Number
QA76.7 L63 2008
Publisher
Springer-Verlag,
Publication Date
2008
ISBN
9783540741060
Holds:
Copies:
by
Srivastava, S. M. (Shashi Mohan)
Author
Srivastava, S. M. (Shashi Mohan), Godel, Kurt
Format:
Call Number
QA9 S644 2008
Publisher
Springer,
Publication Date
2008
ISBN
9780387762753
Holds:
Copies:
by
Holldobler, Steffen, 1957-
Author
Holldobler, Steffen, 1957-, Lutz, Carsten, 1971-, Wansing, H. (Heinrich)
Format:
Call Number
Q334 L63 2008
Publisher
Springer,
Publication Date
2008
ISBN
9783540878025
Holds:
Copies:
by
Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.)
Author
Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), Hodges, Wilfrid, Queiroz, Ruy J.G.B. de
Format:
Call Number
QA9.A1 W67 2008
Publisher
Springer,
Publication Date
2008
ISBN
9783540699361
Holds:
Copies:
by
Schoning, Uwe
Author
Schoning, Uwe
Format:
Call Number
QA9 S36 2008
Publisher
Birkh�auser,
Publication Date
2008
ISBN
9780817647629
Holds:
Copies:
by
Beziau, Jean-Yves
Author
Beziau, Jean-Yves
Format:
Call Number
QA9.2 L63 2005
Edition
2nd ed.
Publisher
Birkh�auser,
Publication Date
2007
ISBN
9783764383534
Accessible within UTM campus
Holds:
Copies:
by
Dumas, Bob A.
Author
Dumas, Bob A., McCarthy, John E. (John Edward), 1964-
Format:
Call Number
QA9 D85 2006
Publisher
McGraw Hill Higher Education,
Publication Date
2007
ISBN
9780073533537
Holds:
Copies:
by
FOSSACS 2007 (2007 : Braga, Portugal)
Author
FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service)
Format:
Call Number
EB 000709
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540713890
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies: