The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 131
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
computer science
14
type systems
12
pi-calculus
9
exact sciences and technology
8
informatique
8
sciences exactes et technologie
8
more ...
type theory
8
applied sciences
7
computational biology
7
computer science; control theory; systems
7
informatique; automatique theorique; systemes
7
sciences appliquees
7
computer theory
6
informatica teorica
6
informatique theorique
6
lambda calculus
6
mobile computing
6
semantics
6
access control
5
concurrent programming
5
mathematical analysis
5
mathematics
5
mobility
5
process algebra
5
programming languages
5
subtyping
5
theoretical computing
5
theorie type
5
abstract machine
4
agent based modeling
4
less ...
Published in
theoretical computer science
10
lecture notes in computer science
9
electronic notes in theoretical computer science
7
information and computation
6
entcs: electronic notes in theoretical computer science
4
mathematical structures in computer science
4
more ...
nano communication networks
4
arxiv
3
ieee acm transactions on computational biology and bioinformatics
3
information & computation
3
mathematical structures in computer science : mscs : a journal in the applications of categorical, algebraic and geometric methods in computer science
3
mobile networks & applications
3
information and computation (print)
2
journal of automated reasoning
2
molecular therapy
2
theoretical computer science : theory of natural computing
2
0ictcs 2005
1
0tgc 2005
1
calculi, types and applications: essays in honour of m. coppo, m. dezani-ciancaglini and s. ronchi della rocca
1
construction & analysis of safe, secure & interoperable smart devices (9783540336891)
1
distributed computing techniques
1
faculty publications
1
formal methods for open object-based distributed systems (9783540729198)
1
ieee/acm transactions on computational biology & bioinformatics
1
ieee-acm transactions on computational biology and bioinformatics
1
mfcs 2004 : mathematical foundations of computer science (prague, 22-27 august 2004)
1
mobile networks and applications: the journal of special issues on mobility of systems, users, data and computing
1
proceedings of the 8th acm sigplan international conference: principles & practice of declarative programming
1
theoretical computer science (9783540291060)
1
theoretical computer science (9th italian conference, ictcs 2005)
1
less ...
Publisher
elsevier b.v.
15
elsevier bv
13
springer berlin heidelberg
8
springer nature
7
elsevier
6
cambridge university press (cup)
5
more ...
elsevier inc.
4
springer
4
academic press inc.
3
acm
3
elsevier science bv
3
cambridge univ press
2
cambridge university press
2
icst
2
springer science and business media llc
2
association for computing machinery
1
digital commons @ njit
1
ieee
1
ieee computer soc
1
ieee computer society
1
institute of electrical and electronics engineers (ieee)
1
kluwer academic publishers
1
nature publishing group
1
springer international publishing
1
springer us
1
less ...
Language
Content Provider
Year of Publication
Filter