%E R. Conti %E A. Ruberti %T Proceedings of the 5th Conference on Optimization Techniques, part I %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 3 %D 1973 %P 565 %E R. Conti %E A. Ruberti %T Proceedings of the 5th Conference on Optimization Techniques, part II %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 4 %D 1973 %P 389 %E A. Ershov %E V.A. Nepomniaschy %T Proceedings of the International Symposium on Theoretical Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 5 %D 1974 %P 407 %A B.T. Smith %A J.M. Boyle %A J.J. Dongarra %A B.S. Garbow %A Y. Ikebe %A V.C. Klema %A C.B. Moler %T Matrix eigensystem routines - EISPACK guide %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 6 %D 1974 %P 551 %E R. Glowinski %E J.L. Lions %T Proceedings of the International Symposium on Computing Methods in Applied Sciences and Engineering, part 1 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 10 %D 1974 %P 497 %E R. Glowinski %E J.L. Lions %T Proceedings of the International Symposium on Computing Methods in Applied Sciences and Engineering, part 2 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 11 %D 1974 %P 434 %E J. Loeckx %T Proceedings of the Second Colloquium on Automata, Languages and Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 14 %D 1974 %P 611 %E A. Salomaa %A G. Rozenberg %T L systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 15 %D 1974 %P 338 %K Lindenmayer systems %E E. Gelenbe %E C. Kaiser %T Proceedings of the International Symposium on Operating Systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 16 %D 1974 %P 310 %A K. Jensen %A N.E. Wirth %T PASCAL - user manual and report %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 18 %D 1974 %P 170 %T Proceedings of the 1974 Programming Symposium %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 19 %D 1974 %P 425 %A J. Engelfriet %T Simple program schemes and formal languages %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 20 %D 1974 %P 254 %E F.L. Bauer %E J. Eickel %T Compiler construction: an advanced course %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 21 %D 1974 %P 621 %E T. Storer %E D. Winter %T Proceedings of Formal Aspects of Cognitive Processes, 1972 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 22 %D 1975 %P 214 %E C.E. Hacki %T Proceedings of the 4th Informatik Symposium on Programming Methodology, 1974 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 23 %D 1975 %P 501 %E T. Feng %T Proceedings of Parallel Processing, 1974 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 24 %D 1975 %P 433 %E E.G. Manes %T Proceedings of Category Theory applied to Computation and Control, 1974 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 25 %D 1975 %P 245 %E G.I. Marchuk %T Proceedings of the IFIP Technical Conference on Optimization Techniques %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 27 %D 1975 %P 507 %E A. Blikle %T Proceedings of the Third Symposium on Mathematical Foundations of Computer Science %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 28 %D 1975 %P 484 %K MFCS %E K. Nickel %T Proceedings of Interval Mathematics, 1975 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 29 %D 1975 %P 331 %E F.L. Bauer %T Software engineering: an advanced course %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 30 %D 1975 %P 545 %A S.H. Fuller %T Analysis of drum and disk storage units %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 31 %D 1975 %P 283 %E J. Becvar %T Proceedings of Mathematical Foundations of Computer Science %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 32 %D 1975 %P 476 %K MFCS %E H. Brakhage %T Automata theory and formal languages %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 33 %D 1975 %P 292 %A W. Everling %T Exercises in computer systems analysis %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 35 %D 1975 %P 184 %A S.A. Greibach %T Theory of program structures: schemes, semantics, verification %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 36 %D 1975 %P 364 %A C. Bohm %T Lambda-calculus and computer science theory %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 37 %D 1975 %P 370 %A P. Branquart %A J.-P. Cardinael %A J. Lewi %A J.-P. Delescaille %A M. Vanbegin %T An optimized translation process and its application to ALGOL 68 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 38 %D 1976 %P 334 %E H. Hasselmeier %E W. Spruth %T Proceedings of Data Base Systems, 1975 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 39 %D 1976 %P 386 %E J. Cea %T Optimization techniques, modeling and optimization in the service of man, part 1 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 40 %D 1976 %P 854 %E J. Cea %T Optimization techniques, modeling and optimization in the service of man, part 2 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 41 %D 1976 %P 852 %A J.E. Donahue %T Complementary definitions of programming language semantics %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 42 %D 1976 %P 172 %E K. Samelson %T Proceedings of the ECI conference, 1976 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 44 %D 1976 %P 322 %E A. Mazurkiewitz %T Proceedings of Mathematical Foundations of Computer Science, 1976 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 45 %D 1976 %P 601 %K MFCS %E F.L. Bauer %E K. Samelson %T Language hierarchies and their interfaces %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 46 %D 1976 %P 428 %E A. Ershov %E C.H.A. Koster %T Methods of algorithmic language implementation %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 47 %D 1977 %P 351 %E H. Tzschach %E H. Waldschmidt %E H.K.-G. Walter %T Theoretical computer science 1977 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 48 %D 1976 %P 418 %E A. Blaser %E C. Hacki %T Proceedings of Interactive Systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 49 %D 1977 %P 380 %A A.C. Hartmann %T A Concurrent Pascal compiler for minicomputers %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 50 %D 1977 %P 119 %A B.S. Garbow %T Matrix eigensystem routines - Eispack guide extension %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 51 %D 1977 %P 343 %E A. Salomaa %E M. Steinby %T Proceedings of the the Fourth Colloquium on Automata, Languages and Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 52 %D 1977 %P 589 %E J. Gruska %T Proceedings of Mathematical Foundations of Computer Science, 1977 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 53 %D 1977 %P 608 %K MFCS %E J.H. Williams %E D.A. Fisher %T Proceedings of Design and Implementation of Programming Languages, 1976 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 54 %D 1977 %P 496 %A A. Gerbier %T Mes premieres constructions de programmes %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 55 %D 1977 %P 256 %E M. Karpinski %T Proceedings of Fundamentals of Computation Theory, 1977 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 56 %D 1977 %P 542 %K FCT %E W. Cowell %T Proceedings of Portability of Numerical Software, 1976 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 57 %D 1977 %P 539 %A M.J. O'Donnell %T Computing in systems described by equations %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 58 %D 1977 %P 111 %A E. Hill,\ Jr. %T A comparative study of very large databases %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 59 %D 1978 %P 140 %E R, Bayer %E R.M. Graham %E G. Seegmuller %T Operating systems: an advanced course %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 60 %D 1978 %P 593 %E D. Bjorner %E C.B. Jones %T The Vienna development method %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 61 %D 1978 %P 382 %E G. Ausiello %E C. Bohm %T Proceedings of Automata, Languages and Programming, 1978 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 62 %D 1978 %P 508 %E L. Bolc %T Natural language communication with computers %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 63 %D 1978 %P 292 %E J. Winkowski %T Proceedings of Mathematical Foundations of Computer Science, 1978 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 64 %D 1978 %P 551 %K MFCS %E G. Bracchi %E P.C. Lockemann %T Proceedings of Information Systems Methodology %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 65 %D 1978 %P 696 %A N.D. Jones %A S.S. Muchnick %T TEMPO: a unified treatment of binding time and parameter passing concepts in programming languages %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 66 %D 1978 %P 118 %E K. Weihrauch %T Proceedings of Theoretical Computer Science, 4th GI conference %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 67 %D 1979 %P 324 %A D. Harel %T First-order dynamic logic %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 68 %D 1979 %P 133 %E F.L. Bauer %E M. Broy %T Program construction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 69 %D 1979 %P 651 %E G. Kahn %T Proceedings of Semantics of Concurrent Computation, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 70 %D 1979 %P 368 %E H.A. Maurer %T Proceedings of Automata, Languages and Programming, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 71 %D 1979 %P 684 %E E.W. Ng %T Proceedings of Symbolic and Algebraic Computation, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 72 %D 1979 %P 557 %E V. Claus %E H. Ehrig %E G. Rozenberg %T Proceedings of Graph Grammars and Their Application to Computer Science and Biology, 1978 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 73 %D 1979 %P 477 %E J. Becvar %T Proceedings of Mathematical Foundations of Computer Science, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 74 %D 1979 %P 580 %K MFCS %E E.K. Blum %E M. Paul %E S. Takasu %T Proceedings of Mathematical Studies of Information Processing, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 75 %D 1979 %P 629 %E B. Childs %E et al %T Proceedings of Codes for Boundary-value Problems in Ordinary Differential Equations %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 76 %D 1979 %P 388 %A G.V. Bochmann %T Architecture of distributed computer systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 77 %D 1979 %P 238 %A M. Gordon %A R. Milner %A C. Wadsworth %T Edinburgh LCF %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 78 %D 1979 %P 159 %E J. Tobias %T Proceedings of Language Design and Programming Methodology, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 79 %D 1980 %P 255 %E S.K. Chang %E K.S. Fu %T Pictorial information systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 80 %D 1980 %P 445 %E A. Blaser %T Data base techniques for pictorial applications %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 81 %D 1980 %P 599 %A J.G. Sanderson %T A relational theory of computing %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 82 %D 1980 %P 147 %E B. Robinet %T Proceedings of the International Symposium on Programming, 1980 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 83 %D 1980 %P 341 %K ISP %E W. Brauer %T Proceedings of Net Theory and Applications %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 84 %D 1980 %P 537 %E J. de Bakker %E J. van Leeuwen %T Proceedings of Automata, Languages and Programming, 1980 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 85 %D 1980 %P 671 %K ALP %E D. Bjorner %T Proceedings of Abstract Software Specifications %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 86 %D 1980 %P 567 %E W. Bibel %E R. Kowalski %T Proceedings of the 5th Conference on Automated Deduction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 87 %D 1980 %P 385 %E P. Dembinksi %T Proceedings of Mathematical Foundations of Computer Science 1980 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 88 %D 1980 %P 723 %K MFCS %E J. Encernecao %T Proceedings of Computer Aided Design - Modelling, Systems Engineering, CAD Systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 89 %D 1980 %P 461 %A D.M. Sandford %T Using sophisticated models in resolution theorem proving %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 90 %D 1980 %P 239 %A D. Wood %T Grammar and L forms: an introduction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 91 %D 1980 %P 314 %K Lindenmayer systems %A R. Milner %T A calculus of communication systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 92 %D 1980 %P 171 %A A. Nijholt %T Context-free grammars: covers, normal forms, and parsing %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 93 %D 1980 %P 253 %E N.D. Jones %T Proceedings of Semantics-directed Compiler Generation %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 94 %D 1980 %P 489 %A Ch.D. Martin %T Coroutines %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 95 %D 1980 %P 246 %A J.L. Peterson %T Computer programs for spelling correction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 96 %D 1980 %P 213 %A S. Osaki %A T. Nishio %T Reliability evaluation of some fault-tolerant computer architectures %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 97 %D 1980 %P 129 %E D. Bjerner %E O.N. Oest %T Towards a formal description of Ada %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 98 %D 1980 %P 630 %A I. Guessarian %T Algebraic semantics %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 99 %D 1981 %P 158 %E H. Noltemeier %T Graphtheoretic concepts in computer science %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 100 %D 1981 %P 403 %A A. Thayse %T Boolean calculus of differences %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 101 %D 1981 %P 144 %A J.H. Davenport %T On the integration of algebraic functions %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 102 %D 1981 %P 197 %A H. Ledgard %A A. Singer %A J. Whiteside %T Directions in human factors of interactive systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 103 %D 1981 %P 190 %E P. Deussen %T Theoretical computer science %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 104 %D 1981 %P 261 %E B.W. Lampson %E M. Paul %E H.J. Siegert %T Distributed systems - architecture and implementation %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 105 %D 1981 %P 510 %A DoD %T The programming language Ada reference manual %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 106 %D 1981 %P 243 %E J. Diaz %E I. Ramos %T Proceedings of the International Colloquium on Formalization of Programming Concepts %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 107 %D 1981 %P 478 %E N. Saito %E T. Nishizeki %T Graph theory and algorithms %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 108 %D 1981 %P 216 %E L. Bolc %E Z. Kulpa %T Digital image processing systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 109 %D 1981 %P 353 %A W. Dehning %A H. Essig %A S. Maass %T The adaptation of virtual man-computer interfaces to user requirements in dialogs %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 110 %D 1981 %P 142 %E W. Handler %T Proceedings of CONPAR 81 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 111 %D 1981 %P 508 %E G. Astesiano %E C. Bohm %T Proceedings of CAAP'81 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 112 %D 1981 %P 364 %A E.-E. Doberkat %T Stochastic automata: stability, nondeterminism, and prediction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 113 %D 1981 %P 135 %A B. Liskov %T CLU reference manual %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 114 %D 1981 %P 190 %E S. Even %E O. Kariv %T Automata, languages and programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 115 %D 1981 %P 552 %A M.A. Casanova %T The concurrency control problem for database systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 116 %D 1981 %P 175 %E F. Gecseg %T Proceedings: Fundamentals of computation theory %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 117 %D 1981 %P 471 %E J. Gruska %E M. Chytil %T Proceedings: Mathematical foundations of computer science 1981 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 118 %D 1981 %P 589 %A G. Hirst %T Anaphors in natural language understanding: a survey %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 119 %D 1981 %P 128 %A L.B. Rall %T Automatic differentiation: techniques and applications %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 120 %D 1981 %P 165 %A Z. Zlatev %A J. Wasniewski %A K. Schaumburg %T Y12M solution of large and sparse systems of linear algebraic equations %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 121 %D 1981 %P 128 %E A.P. Ershov %E D.E. Knuth %T Proceedings: Algorithms in modern mathematics and computer science, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 122 %D 1981 %P 487 %E A.J.W. Duijvestijn %E P.C. Lockemann %T Proceedings: Trends in information processing systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 123 %D 1981 %P 349 %A W. Polak %T Compiler specification and verification %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 124 %D 1981 %P 269 %E E. Engeler %T Logic of programs %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 125 %D 1981 %P 245 %E M.J. Flynn %E N.R. Harris %E D.P. McCarthy %T Proceedings: Microcomputer system design, 1981 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 126 %D 1982 %P 397 %A Y. Wallach %T Alternating sequential/parallel processing %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 127 %D 1982 %P 329 %A P. Branquart %A G. Louis %A P. Wodon %T An analytical description of CHILL, the CCITT high level language %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 128 %D 1982 %P 277 %A B.T. Hailpern %T Verifying concurrent processes using temporal logic %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 129 %D 1982 %P 208 %A R. Goldblatt %T Axiomatising the logic of computer programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 130 %D 1982 %P 304 %E D. Kozen %T Proceedings: Logics of programs, 1981 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 131 %D 1982 %P 429 %E S.B. Yao %E S.B. Navathe %E J.L. Weldon %E T.L. Kunii %T Proceedings: Data base design techniques I, 1978 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 132 %D 1982 %P 227 %E S.B. Yao %E T.L. Kunii %T Proceedings: Data base design techniques II, 1979 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 133 %D 1982 %P 229-399 %E J. Staunstrup %T Proceedings: Program specification %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 134 %D 1982 %P 426 %A R.L. Constable %A S.D. Johnson %A C.D. Eichenlaub %T An introduction to the PL/CV2 programming logic %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 135 %D 1982 %P 292 %A Ch.M. Hoffman %T Group-theoretic algorithms and graph isomorphism %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 136 %D 1982 %P 311 %E M. Dezani-Ciancaglini %A M. Montanari %T Proceedings of the international symposium on programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 137 %D 1982 %P 406 %E D.W. Loveland %T Proceedings of the 6th conference on automated deduction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 138 %D 1982 %P 389 %A J. Uhl %A S. Drossopoulou %A G. Persch %A G. Goos %A M. Dausmann %A G. Winterstein %A W. Kirchgassner %T An attribute grammar for the semantics analysis of Ada %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 139 %D 1982 %P 511 %E M. Nielsen %E E.M. Schmidt %T Automata, languages and programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 140 %D 1982 %P 614 %A U. Kastens %A B. Hutt %A E. Zimmermann %T GAG: a practical compiler generator %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 141 %D 1982 %P 156 %E P.C. Messina %E A. Murli %T Proceedings: Problems and methodologies in mathematical software production, 1980 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 142 %D 1982 %P 271 %E M. Maekawa %E L.A. Belady %T Proceedings: Operating system engineering, 1980 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 143 %D 1982 %P 465 %E J. Calmet %T Proceedings: Computer algebra %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 144 %D 1982 %P 301 %E A.B. Cremers %E H.P. Kriegel %T Proceedings: Theoretical computer science, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 145 %D 1982 %P 367 %E G. Salton %E H.-J. Schneider %T Proceedings: Research and development in information retrieval, 1982 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 146 %D 1983 %P 311 %E E. Goto %E I. Nakata %E K. Furukawa %E R. Nakajima %E A. Yonezawa %T Proceedings: RIMS symposia on software science and engineering, 1982 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 147 %D 1983 %P 232 %E A. Salwicki %T Proceedings: Logics of programs and their applications, 1980 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 148 %D 1983 %P 324 %E T. Beth %T Proceedings: Cryptography, 1982 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 149 %D 1983 %P 402 %E A. Blaser %E M. Zoeppritz %T Proceedings: Enduser systems and their human factors %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 150 %D 1983 %P 138 %A R. Piloty %A M. Barbacci %A D. Borrione %A D. Dietmeyer %A F. Hill %A P. Skelly %T CONLAN report %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 151 %D 1983 %P 174 %E E. Knuth %E E.J. Neuhold %T Proceedings: Specification and design of software systems, 1982 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 152 %D 1983 %P 152 %E H. Ehrig %E M. Nagl %E G. Rozenberg %T Proceedings: Graph-grammars and their application to computer science, 1982 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 153 %D 1983 %P 452 %E J. Diaz %T Proceedings: Automata, languages and programming, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 154 %D 1983 %P 734 %A ANSI %T The programming language Ada reference manual %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 155 %D 1983 %P 331 %A M.H. Overmars %T The design of dynamic data structures %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 156 %D 1983 %P 181 %A O. Osterby %A Z. Zlatev %T Direct methods for sparse matrices %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 157 %D 1983 %P 127 %E M. Karpinski %T Proceedings: Foundations of computation theory, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 158 %D 1983 %P 517 %E G. Ausiello %E M. Protasi %T Proceedings: CAAP'83 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 159 %D 1983 %P 416 %E R. Nakajima %E T. Yuasa %T The IOTA programming system %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 160 %D 1983 %P 217 %E G. Goos %E W.A. Wolf %E A. Evans Jr %E K.J. Butler %T DIANA, an intermediate language for Ada %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 161 %D 1983 %P 201 %E J.A. van Hulzen %T Proceedings: Computer algebra, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 162 %D 1983 %P 305 %E T.L. Kunii %T Proceedings: VLSI engineering %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 163 %D 1984 %P 308 %E E. Clarke %E D. Kozen %T Proceedings: Logics of programs, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 164 %D 1984 %P 528 %A T.F. Coleman %T Large sparse numerical optimization %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 165 %D 1984 %P 105 %E M. Fontet %E K. Mehlhorn %T Proceedings of STACS 84 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 166 %D 1984 %P 338 %E C. Girault %E M. Paul %T Proceedings of the International Symposium on Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 167 %D 1984 %P 262 %E R. Dillman %E U. Rembold %T Methods and tools for computer integrated manufacturing %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 168 %D 1984 %P 528 %A Ch. Ronse %T Feedback shift registers %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 169 %D 1984 %P 145 %E E. Borger %E G. Hasenjaeger %E D. Rodding %T Proceedings: Logic and machines: decision problems and complexity, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 171 %D 1984 %P 456 %E J. Paredaens %T Proceedings: automata, languages and programming, 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 172 %D 1984 %P 527 %E G. Kahn %E D.B. MacQueen %E G. Plotkin %T Semantics of data types %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 173 %D 1984 %P 391 %E J. Fitch %T Proceedings of EUROSAM 84 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 174 %D 1984 %P 396 %A A. Thayse %T P-functions and boolean matrix factorization %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 175 %D 1984 %P 248 %E M.P. Chytil %E V. Koubek %T Proceedings: Mathematical foundations of computer science 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 176 %D 1984 %P 581 %E C.B. Jones %T Programming languages and their definition %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 177 %D 1984 %P 254 %E G.C. van der Veer %E M.J. Tauber %E T.R.G. Green %E P. Gorny %T Proceedings: Readings on cognitive ergonomics - mind and computers %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 178 %D 1984 %P 269 %A V. Pan %T How to multiply matrices faster %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 179 %D 1984 %P 212 %E P.J.L. Wallis %T Ada software tools interfaces %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 180 %D 1984 %P 164 %E M. Joseph %E R. Shyamasundar %T Proceedings: Foundations of software technology and theoretical computer science %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 181 %D 1984 %P 468 %E K. Mehlhorn %T Proceedings of STACS 85 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 182 %D 1985 %P 374 %E CIP language group %T The Munich project CIP, volume I: the wide-spectrum language CIP-L %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 183 %D 1985 %P 275 %E D. Hitchinson %E J. Mariani %E D. Shepherd %T Proceedings: Local area networks: an advanced course %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 184 %D 1985 %P 497 %E H. Ehrig %E C. Floyd %E M. Nivat %E J. Thatcher %T Proceedings: Mathematical foundations of software development 1985, volume 1: Colloqium on trees in algebra and programming (CAAP 85) %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 185 %D 1985 %P 418 %E H. Ehrig %E C. Floyd %E M. Nivat %E J. Thatcher %T Proceedings: Formal methods of software development 1985, volume 2: Colloqium on software engineering (CSE) %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 186 %D 1985 %P 455 %A F.S. Chaghaghi %T Time series package (TSPACK) %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 187 %D 1985 %P 305 %E G. Rozenberg %T Advances in Petri nets 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 188 %D 1985 %P 467 %A M.S. Sherman %T Paragon %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 189 %D 1985 %P 376 %E M. Paul %E H.J. Siegert %T Distributed systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 190 %D 1985 %P 573 %A H. Barringer %T A survey of verification techniques for parallel programs %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 191 %D 1985 %P 115 %E M. Nivat %E D. Perrin %T Proceedings: Automata on infinite words 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 192 %D 1985 %P 216 %E R. Parikh %T Proceedings: Logics of programs 1985 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 193 %D 1985 %P 424 %E W. Brauer %T Proceedings: Automata, languages and programming 1985 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 194 %D 1985 %P 520 %A H.J. Stuttgen %T A hierarchical associative processing system %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 195 %D 1985 %P 273 %E G.R. Blakley %E D. Chaum %T Proceedings: Advances in cryptology 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 196 %D 1985 %P 491 %E S.D. Brookes %E A.W. Roscoe %E G. Winskel %T Proceedings: Seminar on concurrency 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 197 %D 1985 %P 523 %A A. Businger %T PORTAL language description %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 198 %D 1985 %P 186 %E L. Budach %T Proceedings: Fundamentals of computation theory %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 199 %D 1985 %P 533 %A J.L.A. van de Snepscheut %T Trace theory and VLSI design %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 200 %D 1985 %P 140 %E J.-P. Jouannaud %T Proceedings: Functional programming languages and computer architecture 1985 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 201 %D 1985 %P 413 %E J.-P. Jouannaud %T Rewriting techniques and applications %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 202 %D 1985 %P 441 %E B. Buchberger %T Proceedings: EUROCAL 85, volume 1 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 203 %D 1985 %P 233 %E B. Buchberger %T Proceedings: EUROCAL 85, volume 2 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 204 %D 1985 %P 650 %A P. Klint %T A study of string processing languages %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 205 %D 1985 %P 165 %E S.N. Maheshwari %T Proceedings: Foundations of software technology and theoretical computer science, 1985 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 206 %D 1985 %P 522 %E B.T. Denvir %T Proceedings: The analysis of concurrent systems, 1983 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 207 %D 1985 %P 398 %E A. Skowron %T Proceedings: Computation theory, 1984 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 208 %D 1985 %P 397 %E T. Beth %E N. Cot %E I. Ingemarson %T Proceedings of EUROCRYPT '84: Advances in cryptology %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 209 %D 1985 %P 491 %E B. Monien %E G. Vidal-Niquet %T Proceedings of STACS 86 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 210 %D 1986 %P 368 %A U. Schoning %T Complexity and structure %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 211 %D 1986 %P 99 %E K. Nickel %T Proceedings of Interval Mathematics 85 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 212 %D 1986 %P 227 %E B. Robinet %E R. Wilhelm %T Proceedings of the European Symposium on Programming, 86 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 213 %D 1986 %P 374 %E P. Franchi-Zannettacci %T Procedings of the 11th Colloquium on Trees in Algebra and Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 214 %D 1986 %P 306 %K CAAP %E W. Bibel %E K.P. Jantke %T Proceedings of Mathematical Methods of Specification and Synthesis of Software Systems '85 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 215 %D 1986 %P 245 %A Ch. Fernstrom %A I. Kruzela %A B. Svensson %T LUCAS associative array processor: design, programming and application studies %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 216 %D 1986 %P 323 %E H. Ganzinger %E N.D. Jones %T Proceedings of Programs as Data Objects %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 217 %D 1986 %P 324 %E H.C. Williams %T Proceedings of Advances in Cryptology: CRYPTO '85 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 218 %D 1986 %P 548 %E F. Pichler %T Proceedings of Advances in Cryptology: EUROCRYPT '85 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 219 %D 1986 %P 281 %E E. Goto %E K. Araki %E T. Yuasa %T Proceedings of the RIMS Symposium on software Science and Engineering %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 220 %D 1986 %P 323 %E E. Wada %T Proceedings of Logic Programming '85 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 221 %D 1986 %P 311 %E G. Rozenberg %T Advances in Petri nets 1985 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 222 %D 1986 %P 498 %E A.L. Selman %T Proceedings of Structure in Complexity Theory %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 223 %D 1986 %P 401 %E J.W. de\ Bakker %E W.-P. de\ Roever %E G. Rozenberg %T Current trends in concurrency - overviews and tutorials %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 224 %D 1986 %P 716 %E E. Shapiro %T Proceedings of the Third International Conference on Logic Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 225 %D 1986 %P 720 %E L. Kott %T Proceedings of Automata, Languages, and Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 226 %D 1986 %P 474 %E F. Makedon %E K. Mehlhorn %E T. Papatheodorou %E P. Spirakis %T Proceedings of VLSI Algorithms and Architectures %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 227 %D 1986 %P 328 %K AWOC AWOC86 %E A. Poli %T Proceedings of Applied Algebra and Algorithmic Error-correcting Codes %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 228 %D 1986 %P 265 %K AAECC AAEEC2 %E J. Calmet %T Proceedings of Applied Algebra and Algorithmic Error-correcting Codes %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 229 %D 1986 %P 416 %K AAECC AAEEC3 %E J.H. Siekmann %T Proceedings of the 8th International Conference on Automated Deduction %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 230 %D 1986 %P 708 %A R. Hausser %T NEWCAT: parsing natural language using left-associative GR %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 231 %D 1986 %P 540 %E W. Bibel %E Ph. Jorrand %T Fundamentals of artificial intelligence %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 232 %D 1986 %P 313 %E J. Gruska %E B. Rovan %E J. Wiedermann %T Proceedings of Mathematical Foundations of Computer Science 1986 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 233 %D 1986 %P 650 %E D. Beech %T Concepts in user interfaces: a reference model for command and repsonse languages %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 234 %D 1986 %P 116 %E W.L. Miranker %E R.A. Toupin %T Proceedings of Accurate Scientific Computations %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 235 %D 1986 %P 205 %E J. Desamenien %T TeX for scientific documentation %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 236 %D 1986 %P 204 %E W. Handler %E D. Haupt %E R. Jeltsch %E W. Juling %E O. Lange %T Proceedings of CONPAR 86 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 237 %D 1986 %P 418 %A Lee Naish %T Negation and control in Prolog %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 238 %D 1986 %P 119 %E A. Melton %T Proceedings of Mathematical Foundations of Programming Semantics %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 239 %D 1986 %P 395 %E David Pitt %E Samson Abramsky %E Axel Poigne %E David Rydeheard %T Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 240 %D 1986 %P 519 %E K.V. Nori %T Proceedings: Foundations of software technology and theoretical computer science, 1986 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 241 %D 1986 %P 519 %E G. Cousineau %E P.-L. Curien %E B. Robinet %T Proceedings: Combinators and Functional Programming Languages %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 242 %D 1986 %P 208 %E Giorgio Ausiello %E Paolo Atzeni %T Proceedings of the International Conference on Database Theory %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 243 %D 1986 %P 444 %E R. Conradi %A T.M. Didriksen %A D.H. Wanvik %T Proceedings of the Conference on Advanced Programming Environments %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 244 %D 1986 %P 604 %A H.F. de\ Groote %T Lectures on the complexity of bilinear problems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 245 %D 1987 %P 135 %E G. Tinhofer %E G. Schmidt %T Proceedings of the Conference on Graph-theoretic Concepts in Computer Science %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 246 %D 1987 %P 307 %E F.J. Brandenburg %E G. Vidal-Naquet %E M. Wirsing %T Proceedings of STACS 87 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 247 %D 1987 %P 484 %E G. Muller %E R.P. Blanc %T Proceedings on the Conference on Networking in Open Systems %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 248 %D 1987 %P 441 %A H. Ehrig %A R. Kowalski %A G. Levi %A U. Montanari %T Proceedings of TAPSOFT '87, volume 1 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 249 %D 1987 %P 289 %A H. Ehrig %A R. Kowalski %A G. Levi %A U. Montanari %T Proceedings of TAPSOFT '87, volume 2 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 250 %D 1987 %P 336 %A V. Akman %T Unobstructed shortest paths in polyhedral environments %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 251 %D 1987 %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 103 %E D. Bjorner %E C.B. Jones %E M. Mac\ an\ Airchinnigh %E E.J. Neuhold %T Proceedings of VDM '87: VDM - a formal method at work %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 252 %D 1987 %P 422 %E J.D. Becker %E I. Eisele %T Proceedings of WOPPLOT '86: Parallel Processing: Logic, Organization, and Technology %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 253 %D 1987 %P 226 %E W. Brauer %E W. Reisig %E G. Rozenberg %T Advances in Petri nets: central models and their properties, part I %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 254 %D 1987 %P 480 %E W. Brauer %E W. Reisig %E G. Rozenberg %T Advances in Petri nets: central models and their properties, part II %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 255 %D 1987 %P 516 %E P. Lescanne %T Proceedings of the Conference on Rewriting Techniques and Applications %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 256 %D 1987 %P 285 %E F. Cesarini %E S. Salza %T database machine performance: modeling methodologies and evaluation strategies %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 257 %D 1987 %P 250 %E J.W. de\ Bakker %E A.J. Nijman %E P.C. Treleaven %T Proceedings of the Conference on parallel architectures and languages, Europe, volume I %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 258 %D 1987 %P 480 %E J.W. de\ Bakker %E A.J. Nijman %E P.C. Treleaven %T Proceedings of the Conference on parallel architectures and languages, Europe, volume II %S Lecture Notes in Computer Science %I Springer-Verlag %C New York %K lncs %N 259 %D 1987 %P 464 %A D.C. Luckham %A F.