Your search returned 11 results.

Results
	1.	No cover image available Structuri matematice discrete: Aplicatii / Alexandru Mateescu by Mateescu, Alexandru Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti Ed. Academiei Romane 1989 Availability: Items available for loan: IMAR (3)Call number: 005.131-MAT, ... Place hold Add to cart (remove)
	2.	Logic of programming and calculi of discrete design International Summer School directed by F.L. Bauer ... [et al.] edited by Manfred Broy by Broy, M, 1949- North Atlantic Treaty Organization Scientific Affairs Division Series: NATO ASI series Publication details: Berlin New York Springer-Verlag c1987 Availability: Items available for loan: IMAR (1)Call number: II 31384. Place hold Add to cart (remove)
	3.	Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings edited by Ehud Shapiro. -- by Shapiro, Ehud Y Series: Lecture notes in computer science ; 225 Publication details: Berlin New York Springer-Verlag c1986 Availability: Items available for loan: IMAR (1)Call number: II 29966. Place hold Add to cart (remove)
	4.	Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 proceedings edited by Ehud Shapiro. -- by Shapiro, Ehud Y Series: Lecture notes in computer science ; 225 Publication details: Berlin New York Springer-Verlag c1986 Availability: No items available. Add to cart (remove)
	5.	Logic for computer scientists Uwe Schoning. -- by Schoning, Uwe Series: Progress in computer science and applied logic ; v. 8. Publication details: Boston Birkhauser 1989 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	6.	The Haskell road to logic, maths and programming Kees Doets, Jan van Eijck by Doets, Kees Eijck, Jan van Series: Texts in computing ; 4 Edition: 2nd edition Publication details: London King's College Publications c2012 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	7.	Foundations of logic programming J.W. Lloyd by Lloyd, J. W Series: Symbolic computation Edition: 2nd, extended ed. Publication details: Berlin ; New York : Springer-Verlag, c1987 Availability: Items available for loan: IMAR (1)Call number: 005.1-LLO. Place hold Add to cart (remove)
	8.	No cover image available Bazele informaticii: Exercitii de calcul boolean, automate si limbaje formale / by Tandareanu, N Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: Universitatea din Bucuresti, 1980 Availability: Items available for loan: IMAR (1)Call number: CSR-005.131-TAN. Place hold Add to cart (remove)
	9.	No cover image available Aplicatii la cursul de Bazele informaticii: Functii si algebre boolene, limbaje formale, aplicatii la calculatoare / N. Tandareanu by Tandareanu, N Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: Universitatea din Bucuresti, 1978 Availability: Items available for loan: IMAR (1)Call number: CSR-005.131-TAN-1. Place hold Add to cart (remove)
	10.	No cover image available Limbaje formale si tehnici de compilare: culegere de probleme de seminar / Adrian Atanasiu by Atanasiu, Adrian Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: UB-Facultatea de Matematica, 1977 Availability: Items available for loan: IMAR (1)Call number: CSR-005.13-ATA-4. Place hold Add to cart (remove)
	11.	No cover image available Bazele informaticii: Limbajul Cobol; Elemente de teoria automatelor si a limbajelor formale / T. Jucan, T., D. Simovici by Jucan, T Simovici, D [coauthor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Iasi: Universitatea "A. I. Cuza" Iasi. Facultatea de Matematica, 1979 Availability: Items available for loan: IMAR (1)Call number: CSR-005.13-JUC. Place hold Add to cart (remove)

Powered by Koha