Lecture notes in computer science
Bibliographic Information
Lecture notes in computer science
Springer-Verlag
- Other Title
-
LNCS
Available at / 8 libraries
Related Books： 6,781-6,800 of 6,944
-
6781
-
GAG, a practical compiler generator
-
Uwe Kastens, Brigitte Hutt, Erich Zimmermann
Springer
1982
Lecture notes in computer science
141
: gw , : us
Available at 41 libraries
-
6782
-
Axiomatising the logic of computer programming
-
Robert Goldblatt
Springer-Verlag
1982
Lecture notes in computer science
130
: gw , : us
Available at 45 libraries
-
6783
-
Verifying concurrent processes using temporal logic
-
Brent T. Hailpern
Springer-Verlag
1982
Lecture notes in computer science
129
: gw , : us
Available at 60 libraries
-
6784
-
Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980
-
edited by P.C. Messina and A. Murli
Springer-Verlag
1982
Lecture notes in computer science
142
U.S. , Ger.
Available at 4 libraries
-
6785
-
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
-
edited by D.W. Loveland
Springer-Verlag
1982
Lecture notes in computer science
138
: gw , : us
Available at 36 libraries
-
6786
-
Physical structures and applications : proceedings, Tokyo, November 1979
-
edited by S.B. Yao and T.L. Kunii
Springer-Verlag
1982
Lecture notes in computer science
133 . Data base design techniques ; 2
: gw , : us
Available at 37 libraries
-
6787
-
Requirements and logical structures : NYU Symposium, New York, May 1978
-
edited by S.B. Yao ... [et al.]
Springer-Verlag
1982
Lecture notes in computer science
132 . Data base design techniques ; 1
: gw , : us
Available at 40 libraries
-
6788
-
An introduction to the PL/CV2 programming logic
-
R.L. Constable, S.D. Johnson, C.D. Eichenlaub
Springer-Verlag
1982
Lecture notes in computer science
135
: gw , : us
Available at 56 libraries
-
6789
-
Logics of programs : workshop, Yorktown Heights, New York, May 1981
-
edited by Dexter Kozen
Springer-Verlag
1982
Lecture notes in computer science
131
: gw , : us
Available at 56 libraries
-
6790
-
An analytical description of CHILL, the CCITT high level language
-
Paul Branquart, Georges Louis, Pierre Wodon
Springer-Verlag
1982
Lecture notes in computer science
128
: gw , : us
Available at 55 libraries
-
6791
-
Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980
-
edited by P.C. Messina and A. Murli
Springer-Verlag
1982
Lecture notes in computer science
142
: gw , : us
Available at 39 libraries
-
6792
-
Alternating sequential/parallel processing
-
Y. Wallach
Springer
1982
Lecture notes in computer science
127
: gw , : us
Available at 57 libraries
-
6793
-
Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980
-
edited by M. Maekawa and L.A. Belady
Springer-Verlag
1982
Lecture notes in computer science
143
: gw , : us
Available at 51 libraries
-
6794
-
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981
-
edited by J. Staunstrup
Springer-Verlag
1982
Lecture notes in computer science
134
: gw , : us
Available at 53 libraries
-
6795
-
International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings
-
edited by M. Dezani-Ciancaglini and U. Montanari
Springer-Verlag
1982
Lecture notes in computer science
137
: gw , : us
Available at 48 libraries
-
6796
-
Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981
-
edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy
Springer-Verlag
1982
Lecture notes in computer science
126
: gw , : us
Available at 41 libraries
-
6797
-
Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
-
edited by M. Nielsen and E.M. Schmidt
Springer-Verlag
1982
Lecture notes in computer science
140
: gw , : us
Available at 42 libraries
-
6798
-
An attribute grammar for the semantic analysis of ADA
-
J. Uhl ... [et al.]
Springer-Verlag
1982
Lecture notes in computer science
139
: gw , : us
Available at 43 libraries
-
6799
-
Computer algebra : EUROCAM '82, European Computer Algebra Conference Marseille, France, 5-7 April 1982
-
edited by Jacques Calmet
Springer-Verlag
1982
Lecture notes in computer science
144
: gw , : us
Available at 62 libraries
-
6800
-
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
-
edited by A.B. Cremers and H.P. Kriegel
Springer-Verlag
1982
Lecture notes in computer science
145
: gw , : us
Available at 61 libraries
