Your search returned 8 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available No cover image available
Brain-Inspired Computing by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12339
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15:19, 2019, Revised Selected Papers
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Computer Aided Verification by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12759
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 33rd International Conference, CAV 2021, Virtual Event, July 20:23, 2021, Proceedings, Part I
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Computer Aided Verification by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12760
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 33rd International Conference, CAV 2021, Virtual Event, July 20:23, 2021, Proceedings, Part II
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Foundations of Software Science and Computation Structures by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12650
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Fundamental Approaches to Software Engineering by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12649
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Programming Languages and Systems by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12648
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Tools and Algorithms for the Construction and Analysis of Systems by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12651
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings, Part I
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
No cover image available No cover image available
Tools and Algorithms for the Construction and Analysis of Systems by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12652
Material type: Text Text; Format: print ; Literary form: Dramas
Springer Nature 2021
Other title:
  • 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings, Part II
Online resources:
Availability: Items available for loan: Directory of Open Access Books (1).

Add to cart
Pages

University of Rizal System
Email us at univlibservices@urs.edu.ph

Visit our Website www.urs.edu.ph/library

Powered by Koha