Lecture notes in computer science
Bibliographic Information
Lecture notes in computer science
Springer-Verlag
- Other Title
-
LNCS
Available at / 8 libraries
Related Books： 6,661-6,680 of 6,944
-
6661
-
Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986
-
edited by W. Brauer, W. Reisig, and G. Rozenberg
Springer-Verlag
c1987
Lecture notes in computer science
255 . Advances in Petri Nets 1986 ; pt. 2
: gw , : us
Available at 49 libraries
-
6662
-
Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986
-
edited by W. Brauer, W. Reisig, and G. Rozenberg
Springer-Verlag
c1987
Lecture notes in computer science
254 . Advances in Petri Nets 1986 ; pt. 1
: gw , : us
Available at 48 libraries
-
6663
-
Database machine performance : modeling methodologies and evaluation strategies
-
edited by Francesca Cesarini and Silvio Salza
Springer-Verlag
c1987
Lecture notes in computer science
257
: gw , : us
Available at 53 libraries
-
6664
-
Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986
-
Eiiti Wada (ed.)
Springer-Verlag
c1987
Lecture notes in computer science
264
: gw , : us
Available at 60 libraries
-
6665
-
A review of Ada tasking
-
Alan Burns, Andrew M. Lister, Andrew J. Wellings
Springer-Verlag
c1987
Lecture notes in computer science
262
: gw , : us
Available at 53 libraries
-
6666
-
Translating relational queries into iterative programs
-
Johann Christoph Freytag
Springer-Verlag
c1987
Lecture notes in computer science
261
: gw , : us
Available at 52 libraries
-
6667
-
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings
-
edited by Pierre Lescanne
Springer-Verlag
c1987
Lecture notes in computer science
256
: gw , : us
Available at 56 libraries
-
6668
-
Lectures on the complexity of bilinear problems
-
H.F. de Groote
Springer-Verlag
c1987
Lecture notes in computer science
245
: gw , : us
Available at 58 libraries
-
6669
-
Graph-theoretic concepts in computer science : international workshop WG '86, Bernried, Federal Republic of Germany, June 17-19, 1986 : proceedings
-
edited by Gottfried Tinhofer and Gunther Schmidt
Springer-Verlag
c1987
Lecture notes in computer science
246
: gw , : us
Available at 60 libraries
-
6670
-
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
-
edited by D. Bjørner ... [et al.]
Springer-Verlag
c1987
Lecture notes in computer science
252
: gw , : us
Available at 52 libraries
-
6671
-
Unobstructed shortest paths in polyhedral environments
-
Varol Akman
Springer-Verlag
c1987
Lecture notes in computer science
251
: gw , : us
Available at 53 libraries
-
6672
-
Networking in open systems : international seminar, Oberlech, Austria, August 18-22, 1986 : proceedings
-
edited by Günter Müller and Robert P. Blanc
Springer-Verlag
c1987
Lecture notes in computer science
248
: gw , : us
Available at 43 libraries
-
6673
-
Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
-
edited by Hartmut Ehrig ... [et al.]
Springer-Verlag
c1987
Lecture notes in computer science
250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2
: gw , : us
Available at 47 libraries
-
6674
-
Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
-
edited by Hartmut Ehrig ... [et al.]
Springer-Verlag
c1987
Lecture notes in computer science
249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1
: gw , : us
Available at 49 libraries
-
6675
-
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings
-
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
Springer-Verlag
c1987
Lecture notes in computer science
247
: gw , : us
Available at 49 libraries
-
-
6677
-
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986
-
edited by B. Monien and G. Vidal-Naquet
Springer-Verlag
c1986
Lecture notes in computer science
210
: gw , : us
Available at 49 libraries
-
6678
-
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986
-
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
Springer-Verlag
c1986
Lecture notes in computer science
244
: gw , : us
Available at 50 libraries
-
-
6680
-
Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings
-
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
Springer-Verlag
c1986
Lecture notes in computer science
242
: gw , : us
Available at 43 libraries
