Your search returned 21 results.

1
2
3
Next
Last

Results per page:

Results
		Modern computer graphics / Malcolm Richardson. by Richardson, Malcolm, MSc Series: Computer studies series (Blackwell Scientific publications) Material type: Text Publication details: London : Blackwell Scientific, 1989 Availability: Items available for loan: Carlow Campus Library (1)Call number: 006.6. Place hold Place recall Add to cart (remove)
		Prolog programming for artificial intelligence / Ivan Bratko. by Bratko, Ivan, 1946- Series: International computer science series Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1990 Availability: Items available for loan: Carlow Campus Library (1)Call number: 006.302855133. Not available: Carlow Campus Library: Checked out (1). Place hold Place recall Add to cart (remove)
		Prolog programming : applications for database systems, expert systems, and natural language systems / Claudia Marcus. by Marcus, Claudia Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley Pub. Co., c1986 Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.133. Place hold Place recall Add to cart (remove)
		Systems and software verification : model-checking techniques and tools / B. Beŕard ... [et al.]. by Beŕard, Beátrice Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2001 Availability: Items available for loan: Carlow Campus Library (2)Call number: 005.14, ... Place hold Place recall Add to cart (remove)
		Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König. by Goubault-Larrecq, Jean König, Barbara SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12077 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K Wang, Chao SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil Tasiran, Serdar SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		How AI Impacts Urban Living and Public Health [electronic resource] : 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings / edited by José Pagán, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, María Fernanda Cabrera. by Pagán, José Mokhtari, Mounir Aloulou, Hamdi Abdulrazak, Bessam Cabrera, María Fernanda SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11862 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K Wang, Chao SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K Wang, Chao SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)

1
2
3
Next
Last

Powered by Koha