Your search returned 9539 results.

Not what you expected? Check for suggestions
ELECTRONIC JOURNALS
Journal of Computer and System Sciences [electronic resource].

Material type: Computer file Computer file; Format: electronic Publication details: Academic Press Holdings: 1995-02 [50(1)] to Till date.Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Journal of Logical and Algebraic Methods in Programming [electronic resource].

Material type: Computer file Computer file; Format: electronic Publication details: Elsevier Holdings: 2014-03 [83(2)] to 2019 (Cancelled the Subscription from 2020).Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Journal of Symbolic Computation [electronic resource].

Material type: Computer file Computer file; Format: electronic Publication details: Academic Press Holdings: 1985-03 [1(1)] to Till date.Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Science of Computer Programming [electronic resource].

Material type: Computer file Computer file; Format: electronic Publication details: Elsevier Holdings: 1981-10 [1(1)] to 2019 (Cancelled the Subscription from 2020).Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Theoretical Computer Science [electronic resource].

Material type: Computer file Computer file; Format: electronic Publication details: Elsevier Holdings: 1975-06 [1(1)] to Till date.Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Journal of Philosophical Logic [Electronic Resource.]

Material type: Continuing resource Continuing resource Publication details: Springer Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
The Journal of Symbolic Logic [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Association for Symbolic Logic Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
The Bulletin of Symbolic Logic [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Association for Symbolic Logic Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Acta Informatica [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Berlin Heidelberg Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Algorithmica [electronic resource]. An International Journal in Computer Science.

Material type: Continuing resource Continuing resource Publication details: Springer US Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Combinatorica [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Berlin Heidelberg Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Distributed Computing [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Berlin Heidelberg Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Graphs and Combinatorics [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Japan Holdings: 2005 - 2020 (Cancelled the Subscription from 2021) .Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Journal of Logic, Language and Information [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Netherlands Holdings: 2005 - 2020 (Cancelled the Subscription from 2021) .Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Journal of Philosophical Logic [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Netherlands Holdings: 26(1);1997 - 2020 (Cancelled the Subscription from 2021).Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Studia Logica [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Netherlands Holdings: 2005 - 2020 (Cancelled the Subscription from 2021) .Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Theory of Computing Systems [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer US Holdings: 2005 - 2020 (Cancelled the Subscription from 2021).Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

ELECTRONIC JOURNALS
Computational Complexity [electronic resource].

Material type: Continuing resource Continuing resource Publication details: Springer Basel Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan (1). : Location(s): .

THESIS & DISSERTATION
Problems in Algorithmic Number theory

by Nagaraj, S. V [author].

Material type: Text Text Publication details: 1999Dissertation Note: 1999 ; Ph.D ; University of MadrasAdvisor(s): Raman, Venkatesh.Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Call number: UNM Th-60 .

THESIS & DISSERTATION
Reasoning about distributed message passing systems

by Meenakshi, B [author].

Material type: Text Text Publication details: 2004Dissertation Note: 2004 ; Ph.D ; University of MadrasAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: UNM TH-81 .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha