Your search returned 15 results.

Results
	1.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W Brauer, W Rozenberg, G Salomaa, A SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jorg Rothe. by Rothe, Jorg SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Kroening, Daniel Strichman, Ofer SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An Eatcs Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Design and Analysis of Randomized Algorithms [electronic resource] : Introduction to Design Paradigms / by Juraj Hromkovic. by Hromkovic, Juraj SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5.	Dissemination of Information in Communication Networks [electronic resource] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovic ... [et al.]. by Hromkovic, Juraj SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Dissemination of Information in Optical Networks [electronic resource] : From Technology to Algorithms In Cooperation with Ralf Klasing / by Subir Bandyopadhyay. by Bandyopadhyay, Subir SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	Finite Model Theory and Its Applications [electronic resource] / by Erich Gradel ... [et al.]. by Gradel, Erich SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	8.	Graphs and algorithms in communication networks [electronic resource] : studies in broadband, optical, wireless and ad hoc networks / edited by Arie M.C.A. Koster, Xavier Munoz. by Koster, Arie M.C.A Munoz, Xavier SpringerLink (Online service) Series: Texts in theoretical computer science. An EATCS series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	9.	Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Fokkink, Wan SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	10.	Parameterized Complexity Theory [electronic resource] / by Jorg Flum, Martin Grohe. by Flum, Jorg Grohe, Martin SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	11.	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Kurki-Suonio, Reino SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	12.	Software Engineering. 1 [electronic resource] : Abstraction and Modelling / by Dines Bjorner. by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	13.	Software Engineering. 2, Specification of Systems and Languages [electronic resource] / by Dines Bjorner. by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	14.	Temporal Logic and State Systems [electronic resource] / by Fred Kroger, Stephan Merz. by Kroger, Fred Merz, Stephan SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	15.	Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Hutter, Marcus SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library