Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
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 Text; Format: print ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021
Online access:
Availability: Items available for loan: Castorina (1)Call number: 005.1015 R295 2021 IMPA.
Lists:

Place hold Add to cart
2.
See Baker & Taylor
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.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha