Výsledky vyhledávání - "Lecture notes in computer science"

1

Theory of program structures : schemes, semantics, verification /

Autor Greibach, Sheila
Vydáno 1975

“...Lecture notes in computer science ;...”

Kniha

2

Algorithmic foundations of geographic information systems /

Vydáno 1997

“...Lecture notes in computer science ;...”

Kniha

3

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

Vydáno 1996

“...Lecture notes in computer science ;...”

Kniha

4

Automata logics, and infinite games : a guide to current research /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

5

Categorical methods in computer science : with aspects from topology /

Vydáno 1989

“...Lecture notes in computer science ;...”

Kniha

6

Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings /

Vydáno 1991

“...Lecture notes in computer science ;...”

Kniha

7

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /

Vydáno 1987

“...Lecture notes in computer science ;...”

Kniha

8

Codes for boundary-value problems in ordinary diferential equations : proceedings of a Working Conference, may 14-17, 1978 /

Vydáno 1979

“...Lecture notes in computer science ;...”

Kniha

9

Conditional and typed rewriting systems : 2nd International CTRS Workshop Montreal, Canada, June 1990 : proceedings /

Vydáno 1991

“...Lecture notes in computer science ;...”

Kniha

10

The design of dynamic data structures /

Autor Overmars, Mark. H., 1958-
Vydáno 1983

“...Lecture notes in computer science ;...”

Kniha

11

Direct methods for sparse matrices /

Autor Østerby, Ole, Zlatev, Zahari
Vydáno 1983

“...Lecture notes in computer science ;...”

Kniha

12

Semantics : foundations and applications : REX workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings /

Vydáno 1993

“...Lecture notes in computer science ;...”

Kniha

13

Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23-27, 1990. Proceedings /

Vydáno 1990

“...Lecture notes in computer science ;...”

Kniha

14

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science /

Vydáno 1987

“...Lecture notes in computer science ;...”

Kniha

15

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice Software Development, Pisa, Italy, March 23-27, 1987. Volume 1, Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP '87) /

Vydáno 1987

“...Lecture notes in computer science ;...”

Kniha

16

Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku university Sendai, Japan, October 24-25, 1980, proceedings /

Vydáno 1981

“...Lecture notes in computer science ;...”

Kniha

17

Group theoretic algorithms and graph isomorphism /

Autor Hoffmann, Christoph M.
Vydáno 1982

“...Lecture notes in computer science ;...”

Kniha

18

Mathematical Foundations of Computer Science 2001 : 26th International symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

19

Komplexität von Entscheidungsproblemen : Ein Seminar /

Autor Specker, Ernst, Strassen, Volker
Vydáno 1976

“...Lecture notes in computer science ;...”

Kniha

20

Analysis of drum and disk storage units /

Autor Fuller, Samuel H.
Vydáno 1975

“...Lecture notes in computer science ;...”

Kniha

Upřesnit hledání