000			03008nam a2200337Ia 4500
001			169795
003			BIBL
005			20160527184457.0
008			900501s1990 ne a b 001 0 eng
010			_a 90003485 //r90
020			_a0444880755 (U.S. : set)
020			_a0444880712 (U.S. : v. A)
020			_a0444880747 (U.S. : v. B)
020			_a0262220407 (MIT Press : set)
020			_a0262220385 (MIT Press : v. A)
020			_a0262220393 (MIT Press : v. B)
035			_a(OCoLC)21563125
040			_aDLC _cDLC _dPMC
049			_aPUXA
050	0	0	_aQA76 _b.H279 1990
082	0	0	_a004 _220
245	0	0	_aHandbook of theoretical computer science _cedited by Jan van Leeuwen.
260			_aAmsterdam _aNew York _bElsevier _aCambridge, Mass. _bMIT Press _c1990.
300			_a2 v. _bill. _c25 cm.
504			_aIncludes bibliographical references and indexes.
505	0		_av. A. Algorithms and complexity: Machine models and simulations / P. van Emde Boas. A catalog of complexity classes / D.S. Johnson. Machine-independent complexity theory / J.I. Seiferas. Kolmogorov complexity and its applications / M. Li and P.M.B. Vitányi. Algorithms for finding patterns in strings / A.V. Aho. Data structures / K. Mehlhorn and A. Tsakalidis. Computational geometry / F.F. Yao. Algorithmic motion planning in robotics / J.T. Schwartz and M. Sharir. Average-case analysis of algorithms and data structures / J.S. Vitter and Ph. Flajolet. Graph algorithms / J. van Leeuwen. Algebraic complexity theory / V. Strassen. Algorithms in number theory / A.K. Lenstra and H.W. Lenstra, Jr. Cryptography / R.L. Rivest. The complexity of finite functions / R.B. Boppana and M. Sipser. Communication networks / N. Pippenger. VLSI theory / Th. Lengauer.
505	0		_aParallel algorithms for shared-memory machines / R.M. Karp and V. Ramachandran. General purpose parallel architectures / L.G. Valiant -- v. B. Formal models and semantics: Finite automata / D. Perrin. Context-free languages / J. Berstel and L. Boasson. Formal languages and power series / A. Salomaa. Automata on infinite objects / W. Thomas. Graph rewriting : an algebraic and logic approach / B. Courcelle. Rewrite systems / N. Dershowitz and J.-P. Jounnaud. Functional programming and lambda calculus / H.P. Barendregt. Type systems for programming languages / J.C. Mitchell. Recursive applicative program schemes / B. Courcelle. Logic programming / K.R. Apt. Denotational semantics / P.D. Mosses. Semantic domains / C.A. Gunter and D.S. Scott. Algebraic specification / M. Wirsing. Logics of programs / D. Kozen and J. Tiuryn.
505	0		_aMethods and logics for proving programs / P. Cousot. Temporal and modal logic / E.A. Emerson. Elements of relational database theory / P.C. Kanellakis. Distributed computing : models and methods / L. Lamport and N. Lynch. Operational and algebraic semantics of concurrent processes / R. Milner.
650		0	_aComputer science _2Local _979104
700	1	0	_aLeeuwen, J. van _q(Jan) _2Local _9124425
999			_c133934 _d133934