Skip to main content
OPAC | UNISSA – Universiti Islam Sultan Sharif Ali
Your cart is empty.
Cart
Lists
Public lists
KWP 23 - Books Donated by Dr Haji Norarfan bin Haji Zainal, UNISSA's Rector
New Arrivals
KWP 14 - Books donated by Muhammad Ziyad Alwi bin Haji Azmi / Associate Professor Dr Siti Sara Binti Haji Ahmad
journal & ejournal
Academic Journals for Faculty of Islamic Development Management
Recommended Academic Journal for Graduate Students (Faculty of Arabic Language FOA)
Recommended Academic Journal for Graduate Students (Mazhab Syafi'i Research Centre)
Databases
Recommended Academic Journal for Graduate Students (Faculty of Islamic Economic and Finance (FIEF)
Recommended Academic Journal for Graduate Students (Faculty of Agriculture - FOA)
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Don't have an account?
Register here.
Home
Results of search for 'ccl=au:"Sankaranarayanan, Sriram."'
Refine your search
Availability
Limit to currently available items
Authors
Sankaranarayanan, Sr...
Sharygina, Natasha
Series
Lecture Notes in Com...
Topics
Computer science
Theory of Computatio...
Your search returned 2 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 Arrivals
[ New list ]
Place hold
Results
1.
Tools and Algorithms for the Construction and Analysis of Systems
[electronic resource] :
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I /
edited by Sriram Sankaranarayanan, Natasha Sharygina.
by
Sankaranarayanan, Sriram
[editor.]
Sharygina, Natasha
[editor.]
SpringerLink (Online service)
Series:
Lecture Notes in Computer Science
; 13993
Edition:
1st ed. 2023.
Material type:
Text
; Format:
electronic available online
; Literary form:
Not fiction
Publisher:
Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Online access:
Click here to access online
Availability:
No items available.
Lists:
e-Book / ebook
.
Add to cart
(remove)
2.
Tools and Algorithms for the Construction and Analysis of Systems
[electronic resource] :
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II /
edited by Sriram Sankaranarayanan, Natasha Sharygina.
by
Sankaranarayanan, Sriram
[editor.]
Sharygina, Natasha
[editor.]
SpringerLink (Online service)
Series:
Lecture Notes in Computer Science
; 13994
Edition:
1st ed. 2023.
Material type:
Text
; Format:
electronic available online
; Literary form:
Not fiction
Publisher:
Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Online access:
Click here to access online
Availability:
No items available.
Lists:
e-Book / ebook
.
Add to cart
(remove)
Pages
© All Right Reserved 2023. Universiti Islam Sultan Sharif Ali
Administered and upheld by
Rayyan Secutech