Your search returned 4 results.

Results
		Universal artificial intelligence : sequential decisions based on algorithmic probability / Marcus Hutter by Hutter, Marcus Series: Texts in theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2005 Availability: Items available for reference: UMPLIB GAMBANG: Not for loan (1)Call number: QA 279.4 .H88 2005. Log in to add tags Add to cart (remove)
		Software engineering 2: specification of systems and languages / Dines Bjorner by Bjørner, Dines Series: Texts in theoretical computer science . An EATCS series Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA 76.758 .B56 2006. Place hold Log in to add tags Add to cart (remove)
		Software engineering 1 : abstracting and modelling / D. Bjørner by Bjørner, D. (Dines), 1937- Series: Texts in theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany : Springer , 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.758 .B567 2006. Place hold Log in to add tags Add to cart (remove)
		Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic by Hromkovic, Juraj Series: Texts in theoretical computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer-Verlag, 2003 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA 76.58 .H76 2004. Place hold Log in to add tags Add to cart (remove)