Central Library catalog › Results of search for 'an:22599'

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book

Book; Format: available online remote

Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available

Computational thinking / Peter J. Denning and Matti Tedre.

by Denning, Peter J, 1942- [author.] | Tedre, Matti [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book

Book; Format: available online remote

Publisher: Cambridge : MIT Press, 2019Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available

The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.

Material type: book

Book; Format: available online remote

Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available

Intensional First-Order Logic : From AI to New SQL Big Data / Zoran Majkic.

by Majkic, Zoran [author.].

Source: DG Plus DeG Package 2022 Part 1Source: EBOOK PACKAGE COMPLETE 2022 EnglishSource: EBOOK PACKAGE COMPLETE 2022Source: EBOOK PACKAGE Engineering, Computer Sciences 2022 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2022Material type: book

Book; Format: available online remote

; Audience: Specialized; Publisher: Berlin ; Boston : De Gruyter, [2022]Copyright date: ©2022Online access: Click here to access online | Click here to access online | Cover Availability: No items available

		Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn. by Harel, David, 1950- \| Kozen, Dexter, 1951- \| Tiuryn, Jerzy \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
		Computational thinking / Peter J. Denning and Matti Tedre. by Denning, Peter J, 1942- [author.] \| Tedre, Matti [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2019Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. by Friedman, Daniel P [author.] \| Christiansen, David Thrane [author.] \| Bibby, Duane [illustrator.] \| Harper, Robert, 1957- \| McBride, Conor \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		Intensional First-Order Logic : From AI to New SQL Big Data / Zoran Majkic. by Majkic, Zoran [author.]. Source: DG Plus DeG Package 2022 Part 1Source: EBOOK PACKAGE COMPLETE 2022 EnglishSource: EBOOK PACKAGE COMPLETE 2022Source: EBOOK PACKAGE Engineering, Computer Sciences 2022 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2022Material type: Book; Format: available online ; Audience: Specialized; Publisher: Berlin ; Boston : De Gruyter, [2022]Copyright date: ©2022Online access: Click here to access online \| Click here to access online \| Cover Availability: No items available

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics