Skip to main content
URS OPAC
Your cart is empty.
Cart
Lists
Public lists
ebook Assessment in Learning 1
New Acquisition
DOAJ - BUSINESS
Subscribed E-Book Collection
E-Journal Titles from The Directory of Open Access Journals
E-Books from Directory of Open Access Books
Philippine Recommends
2022 Women's Month
JSTOR Open Access E-Books
View all
Your cookies
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Course reserves
Authority search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Home
Advanced search
Results of search for 'au:"Groote, Jan Friso"'
Refine your search
Availability
Limit to records with available items
Authors
Groote, Jan Friso
Larsen, Kim Guldstra...
Holding libraries
Directory of Open Access Books
Item types
E-Book
Series
Lecture Notes in Com...
Your search returned 4 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Results
Tools and Algorithms for the Construction and Analysis of Systems : 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
by
Groote, Jan Friso
Groote, Jan Friso
Larsen, Kim Guldstrand
Larsen, Kim Guldstrand
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2021
Online resources:
Click here to access online
Click here to access online
Click here to access online
Availability:
Items available for reference:
Directory of Open Access Books: Not For Loan
(1).
Lists:
E-Books from Directory of Open Access Books
.
Add to cart
(remove)
Tools and Algorithms for the Construction and Analysis of Systems : 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
by
Groote, Jan Friso
Groote, Jan Friso
Larsen, Kim Guldstrand
Larsen, Kim Guldstrand
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer Nature
2021
Online resources:
Click here to access online
Click here to access online
Click here to access online
Availability:
Items available for reference:
Directory of Open Access Books: Not For Loan
(1).
Lists:
E-Books from Directory of Open Access Books
.
Add to cart
(remove)
No cover image available
No cover image available
Tools and Algorithms for the Construction and Analysis of Systems
by
Groote, Jan Friso
Larsen, Kim Guldstrand
Series:
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
; 12651
Material type:
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:
Click here to access online
Availability:
Items available for loan:
Directory of Open Access Books
(1).
Add to cart
(remove)
No cover image available
No cover image available
Tools and Algorithms for the Construction and Analysis of Systems
by
Groote, Jan Friso
Larsen, Kim Guldstrand
Series:
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
; 12652
Material type:
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:
Click here to access online
Availability:
Items available for loan:
Directory of Open Access Books
(1).
Add to cart
(remove)
Pages
University of Rizal System
Email us at univlibservices@urs.edu.ph
Visit our Website
www.urs.edu.ph/library
Powered by
Koha