Periódicos correntes

Your search returned 5 results.

Results
	1.	Logic in computer science/ editor, Zoran Ognjanovic. by Ognjanovic, Zoran Series: Zbornik radova (Srpska akademija nauka) ; knj. 12 (20). Publication details: Beograd: Matematicki Institut SANU, 2009 Availability: Items available for loan: Castorina (1)Call number: 005.131 L832 2009 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / edited by Markus Roggenbach. by Roggenbach, Markus [editor.] SpringerLink (Online service) Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues ; ; 12669. Edition: 1st ed. 2021. Source: Springer Nature eBook Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 Online access: TCD-affiliated readers may click here for access. 1850-9999 Availability: Items available for loan: Castorina (1)Call number: 005.1015 R295 2021 IMPA. Lists: Novos títulos 2025. Found in Open Library: Place hold Add to cart (remove)
	3.	Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil/ Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th: 1996: Salvador, Brazil) Carnielli, Walter A. (Walter Alexandre) D'Ottaviano, Itala M. L, 1944- Series: Contemporary mathematics (American Mathematical Society) ; v. 235. Publication details: Providence, R.I.: American Mathematical Society, c1999 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	4.	Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd ed. Publication details: Cambridge [U.K.]; New York: Cambridge University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 005.131 H979l 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	The logician and the engineer: how George Boole and Claude Shannon created the information age/ Paul J. Nahin. by Nahin, Paul J Publisher: Princeton: Princeton University Press, [2013]Copyright date: c2013 Availability: Items available for loan: Castorina (1)Call number: 510.9 N153l 2013 IMPA. Found in Open Library: Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha