VTLS Chameleon iPortal List of Titles

Active Filter Settings

No Active Filters

Recommended Reading

You searched IISERK - Subject: Computer networks.

Records 1 through 4 of 4

1
full
items(1)
marc Add To Subset
Select to add record to cart

Number Available: 1

Available At: IISER-K

Request
Call No.	005.131 BRP7
Author	Bradley, Aaron R.
Title	Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna..
Publisher	Berlin : Springer, 2007
Material	xv, 366 p. : ill.
Subject	Computer logic.
Subject	Computer programs Verification.
Added Entry	Manna, Zohar.

2
full
marc Add To Subset
Select to add record to cart

Request
Call No.	005.131
Title	Coalgebraic Methods in Computer Science [electronic resource] : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / edited by Daniela Petrişan, Jurriaan Rot.
Edition	1st ed. 2020.
Material	XV, 201 p. 360 illus., 12 illus. in color. online resource.
Series Stmt	Theoretical Computer Science and General Issues ; 12094
Subject	Mathematical logic.
Subject	Numerical analysis.
Subject	Artificial intelligence.
Added Entry	Petrişan, Daniela. editor.
Added Entry	Rot, Jurriaan. editor.

3
full
marc Add To Subset
Select to add record to cart

Request
Call No.	511.3
Title	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.
Edition	1st ed. 2020.
Material	XV, 644 p. 1 illus. online resource.
Series Stmt	Theoretical Computer Science and General Issues ; 12077
Subject	Mathematical logic.
Subject	Computer science—Mathematics.
Subject	Programming languages (Electronic computers).
Added Entry	Goubault-Larrecq, Jean. editor.
Added Entry	König, Barbara. editor.

4
full
marc Add To Subset
Select to add record to cart

Request
Call No.	005.1015113
Author	Mogavero, Fabio. author.
Title	Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero.
Material	XVII, 149 p. online resource.
Series Stmt	Atlantis Studies in Computing, 3
Subject	Computer science.
Subject	Algorithms.
Subject	Computer logic.
Added Entry	SpringerLink (Online service)

Any filter options that are chosen below will be combined with the Session Filters and applied to the search.

Nature of Contents Filters	Format Filters
Including Excluding	Including Excluding
Language Filters	Place of Publication Filters
Including Excluding	Including Excluding
Publication Date	Context Date
-	-

Copyright © 2014 VTLS Inc. All rights reserved.



VTLS.com

Keyword Search