Continuing Full Coverage ACTAINF Acta Informatica, 1976(6)- ALGORITHMS Journal of Algorithms, all ALGRTHMICA Algorithmica, all AWOC Aegean Workshop on Computing: VLSI Algorithms and Architectures, 1986, LNCS 227 CGTA Computational Geometry: Theory and Applications CMPCMPL Computational Complexity, Birkhauser Verlag, Basel, all COCOON Annual International Conference on Computing and Combinatorics COLT Proceedings of the Workshop on Computational Learning Theory, Morgan Kaufmann Publishers or ACM Press, ACM SIGACT and ACM SIGART COMPGEOM Annual ACM Symposium on Computational Geometry, all COMPLEXITY Journal of Complexity, all COMPTHEORY Symposium on Computation Theory, 1984 CRYPTO Proceedings of Crypto, Annual International Cryptology Conference, 1982- CSURV Computing Surveys, all CSURVES Computing Surveys Electronic Section, http://www.acm.org/pubs/contents/journals/surveys/, all ESA Annual European Symposium on Algorithms FOCS IEEE Symposium on Foundations of Computer Science, 1969- GEOMETRY Discrete & Computational Geometry, all ICALP Annual International Colloquium on Automata, Languages and Programming, all IJFCS International Journal of Foundations of Computer Science, World Scientific INFCTRL Information and Computation (formerly Information and Control), 1981(51)- IPL Information Processing Letters, all JACM Journal of the ACM, 1967- JCRYPTOL Journal of Cryptology, the journal of the International Association for Cryptologic Research JCSS Journal of Computer and System Sciences, 1972- LATIN Latin American Theoretical INformatics LICS IEEE Symposium on Logic in Computer Science MFCS Symposium on Mathematical Foundations of Computer Science, 1974- MST Theory of Computing Systems (formerly Mathematical Systems Theory: An International Journal on Mathematical Computing Theory), 1990(23)- PKC International Workshop on Practice and Theory in Public Key Cryptography, LNCS SCT Annual Conference on Structure in Complexity Theory (change to something like IEEECCC?) SICOMP SIAM Journal on Computing, all SODA ACM-SIAM Symposium on Discrete Algorithms (A Conference on Theoretical and Experimental Analysis of Discrete Algorithms) SPAA Annual ACM Symposium on Parallel Algorithms and Architectures STACS Annual Symposium on Theoretical Aspects of Computer Science, all STOC ACM Symposium on Theory of Computing, all SWAT Scandinavian Workshop on Algorithm Theory, 1990- TCS Theoretical Computer Science, all WDAG International Workshop on Distributed Algorithms, LNCS, Springer-Verlag WIA International Workshop on Implementing Automata, LNCS, Springer-Verlag Selected Coverage 3CONLINE 3C ON-LINE, a Quarterly Publication of the Association for Computing Machinery Special Interest Group for Computing at Community Colleges AAAI National Conference on Artificial Intelligence, AAAI Press / The MIT Press AAECC Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, International Conference, LNCS AAIR Advances in Artificial Intelligence Research, A Research Annual, JAI Press Inc., Greenwich, Connecticut, and London, England AAPT American Association of Physics Teachers AASFENNIC Annales Academiae Scientiarum Fennicae, Series A. I. Mathematica (aka, Suomalais Tiedeakat Toimituks, or something like that) ABACUS Abacus ABLEX Ablex Publishing Corporation, Norwood, New Jersey ACADCOMP Academic Computing, Academic Computing Publications, Inc. ACADEMIC Academic Press, Inc.; AP Professional ACCS Automatic Control and Computer Sciences (Avtomatika i Vychislitel'naya Tekhnika), Allerton Press Inc. ACISP Information Security and Privacy: Australasian Conference ACM Association for Computing Machinery/ACM Press, New York ACMANNCONF Proceedings ACM Annual Conference ACMCCR Computer Communication Review, A Quarter Publication of ACM SIGCOMM ACMCSC ACM Annual Computer Science Conference ACMLFP ACM Conference on LISP and Functional Programming ACMLPLS ACM Letters on Programming Languages and Systems ACMNATCONF National Conference of the ACM, Thompson Book Co. ACMOSR ACM Operating Systems Review ACMTCHI ACM Transactions on Computer-Human Interaction ACMTCS ACM Transactions on Computer Systems ACMTDS ACM Transactions on Database Systems ACMTG ACM Transactions on Graphics ACMTMCS ACM Transactions on Modeling and Computer Simulation ACMTMS ACM Transactions on Mathematical Software ACMTOIS ACM Transactions on (Office) Information Systems ACMTOPLAS ACM Transactions on Programming Languages and Systems ACMTSEM ACM Transactions on Software Engineering and Methodology ACPC Parallel Computation: International ACPC Conference ACSC Asian Computing Science Conference (ASIAN), LNCS ACTACYB Acta Cybernetica ACTAMHUNG Acta Mathematica Hungarica ADALTRS Ada Letters, A Bimonthly Publication of SIGAda, the ACM Special Interest Group on Ada ADCM Advances in Data Communications Management, Slonim & Unger & Fisher (Eds.), Wiley ADM Ringeisen & Roberts (eds.), Applications of Discrete Mathematics, SIAM, 1988 ADML Automatic Documentation and Mathematical Linguistics ADPP Harry W. Tyrer (Ed.), Advances in Distributed and Parallel Processing, Ablex Publishing ADVAM Advances in Applied Mathematics ADVCR Advances in Computing Research, A Research Annual, JAI Press Inc., Greenwich, Connecticut, and London, England ADVMATH Advances in Mathematics ADWES Addison-Wesley Publishing Company (Addison Wesley Longman, Inc.) AEMC Algebraic, Extremal and Metric Combinatorics, 1986, M.-M. Deza & P. Frankl (eds.), Cambridge University Press, 1988 AES Advances in Engineering Software, Published in association with the International Society for Computational Methods in Engineering AFLPS Arrays, Functional Languages, and Parallel Systems, Edited by Lenore M. R. Mullin, Michael Jenkins, Gaetan Hains, Robert Bernecky, and Guang Gao, Kluwer, 1991 AGAROBOTICS Algorithmic and Geometric Aspects of Robotics, ed. by Jacob T. Schwartz and Chee-Keng Yap, Lawrence Erlbaum Associates, Hillsdale, New Jersey AII Analogical and Inductive Inference, International Workshop AII '86, LNCS 265, 1987; AII '89, LNCS 397 AIJ Artificial Intelligence, An International Journal AIMAG AI Magazine AIMTC Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Vladimir Lifschitz (Ed.), Academic Press, 1991 AIPPRESS AIP Press, American Institute of Physics AISMC International Conference on Artificial Intelligence and Symbolic Mathematical Computing AIZU Aizu International Symposium on Parallel Algorithms/Architecture Synthesis, IEEE Computer Society Press AJC Australasian Journal of Combinatorics (Replaces red supplemental series of Ars Combinatoria) AJCAI Australian Joint Conference on Artificial Intelligence AJPHYSICS American Journal of Physics ALCOM Algorithms Review, Newsletter of the ESPRIT II Basic Research Actions Program Project no. 3075 (ALCOM) ALGLOGIC Algebra and Logic (A Translation of Algebra i Logika) ALLERTON Annual Allerton Conference on Communication, Control, and Computing, Allerton House, Monticello, Illinois ALT International Workshop on Algorithmic Learning Theory AMAST International Conference on Algebraic Methodology and Software Technology AMC Applied Mathematics and Computation AMCS Applied Mathematics and Computer Science, Technical University Press, Zielona Gora, Poland AMIT AMIT Magazine AML Archive for Mathematical Logic (continuation of Archiv fuer Mathematische Logik und Grundlagenforschung), Springer International AMLETS Applied Mathematics Letters, Pergamon Press AMM The American Mathematical Monthly AMMHPC Davy & Dew (Eds.), Abstract Machine Models for Highly Parallel Computers, Oxford, 1995 AMOPT Applied Mathematics & Optimization: An International Journal AMS American Mathematical Society AMSCI American Scientist ANNALSDM Annals of Discrete Mathematics, North-Holland ANNALSHC Annals of the History of Computing ANNALSMAI Annals of Mathematics and Artificial Intelligence, J. C. Baltzer A. G. Scientific Publishing Company ANNALSML Annals of Mathematical Logic ANNALSMTH Annals of Mathematics ANNALSPAL Annals of Pure and Applied Logic ANNALSPROB The Annals of Probability ANNALSSTAT The Annals of Statistics ANNREVCS Annual Review of Computer Science ANTS ANTS, Algorithmic Number Theory, International Symposium APALGS Advances in Parallel Algorithms, Edited by Lydia Kronsjo and Dean Shumsheruddin, Halsted/Wiley, 1992 APARA International Workshop on Applied Parallel Computing: Industrial Computation and Optimization, PARA '96, LNCS APDC Advances in Parallel and Distributed Computing, IEEE Computer Society Press APNUMMATH Applied Numerical Mathematics APP Aegean Park Press APPFIB Bergum & Philippou & Horadam (Eds.), Applications of Fibonacci Numbers, Volume 4: Proceedings of `The Fourth International Conference on Fibonacci Numbers and Their Applications', Kluwer Academic Publishers, 1991 APPROX International Workshop on Approximation Algorithms for Combinatorial Optimization APTCC Clote & Krajicek (Eds.), Arithmetic, Proof Theory, and Computational Complexity, Clarendon Press, 1993 ARCHMATH Archiv der Mathematik, Birkhauser Verlag ARLOSAP ARL Office of Scientific and Academic Publishing ARONSON Jason Aronson Inc., Northvale, New Jersey, and London ARSCOMB ARS Combinatoria ARTECH Artech House, Boston and London ARTLIFE Artificial Life ASASCS Proceedings of the Statistical Computing Section of the Annual Meeting of the American Statistical Association, American Statistical Association, Alexandria, Virginia ASIACRYPT Advances in Cryptology -- ASIACRYPT: International Conference on the Theory and Application of Cryptology, LNCS ASQ Asterisque (Societe Mathematique de France) ATAI Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, LNCS 345, 1988; others later ATPETRI Application and Theory of Petri Nets, International Conference AUSCRYPT LNCS 453, Seberry & Pieprzyk (Eds.), Advances in Cryptology--AUSCRYPT '90, International Conference on Cryptology AUTORC Automation and Remote Control, A translation of Avtomatika i Telemekhanika BALTICCS J. Barzdins and D. Bjorner (Eds.), Baltic Computer Science: Selected Papers, LNCS 502 BAMS Bulletin of the American Mathematical Society BANTAM Bantam Books BARILAN Bar-Ilan University BASICBKS BasicBooks, A Division of HarperCollins Publishers BCC Surveys in Combinatorics 1987: Invited Papers for the Eleventh British Combinatorial Conference, ed. C. Whitehead, Cambridge University Press, 1987 BCENTU Bulletin of the College of Engineering, National Taiwan University, Taipei, Taiwan, Republic of China BEATCS Bulletin of the European Association for Theoretical Computer Science BELLTJ The Bell System Technical Journal BIBLIOP Bibliopolis BIFURC Bifurcation and Chaos in Applied Sciences and Engineering, World Scientific BIGBROTH Hoffman (Ed.), Building in Big Brother: The Cryptographic Policy Debate, Springer-Verlag BIMAS Bulletin of the Institute of Mathematics Academia Sinica, Institute of Mathematics, Academia Sinica, Taipei, Taiwan, Republic of China BINFCYB Bulletin of Informatics and Cybernetics, Research Association of Statistical Sciences BIOINF Bioinformatics BIOMET Biometrical Journal: Journal of Mathematical Methods in Biosciences BIRKHAUSER Birkhauser Boston BIT BIT: Numerical Mathematics BLACKWELL (Basil) Blackwell Scientific Publications, Oxford, London, Edinburgh, Boston, Palo Alto, Melbourne BMB Bulletin of Mathematical Biology, Pergamon Press BOOK Studies in Complexity Theory, 1986, Pitman Publishing BOOKTR Papers on Computational Complexity Theory (Edited by Ron Book, UCSB, usually) BROWN William C. Brown Publishers, Dubuque, Iowa BSL The Bulletin of Symbolic Logic BSMF Bulletin de la Societe Mathematique de France BSTNIA Bostonia, The Alumni Quarterly of Boston University BURKS Essays on Cellular Automata, ed. Arthur W. Burks, University of Illinois Press, Urbana, Chicago, London, 1970 BUSWEEK Business Week BYTE Byte: The Small Systems Journal CAAP Colloquium on Trees in Algebra and Programming, LNCS, Springer-Verlag CACM Communications of the ACM CAD Computer-Aided Design CADE International Conference on Automated Deduction CAGD Computer Aided Geometric Design CAH Computers and the Humanities, North-Holland Publishing Company CAMBPHILSOC Mathematical Proceedings of the Cambridge Philosophical Society, Cambridge University Press CAMELOT The Camelot Publishing Company, North Oaks, Minnesota, and Ormond Beach, Florida CANDED Computers and Education, An International Journal, Pergamon Press CANDG Computers & Graphics: An International Journal CANDM An International Journal: Computers & Mathematics, with Applications CANDSOC Computers & Society, A Publication of the ACM Special Interest Group on Computers & Society CANEWS ACM SIGARCH Computer Architecture News (including Annual International Symposium on Computer Architecture) CAPO Control Aspects of Prosthetics and Orthotics: Proceedings of the International Federation of Automatic Control Symposium, R. M. Campbell (Ed.) CARNAHAN Annual IEEE International Carnahan Conference on Security Technology CARNCOMM Carnegie Commission on Science, Technology, and Government, September 1991 CARTINT Comput. Artif. Intell. CAV International Conference on Computer Aided Verification CBMS Conference Board of the Mathematical Sciences, Regional Conference Series CC International Conference on Compiler Construction, LNCS CCC Combinatorics, Computing and Complexity, Du Dingzhu and Hu Guoding (eds.), Science Press (Beijing) and Kluwer Academic Publishers (Dordrecht/Boston/London) CCCG Canadian Conference in Computational Geometry CCT Computational Complexity Theory, Juris Hartmanis (Ed.), AMS Short Course Lecture Notes: Introductory Survey Lectures, Proceedings of Symposia in Applied Mathematics, Volume 38, American Mathematical Society, 1989 CED Committee for Economic Development CEEIJ Computers & Electrical Engineering: An International Journal, Pergamon Press CENTMATH John Ewing (Ed.), A Century of Mathematics, Through the Eyes of the Monthly, MAA CFAT The Carnegie Foundation for the Advancement of Teaching CFPDC Canada-France Conference on Parallel and Distributed Computing, Theory and Practice CGAPPS Computational Geometry and its Applications, Hartmut Noltemeier (Ed.), LNCS 333, 1988 CGFORUM Computer Graphics Forum, North-Holland CGIP Computer Graphics and Image Processing, Academic Press CGMAA H. Bieri and H. Noltemeier (Eds.), Computational Geometry--Methods, Algorithms and Applications, International Workshop on Computational Geometry CG '91, LNCS 553, 1991 CGRADS Council of Graduate Schools CHAITIN Information Randomness & Incompleteness: Papers on Algorithmic Information Theory, Gregory J. Chaitin, World Scientific, Series in Computer Science--Vol. 8, 1987 CHANCE Chance: New Directions for Statistics and Computing CHAOSFRACT Chaos and Fractals: The Mathematics Behind the Computer Graphics, Robert L. Devaney and Linda Keen (Eds.), Proceedings of Symposia in Applied Mathematics, Volume 39, American Mathematical Society, 1989 CHAOSSF Chaos, Solitons & Fractals: Applications in Science and Engineering, Pergamon CHAPHALL Chapman and Hall CHELSEA Chelsea Publishing Company, New York, New York CIAC Italian Conference on Algorithms and Complexity CICS Constructivity in Computer Science, The Association for Symbolic Logic, Summer Symposium, 1991 CIME Combinatorial Optimization: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C. I. M. E.) held at Como, Italy, August 25-September 2, 1986, Spring Lecture Notes in Mathematics 1403, B. Simeone (Ed.) CINFDIR Computing Information Directory, Colville, Washington CISS Annual (Princeton/Johns Hopkins) Conference on Information Sciences and Systems CITRUS Citrus Press, Titusville, Florida CJM Canadian Journal of Mathematics CJTCS Chicago Journal of Theoretical Computer Science, MIT Press CLARENDON Clarendon Press, Oxford CLASSIF Journal of Classification CLROB Jean-Louis Lassez & Gordon Plotkin (Eds.), Computational Logic: Essays in Honor of Alan Robinson, The MIT Press, 1991 CLRT Sorbi (Ed.), Complexity, Logic, and Recursion Theory, Marcel Dekker, Inc. CLTNLS Computational Learning Theory and Natural Learning Systems, Volume I: Constraints and Prospect, edited by Stephen Jose Hanson, George A. Drastal, and Ronald L. Rivest, Bradford/MIT Press CMCHINA Computational Mathematics in China, Zhong-Ci Shi and Chung-Chun Yang, Editors, Contemporary Mathematics volume 163, American Mathematical Society CMGA Graphs and Algorithms, Contemporary Mathematics Volume 89, AMS, 1989, R. Bruce Richter, Editor, Proc. of AMS-IMS-SIAM Joint Summer Research Conf., June 28-July 4, 1987, supp. by NSF CMJ The College Mathematics Journal, An Official Publication of the Mathematical Association of America CMMT Bonin & Oxley & Servatius (Eds.), Matroid Theory: AMS-IMS-SIAM Joint Summer Research Conference on Matroid Theory, Contemporary Mathematics 197, AMS, 1996 CMPANDSTR Computers & Structures: An International Journal CMPTGSYSTS Computing Systems, the journal of the USENIX Association CMSDTF Jeff Shrager and Pat Langley (Eds.), Computational Models of Scientific Discovery and Theory Formation, Morgan Kaufmann, 1990 CMUANNIV Perspectives on Computer Science, ed. by Anita K. Jones, Academic Press, New York, 1977; CMU Computer Science: A 25th Anniversary Commemorative, Richard F. Rashid (Ed.), ACM Press and Addison-Wesley Publishing Co., 1991 CMWLC Contemporary Mathematics Volume 106, American Mathematical Society, 1990, Wilfried Sieg, Editor, Logic and Computation: Proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987 CNISDN Computer Networks and ISDN Systems CNUMOPT Complexity in Numerical Optimization, Editor Panos M. Pardalos, World Scientific COBIBS Combinatorial Optimization: Annotated Bibliographies, ed. by M. O'hEigeartaigh, J. K. Lenstra, and A. H. G. Rinnooy Kan, Wiley, 1985 CODTA Coding Theory and Applications, International Colloquium, LNCS, Springer-Verlag COGSCI Cognitive Science: A Multidisciplinary Journal of Artificial Intelligence, Linguistics, Neuroscience, Philosophy, Psychology COMAP Consortium for Mathematics and Its Applications, Inc., UMAP Modules in Undergraduate Mathematics and Its Applications COMBINAT Combinatorica COMBMATH Combinatorial Mathematics: Proceedings of the Third International Conference, Annals of the New York Academy of Sciences, Volume 555, 1989, Ed. by Gary S. Bloom, Ronald L. Graham, and Joseph Malkevitch COMMCRYP Blahut & Costello & Maurer & Mittelholzer (Eds.), Communications and Cryptography: Two Sides of One Tapestry, Kluwer COMPALG Fischer & Loustaunau & Shapiro & Green & Farkas (Eds.), Computational Algebra, Marcel Dekker COMPANDINT George F. Luger (Ed.), Computation and Intelligence: Collected Readings, AAAI Press/The MIT Press, 1995 COMPARITH Proceedings of Symposium on Computer Arithmetic, The Computer Society of the IEEE, IEEE Computer Society Press COMPASS Proceedings of the Annual Conference on Computer Assurance COMPAUT Proceedings of the Symposium on Computers and Automata, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, NY COMPBIO Computers and Biomedical Research, An International Journal, Academic Press, Inc. COMPBM Computers in Biology and Medicine, Pergamon Press COMPEURO Computer Systems and Software Engineering, IEEE Computer Society Press COMPEUCL Computing in Euclidean Geometry, Edited by Ding-Zhu Du and Frank Hwang, World Scientific, Lecture Notes Series on Computing -- Vol. 1, 1992 COMPGT G. Tinhofer, E. Mayr, H. Noltemeier, and M. M. Syslo (eds.) in cooperation with R. Albrecht, Computational Graphs Theory, Springer-Verlag Computing Supplementum 7, 1990 COMPINFT Yaser S. Abu-Mostafa, Complexity in Information Theory, Springer-Verlag, 1988 COMPINT Computational Intelligence: An International Journal COMPJ The Computer Journal COMPLANGS Computer Languages, Pergamon Press COMPLING Computational Linguistics, MIT Press for the Association for Computational Linguistics COMPMORPH Computational Morphology: A Computational Geometric Approach to the Analysis of Form, Godfried T. Toussaint (ed.), North-Holland, 1988 COMPNT Attila Petho & Michael E. Pohst & Hugh C. Williams & Horst Gunter Zimmer (Eds.), Computational Number Theory, Walter de Gruyter, Berlin and New York, 1991 COMPOSITIO Compositio Mathematica COMPRENDU Comptes Rendus de l'Academie des Sciences, Serie I: Mathematique, Gauthier-Villars COMPREVS ACM Computing Reviews COMPSAC Annual International Computer Software & Applications Conference, IEEE Computer Society Press, Los Alamitos, California COMPSHOP Computer Shopper COMPSOC Computers and Society, ACM Special Interest Group on Computers and Society COMPSYSTS Complex Systems COMPUTER IEEE Computer, Membership Magazine of the IEEE Computer Society COMPUTG Computing (Archive for Informatics and Numerical Computation), Springer-Verlag CONCCOMPS Tewksbury & Dickinson & Schwartz (eds.), Concurrent Computations: Algorithms, Architecture, and Technology, Plenum Press, New York, 1988 CONCPE Concurrency: Practice and Experience CONCUR International Conference on Concurrency Theory, LNCS CONPAR Conference on Algorithms and Hardware for Parallel Processing CONSORT Consortium: The Newsletter of the Consortium for Mathematics and Its Applications CONTCRYPT Gustavus J. Simmons (Ed.), Contemporary Cryptology: The Science of Information Integrity, IEEE Press, 1992 CPAAP Proceedings of ACM Conference on Proving Assertions about Programs, Las Cruces, New Mexico, 1972, (ACM 1972) CPAM Communications on Pure and Applied Mathematics CPERSONN Computer Personnel: A Quarterly Publication of the (ACM) Special Interest Group on Computer Personnel Research CPM Symposium on Combinatorial Pattern Matching CPPRPT C++ Report: The International Authority on C++ Development CPROBIA J. Laurie Snell (Ed.), Topics in Contemporary Probability and Its Applications, CRC Press, 1995 CRCHCD Charles J. Colbourn and Jeffrey H. Dinitz (Eds.), The CRC Handbook of Combinatorial Designs, CRC Press, 1996 CRCHCSE Allen B. Tucker, Jr. (Editor-in-Chief), The Computer Science and Engineering Handbook, CRC Press, in cooperation with ACM, 1997 CRCPRESS CRC Press Inc. CRN Computing Research News, The Quarterly Newsjournal of The Computing Research Association, Formerly the Computing Research Board CRYPTOLOGIA Cryptologia: A Quarterly Journal Devoted to Cryptology CSAE Computational Science & Engineering, IEEE Computer Society CSL Workshop on Computer Science Logic, Annual Conference of the EACSL, LNCS, Springer-Verlag CSMON C. Science Monitor CSPRESS Computer Science Press CSSE Computer Systems Science and Engineering CSSS 1989 Lectures in Complex Systems, The Proceedings of the 1989 Complex Systems Summer School, Erica Jen (Ed.), Lectures Volumes II and III, Santa Fe Institute/Studies in the Sciences of Complexity, Addison-Wesley, 1990; Lecture Volume V: 1992; Lectures Volume VI: 1993 CSSTAT Computing Science and Statistics, Interface Foundation of North America CSTI Conceptual Structures: Theory and Implementation, Annual Workshop, LNCS CTCS Category Theory and Computer Science, D. H. Pitt, P.-L. Curien, S. Abramsky, A. M. Pitts, A. Poigne, and D. E. Rydeheard (Eds.), LNCS 530, 1991 CTCURR Complexity Theory: Current Research, Edited by Klaus Ambos-Spies, Steven Homer, and Uwe Schoning, Cambridge University Press CTOMW Ian Wand and Robin Milner (Eds.), Computing Tomorrow: Future Research Directions in Computer Science, Cambridge University Press CTRETRO Alan L. Selman, Editor, Complexity Theory Retrospective, In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988, 1990 CTRS CTRS, Conditional Term Rewriting Systems: International Workshop CTVLSI Proceedings of the Caltech Conference on Very Large Scale Integration CUMMINGS The Benjamin/Cummings Publishing Company, Inc. CUP Cambridge University Press CURRENTS Alfred V. Aho, Currents in the Theory of Computing, Prentice-Hall, 1973 CVGIP Computer Vision, Graphics, and Image Processing CVGIPGMIP Graphical Models and Image Processing (formerly CVGIP: Graphical Models and Image Processing) CVGIPIU Computer Vision and Image Understanding (formerly CVGIP: Image Understanding) CWIMONOGS CWI Monographs, Centrum voor Wiskunde en Informatica/Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, North-Holland CWIQUART CWI Quarterly, Centrum voor Wiskunde en Informatica/Centre for Mathematics and Computer Science, Amsterdam, The Netherlands CWITA Canadian Workshop on Information Theory and Applications CWITRACT CWI Tracts, Centrum voor Wiskunde en Informatica (Centre for Mathematics and Computer Science) CYBERNETICA Cybernetica CYBERNETICS Cybernetics and Systems Analysis (A Translation of Kibernetika i Sistemnyi Analiz) (formerly Cybernetics (A Translation of Kibernetika)) DAMATH Discrete Applied Mathematics and Combinatorial Operations Research and Computer Science DCC Data Compression Conference, IEEE Computer Society TCC DCTOP Stewart S. Cairns (editor), Differential and Combinatorial Topology, Princeton University Press, 1965 DDJ Dr. Dobb's Journal DFGSJI Data Structures and Efficient Algorithms: Final Report on the DFG Special Joint Initiative, B. Monien and Th. Ottmann (Eds.), LNCS 594 DGCI International Workshop on Discrete Geometry for Computer Imagery DIGITAL Digital Press DIMACS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, AMS and ACM DISTCOMP Distributed Computing DISTMEMCC Distributed Memory Computing Conference, IEEE Computer Society Press DMATH Discrete Mathematics DMKD Data Mining and Knowledge Discovery, Kluwer Academic Publishers DOKLADY Doklady Mathematics, Interperiodica Publishing (formerly Russian Academy of Sciences Doklady. Mathematics (formerly Soviet Mathematics--Doklady) (Official English Translation of Doklady Akademii Nauk, at least as of Vol. 51 (January-February, 1995))) DOERRHOTZ Automatentheorie und Formale Sprachen, Bericht Tagung Oberwolfach Okt. 1969 (ed. J. Doerr u. G. Hotz), Mannheim 1970 DORSET Dorset House Publishing, New York City DOUBLEDAY Doubleday DOVER Dover Publications, Inc., New York DPALGS Aldous & Diaconis & Spencer & Steele (Eds.), Discrete Probability and Algorithms, Springer-Verlag, 1995 DPCS Kelso & Mandell & Shlesinger (eds.), Dynamic Patterns in Complex Systems, World Scientific, New Jersey, 1988 DPUNKT Dpunkt, Verlag fur Digitale Technologie GmbH, Heidelberg DRECTHY S. B. Cooper, T. A. Slaman, and S. S. Wainer (Eds.), Computability, Enumerability, Unsolvability: Directions in Recursion Theory, Cambridge University Press, 1996 DUCKWORTH Duckworth DUP Duke University Press, Durham and London EATCSMTCS EATCS Monographs on Theoretical Computer Science, Springer-Verlag ECML European Conference on Machine Learning ECONOMIST The Economist EDCC EDCC, European Dependable Computing Conference, LNCS EIK Journal of Information Processing and Cybernetics EIK (formerly Elektronische Informationsverarbeitung und Kybernetik) ELETS Electronic Letters ENSEIGN L'Enseignement Mathematique Revue Internationale ENSEIGNSC Enseignement des Sciences ERDOS Bela Bollobas and Andrew Thomason (Eds.), Combinatorics, Geometry and Probability: A tribute to Paul Erdos, Cambridge University Press, 1997 ERGOSYST Ergosyst Associates ERLBAUM Lawrence Erlbaum Associates, Publishers ESMATH Educational Studies in Mathematics ESOP European Symposium on Programming ESORICS European Symposium on Research in Computer Security, LNCS ETDS Ergodic Theory and Dynamical Systems, Cambridge University Press EUROCAL European Conference on Computer Algebra, 1987 = LNCS 378, 1989 EUROCODE International Symposium on Coding Theory and Applications, LNCS EUROCOLT EUROCOLT, European Conference on Computational Learning Theory, EuroCOLT, LNCS EUROCOMB European Journal of Combinatorics EUROCRYPT Advances in Cryptology: Proceedings of EUROCRYPT EUROPAR Parallel Processing, International EURO-PAR Conference, LNCS EVCOMP Evolutionary Computation: Genetic Algorithms, Evolution Strategies, Evolutionary Programming EXPMATH Expositiones Mathematicae, International Journal FAIR Fundamentals of Artificial Intelligence Research, International Workshop FAIR, Ph. Jorrand and J. Kelemen (Eds.), LNCS 535, 1991 FC International Conference on Financial Cryptography, LNCS, Springer-Verlag FCT Fundamentals (or Foundations) of Computation Theory FDPP Formal Development of Programs and Proofs, Edsger W. Dijkstra (Ed.), Addison-Wesley, 1990 FEASMATH Samuel R. Buss and Philip J. Scott (Eds.), Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989, Birkhauser, 1990; Peter Clote and Jeffrey Remmel (Eds.), Feasible Mathematics II, Birkhauser, 1995 FFAPS Finite Fields and their Applications FFCTACC Mullen & Shiue (Eds.), Finite Fields, Coding Theory, and Advances in Communications and Computing, Marcel Dekker, 1993 FFTAA Finite Fields: Theory, Applications, and Algorithms, Second International Conference on Finite Fields: Theory, Applications, and Algorithms, Gary L. Mullen and Peter Jau-Shyong Shiue (Eds.), Contemporary Mathematics Volume 168, AMS FIBQ The Fibonacci Quarterly FINNSCHOOL Proceedings of the Winter School on Theoretical Computer Science, Finnish Society of Information Processing Science, 1984 FIWAC French-Israeli Workshop on Algebraic Coding FJCCCS Franco-Japanese and (n-4th) Franco-Chinese Conference Combinatorics and Computer Science, LNCS FLANGTH Ronald V. Book, Formal Language Theory: Perspectives and Open Problems, Academic Press, 1980 FMLDESC Neuhold & Paul (Eds.), Formal Description of Programming Concepts, Springer-Verlag, 1991 FMPSC Frontiers of Massively Parallel Scientific Computation, National Aeronautics and Space Administration, IEEE Computer Society Press FNDPHYS Foundations of Physics FODO International Conference on Foundations of Data Organization and Algorithms, LNCS FOSSACS International Conference on Foundations of Software Science and Computation Structures, LNCS FRACSCI Armin Bunde and Shlomo Havlin (Eds.), Fractals in Science, Springer-Verlag, 1994 FRIEDMAN Harvey Friedman's Research on the Foundations of Mathematics, Harrington & Morley & Scedrov & Simpson (Eds.), North-Holland FSTTCS Foundations of Software Technology and Theoretical Computer Science FSWAC French-Soviet Workshop on Algebraic Coding, Springer-Verlag LNCS FTCS Fault-Tolerant Computing: Annual International Symposium, IEEE Computer Society FTDCS Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems, IEEE Computer Society Press FTPDS The 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, IEEE Computer Society Press FTRTFTS Formal Techniques in Real-Time and Fault-Tolerant Systems: International SymposiumInternational Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS, LNCS GAC Graphs and Combinatorics, Springer-Verlag GALERSCH Gale Research Inc., Detroit, Washington, and London GAMETHEORY International Journal of Game Theory GARDNER The Mathematical Gardner, ed. by David A. Klarner, Prindle, Weber & Schmidt, Boston, 1981 GASA Genetic Algorithms and Simulated Annealing, ed. Lawrence Davis, Pitman Publishing/Morgan Kaufmann Publishers, 1987 GDRAWING Conference on Graph Drawing (GD) GEOMDED Geometriae Dedicata GITCS GI Conference on Theoretical Computer Science GLAKES Great Lakes Computer Science Conference GLOBALSTDS Zhonghua Yang and T. Anthony Marsland (Eds.), Global States and Time in Distributed Systems, IEEE Computer Society Press GLSV GLSV, Proceedings Great Lakes Symposium on VLSI: Design Automation of High Performance VLSI Systems, IEEE Computer Society Press GORDONBREACH Gordon & Breach Science Publishers GGRAMS Graph-Grammars and Their Application to Computer Science, International Workshop GRAPHCOL Roy Nelson & Robin J. Wilson (Eds.), Graph Colourings, Longman Scientific & Technical (Pitman Research Notes in Mathematics Series 218) GREENWD Greenwood Press, Westport, Connecticut, and London GTAEW Graph Theory and its Applications: East and West: Proceedings of the First China-USA Int'l Graph Theory Conf., Annals of the New York Academy of Sciences, Volume 576, 1989, Ed. by M. F. Capobianco, M. Guan, D. F. Hsu, and F. Tian HADASS Hadassah Magazine HAI The Handbook of Artificial Intelligence, Volume IV, edited by Avron Barr, Paul R. Cohen, and Edward A. Feigenbaum, Addison-Wesley HAMMING Richard W. Hamming, Coding and Information Theory (2nd ed.), Prentice-Hall, 1986 HARDWIRED HardWired HARPER Harper & Row, Publishers HAW Hill and Wang, New York, A Division of Farrar, Straus and Giroux HCOMB Handbook of Combinatorics, edited by R. L. Graham, M. Grotschel, and L. Lovasz, Elsevier and The MIT Press, 1995 HCONVGEOM Handbook of Convex Geometry, Volumes A and B, P. M. Gruber and J. M. Wills (Eds.), North-Holland, 1993 HDCGEOM Jacob E. Goodman and Joseph O'Rourke (Eds.), Handbook of Discrete and Computational Geometry, CRC Press, 1997 HEATH D. C. Heath and Company, Lexington, Massachusetts/Toronto HEINZNIX Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use HELMERS Helmers Publishing, Inc., Peterborough, New Hampshire HICSS Hawaii International Conference on System Sciences, IEEE Computer Societ Press HILBERT Mathematical Developments Arising from Hilbert Problems, American Mathematical Society, 1976, 2 vols. HILGER Adam Hilger Ltd., Bristol and Boston HLICS Abramsky & Gabbay & Maibaum, Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Clarendon, 1992 HLSCOMBINAT Combinatorics, ed. by A. Hajnal, L. Lovasz, and V. T. Sos, colloquia Mathematica Societatis Janos Bolyai, 52, North-Holland, 1988 HMPROG History of Mathematical Programming, Jan Karel Lenstra & Alexander H. G. Rinnooy Kan & Alexander Schrijver (Eds.), CWI and North-Holland, 1991 HOARE C. A. A. Hoare and C. B. Jones (Ed.), Essays in Computing Science, Prentice Hall, 1989 HORWOOD Ellis Horwood Limited Publishers, Chichester/Halsted Press: a division of John Wiley & Sons HPCA International Symposium on High-Performance Computer Architecture, IEEE Computer Society HPEREN HarperPerennial, A Division of HarperCollins Publishers HTCS Handbook of Theoretical Computer Science, Ed. Jan van Leeuwen, Elsevier and MIT Press (Volume A (= ``1''): Algorithms and Complexity) HUP HUP, Harvard University Press, Cambridge, Massachusetts IACR IACR Newsletter, A Publication of the International Association for Cryptologic Research IANDS IEEE International Joint Symposia on Intelligence and Systems, IEEE Computer Society Press IBMJAPAN IBM Symposium on Mathematical Foundations of Computer Science, Mathematical Theory of Computations/The Complexity of Algorithms IBMJRD IBM Journal of Research and Development ICAAAPP IEEE International Conference on Algorithms And Architectures for Parallel Processing ICANNGA D. W. Pearson, N. C. Steele, and R. F. Albrecht (Eds.), Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Ales, France, 1995 ICCAL Computer Assisted Learning, International Conference ICCAS International Conference on Cybernetics & Society, IEEE ICCI Advances in Computing and Information--ICCI: International Conference on Computing and Information, LNCS, Springer-Verlag ICCONC Concurrency 88: International Conference on Concurrency, LNCS 335 ICCP International Conference on Constraint Programming (CP), LNCS ICDCS International Conference on Distributed Computing Systems ICDE International Conference on Data Engineering, IEEE Computer Society Technical Committee on Data Engineering ICDT International Conference on Database Theory ICFMPA Formal Methods in Programming and Their Applications, International Conference, LNCS ICGI International Colloquium on Grammatical Inference and Applications ICIS International Conference on Information and Communications Security (ICIS), LNCS ICLMPS International Congress for Logic, Methodology and Philosophy of Science ICM Proceedings of the International Congress of Mathematicians ICML Machine Learning: Proceedings of the International Conference ICPADS International Conference on Parallel and Distributed Systems, National Tsing Hua University, Hsinchu, Taiwan, Republic of China ICPP International Conference on Parallel Processing (including ICPP Workshop on Challenges for Parallel Processing), CRC Press or IEEE Computer Society Press ICSA International Conference on Systolic Arrays, ed. Keith Bromley, Sun-Yuan Kung, and Earl Swartzlander, IEEE Computer Society, 1988 ICSLC Proceedings of the International Conference on Symbolic and Logical Computing, Edited by Eric Johnson, Dakota State University, Madison, South Dakota ICTACV International Journal of Circuit Theory and Applications ICTAG Quadrennial International Conference on the Theory and Applications of Graphs ICVLSI Proceedings of the International Conference on VLSI Design, IEEE Computer Society Press IEEECEP Proceedings of The IEEE International Conference on Evolutionary Computation (ICEC), IEEE World Congress on Computational Intelligence, IEEE Neural Network Council (NNC), Evolutionary Programming Society (EPS) IEEECGA IEEE Computer Graphics and Applications IEEECICC IEEE Custom Integrated Circuits Conference IEEECSM IEEE Communications Society Magazine IEEECSP IEEE Computer Society Press IEEEICNN IEEE International Conference on Neural Networks IEEEJSAC IEEE Journal on Selected Areas in Communications IEEEPRESS IEEE Press, The Institute of Electrical and Electronics Engineers, Inc., New York IEEESOFT IEEE Software IEEESPECT IEEE Spectrum IEEESUPER Proceedings of Supercomputing '91, IEEE Computer Society Press IEEETAC IEEE Transactions on Automatic Control IEEETASSP IEEE Transactions on Signal Processing (formerly IEEE Transactions on Acoustics, Speech, and Signal Processing) IEEETC IEEE Transactions on Computers IEEETCAD IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEETCOMM IEEE Transactions on Communications IEEETCS IEEE Transactions on Circuits and Systems IEEETE IEEE Transactions on Education IEEETFS IEEE Transactions on Fuzzy Systems, A Publication of the IEEE Neural Networks Council IEEETIP IEEE Transactions on Image Processing, A Publication of the IEEE Signal Processing Society IEEETIT IEEE Transactions on Information Theory IEEETKDE IEEE Transactions on Knowledge and Data Engineering IEEETNN IEEE Transactions on Neural Networks, A Publication of the IEEE Neural Networks Council IEEETNWKG (aka IEANEP) IEEE/ACM Transactions on Networking, A Joint Publication of the IEEE Communications Society, the IEEE Computer Society, and the ACM with its Special Interest Group on Data Communication (SIGCOMM), ACM Press IEEETPAMI IEEE Transactions on Pattern Analysis and Machine Intelligence IEEETPC IEEE Transactions on Professional Communication IEEETPDS IEEE Transactions on Parallel and Distributed Systems IEEETREL IEEE Transactions on Reliability IEEETROB IEEE Transactions on Robotics and Automation IEEETSE IEEE Transactions on Software Engineering IEEETSMC IEEE Transactions on Systems, Man, and Cybernetics IEEETVCG IEEE Transactions on Visualization and Computer Graphics IEEETVLSIS IEEE Transactions on Very Large Scale Integration (VLSI) Systems IEEPCDS IEE Proceedings on Circuits, Devices and Systems IEEPCDT IEE Proceedings on Computers and Digital Techniques IEEPCMM IEE Proceedings on Communications IFIP Information Processing Congress/IFIP World Computer Congress IFIPSEC IFIP International Conference on Computer Security and Information Integrity in out Changing World, North-Holland IJAC International Journal of Algebra and Computation, World Scientific Publishing Company IJAR International Journal of Approximate Reasoning, North-Holland IJCAI Proceedings of International Joint Conference on Artificial Intelligence IJCALP Algebraic and Logic Programming: International Joint Conference, ALP '97 -- HOA '97 IJCGA International Journal of Computational Geometry & Applications IJCIS International Journal of Computer and Information Sciences IJCM International Journal of Computer Mathematics IJCV International Journal of Computer Vision IJDCC Designs, Codes and Cryptography, An International Journal, Kluwer Academic Publishers Group IJIS International Journal of Intelligent Systems IJM Israel Journal of Mathematics IJMANMACH International Journal of Man-Machine Studies IJMMS International Journal of Mathematics and Mathematical Sciences IJNS International Journal of Neural Systems IJPAM Indian Journal of Pure & Applied Mathematics IJPP International Journal of Parallel Programming IJTP International Journal of Theoretical Physics IMA IMA Conference on Cryptography and Coding, LNCS lately (earlier: Cryptography and Coding II, Edited by Chris Mitchell, Clarendon Press, 1992) IMAVIS Image and Vision Computing, Elsevier IMPAPPCOMP Swaminathan Natarajan (Ed.), Imprecise and Approximate Computation, Kluwer INDACAD Proceedings of the Indian Academy of Sciences Mathematical Sciences INFSCIENCES Information Sciences, An International Journal, North-Holland INFOBAHN Infobahn: The Magazine of Internet Culture INFOWORLD InfoWorld INFSEC Information Security: An Integrated Collection of Essays, Marshall D. Abrams, Sushil Jajodia, and Harold J. Podell (Eds.), IEEE Computer Society Press INPUT INPUT: A Newsletter for Computer Science Educators, Wiley, compsci@jwiley.com INRIAANNIV Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the 25th Anniversary of INRIA, A. Bensoussan and J.-P. Verjus (Eds.), LNCS 653, 1992 INTEG Integration, The VLSI Journal (including Integration Reports) INTMATHU International Mathematical Union INVMATH Inventiones Mathematicae, Springer-Verlag INWORLD Internet World: The Magazine for Internet Users IPCO Integer Programming and Combinatorial Optimization conference IPPS International Parallel Processing Symposium, IEEE Computer Society Press (now includes SPDP) IPPSW Feitelson & Rudolph (Eds.), Job Scheduling Strategies for Parallel Processing: IPPS '95 Workshop, Springer LNCS 949 IRFORUM SIGIR Forum, A Publication of the ACM Special Interest Group on Information Retrieval IRREGULAR IRREGULAR, International Workshop/Symposium on Parallel Algorithms for Irregularly Structured Problems, LNCS ISAAC International Symposium on Algorithms and Computation (formerly SIGAL International Symposium on Algorithms), Organized by Special Interest Group on Algorithms (SIGAL) of the Information Processing Society of Japan (IPSJ) and the Technical Group on Theoretical Foundation of Computing of the Institute of Electronics, Information and Communication Engineers (IEICE)) ISAIDA International Symposium on Advances in Intelligent Data Analysis (IDA), LNCS ISIT Proceedings IEEE International Symposium on Information Theory, sponsored by The Information Theory Society of The Institute of Electrical and Electronic Engineers ISMVL International Symposium on Multiple-Valued Logic, IEEE Computer Society Press ISPAN Proceedings, International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN), IEEE Computer Society Press ISRGPMC International Seminar on Random Graphs and Probabilistic Methods in Combinatorics, North-Holland/Wiley ISSAC Proceedings of the ACM SIGSAM International Symposium on Symbolic and Algebraic Computation (formerly SYMSAM, SYMSAC, EUROSAM, EUROCAL) (also sometimes in cooperation with the Symbolic and Algebraic Manipulation Groupe in Europe (SAME)) ISSMM Proceedings of the International Symposium on Shared Memory Multiprocessing, Information Processing Society of Japan, 1991 ISTCS Israeli Symposium on the Theory of Computing and Systems, IEEE Computer Society Press ISW International Workshop on Information Security, LNCS ITCOMP Image and Text Compression, edited by James A. Storer, Kluwer Academic Publishers, 1992 ITP International Thomson Publishing Company, including divisions PWS Publishing Company and VNR ITS Intelligent Tutoring Systems, International Conference IWANN Artificial Neural Networks, International Workshop IWANN '91 IWDM International Workshop on Database Machines, LNCS, Springer-Verlag IWFSE International Workshop on Fast Software Encryption, LNCS IWHOLTP International Workshop on Higher Order Logic Theorem Proving and Its Applications, aka International Conference on Theorem Proving in Higher Order Logics (TPHOLs), LNCS IWIH International Workshop on Information Hiding IWSCM International Workshop on Software Configuration Management, ACM SIGSOFT, IEEE CS, and Gesellschaft fur Informatik IWSP International Workshop on Security Protocols, LNCS IWWERT International Workshop on Word Equations and Related Topics, IWWERT IZVESTIYA Mathematics of the USSR--IZVESTIYA JACTION Jewish Action: The Magazine of the Orthodox Union JALGEB Journal of Algebra JAMS Journal of the American Mathematical Society JAPROB Journal of Applied Probability JAR Journal of Automated Reasoning JCAM Journal of Computational and Applied Mathematics JCOMBDES Journal of Combinatorial Designs, Wiley-Interscience JCOMPM Journal of Computational Mathematics, Science Press, Beijing, China, and ///VSP///, Zeist, The Netherlands JCSOC The Journal of Computing and Society, Ablex Publishing Corporation, Norwood, New Jersey JCT Journal of Combinatorial Theory, Series ? JCTA Journal of Combinatorial Theory, Series A JCTB Journal of Combinatorial Theory, Series B JERUSCOMB Jerusalem Combinatorics '93: An International Conference in Combinatorics, May 9-17, 1993, Jerusalem Israel, Helene Barcelo and Gil Kalai Editors, ACM Contemporary Mathematics 178 JETAI Journal of Experimental & Theoretical Artificial Intelligence JGEOM Journal of Geometry, Birkhauser JGT Journal of Graph Theory JHUP The Johns Hopkins University Press, Baltimore and London JISAE Journal of Information Science and Engineering, Institute of Information Science, Academia Sinica, Taipei, Taiwan, Republic of China JISYSTS Journal of Intelligent Systems JJIAM Japan Journal of Industrial and Applied Mathematics (JJIAM) JLC Journal of Logic and Computation (unseen by me) JMAPPS Journal of Microcomputer Applications, Academic Press JMB Journal of Mathematical Biology, Springer International JNT Journal of Number Theory JONESBART Jones and Bartlett Publishers, Boston JOOP Journal of Object-Oriented Programming JOSSEY Jossey-Bass Publishers JOTA Journal of Optimization Theory and Applications JPAA Journal of Pure and Applied Algebra JPAM Journal of Pascal, Ada & Modula-2 JPDC Journal of Parallel and Distributed Computing JPOST The Jerusalem Post International Edition JSCOMP Journal of Symbolic Computation JSCS Journal of Statistical Computation and Simulation JSL Journal of Symbolic Logic JSM Journal of Mathematical Sciences (formerly Journal of Soviet Mathematics) JUDP Judaica Press JVLSICS Journal of VLSI and Computer Systems KASHRUS Kashrus Magazine KEYREP The Key Reporter, Phi Beta Kappa KGC Kurt Godel Colloquium on Computational Logic and Proof Theory, LNCS KLUWER Kluwer Academic Publishers, Boston/Dordrecht/Lancaster KMURTHY E. V. Krishnamurthy, Error-Free Polynomial Matrix Computations, Springer-Verlag, 1985 KNOPF Alfred A. Knopf, New York KOHAVIPAZ Theory of Machines and Computations, Ed. by Zvi Kohavi and Azaria Paz, Academic Press, 1971 KRANAKIS Evangelos Kranakis, Primality and Cryptography, Wiley, 1986 KRSR Kac & Rota & Schwartz & Renz, Discrete Thoughts: Essays on Mathematics, Science, and Philosophy, Revised and Corrected Edition, Birkhauser, 1992 KYBERNETIKA Kybernetika (Prague) LAMI Luigi M. Ricciardi (Ed.), Lectures in Applied Mathematics and Informatics, Manchester, 1990 LANDA Logic and Algorithmic: An International Symposium Held in Honour of Ernst Specker, L'Enseignement Mathematique, Universite de Geneve, 1982 LASC LISP and Symbolic Computation, An International Journal, Kluwer Academic Publishers, The Netherlands LCC International Workshop on Logic and Computational Complexity LCHULL Logic Colloquium '86: Proceedings of the Colloquium held in Hull, U. K., July 13-19, 1986, ed. by F. R. Drake and J. K. Truss, North-Holland, 1986; Logic Colloquium '88, Padova, Italy; Logic Colloquium '84, Manchester, U. K. (published in 1986) LFCS The International Symposium on Logical Foundations of Computer Science LFFP Logical Foundations of Functional Programming, Edited by Gerard Huet, Addison-Wesley LFROMCS Y. N. Moschovakis (Ed.), Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989, Springer-Verlag, 1992 LINALG Linear Algebra and Its Applications LINFLOW Logic and Information Flow, edited by Jan van Eijck and Albert Visser, The MIT Press LISPTRS LISP Pointers LMALGEB Linear and Multilinear Algebra LMMCS Logical Methods in Mathematics and Computer Science: A Symposium in Honor of Anil Nerode on the Occasion of His Sixtieth Birthday, Workshop on Feasible Mathematics LNCIS Lecture Notes in Control and Information Sciences, Springer-Verlag LNCS Lecture Notes in Computer Science, Springer-Verlag LNEMS Lecture Notes in Economics and Mathematical Systems, Springer-Verlag LNMATH Lecture Notes in Mathematics, Springer-Verlag LNPAM Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, Inc., New York and Basel LNSTAT Lecture Notes in Statistics, Springer-Verlag LOCSRCH Emile Aarts and Jan Karel Lenstra (Eds.), Local Search in Combinatorial Optimization, Wiley, 1997 LOGALG Ursini & Agliano (Eds.), Logic and Algebra, Marcel Dekker, Inc. LOGCOLLOQ Logic Colloquium (Lecture Notes in Mathematics, No. 453), ed. by R. Parikh, Springer-Verlag, Berlin, 1975 LOGCOMB Logic and Combinatorics, Stephen G. Simpson, Editor, American Mathematical Society, 1987 LOGPROG The Journal of Logic Programming LONGMAN Longman Scientific & Technical, Copublished in the United States with John Wiley & Sons (also Pitman?) LOVSZEM L. Lovasz and E. Szemeredi, Colloquium on the Theory of Algorithms, North-Holland, 1985 LPARCOMP Alan Gibbons and Paul Spirakis (Eds.), Lectures on Parallel Computation, Cambridge International Series on Parallel Computation: 4, Cambridge University Press MAA The Mathematical Association of America MACCCSPC Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, June 2-5, 1970, Woods Hole, Mass. MACHLEARN Machine Learning MACMILL Macmillan Publishing Company, New York/Collier Macmillan Publishers, London (includes The Free Press) MAMS Memoirs of the American Mathematical Society MANCHESTER Manchester University Press MANDMS Minds and Machines, Kluwer Academic Publishers MANDT M&T Books MANNING Manning, Greenwich MARDEK Marcel Dekker, Inc., New York and Basel MATHANN Mathematische Annalen, Springer-Verlag MATHBIOS Mathematical Biosciences: An International Journal MATHCOMP Mathematics of Computation MATHED International Journal of Mathematical Education in Science and Technology MATHGAZ The Mathematical Gazette MATHGEN David H. Wolpert (Ed.), The Mathematics of Generalization: The Proceedings of the SFI/CNLS Workshop on Formal Approaches to Supervised Learning, Proceedings Volume XX, Santa Fe Institute Studies in the Sciences of Complexity, Academic Press MATHINT The Mathematical Intelligencer MATHMAG Mathematics Magazine MATHNASUSSR Mathematical Notes (formerly of the Academy of Sciences of the USSR), a translation of Matematicheskie Zametki MATHPROG Mathematical Programming MATHPSTUDY Mathematical Programming Study: A Publication of the Mathematical Programming Society, North-Holland, Amsterdam MATHREVLN The Mathematical Revolution Inspired by Computing, J. H. Johnson and M. J. Loomes (Eds.), Clarendon Press, 1991 MATHSCI The Mathematical Scientist MATHSPECT Mathematical Spectrum MCGHILL McGraw-Hill, Inc. MCMOD Mathematical and Computer Modelling, Affiliated with the International Association for Mathematical and Computer Modelling MCT Foundations of Computer Science III, Mathematical Centre Tracts (still need part 1 of 1983 from Nemo) MECKLERMED Mecklermedia, Westport and London MERGING The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics, Ed. by Richard E. Ewing, Kenneth I. Gross, and Clyde F. Martin, Springer-Verlag, 1986 METHPROG M. Broy and W. Wirsing (Eds.), Methods of Programming: Selected Papers on the CIP-Project, LNCS 544, 1991 MFPS Mathematical Foundations of Programming Semantics: International CONFERENCE MICRO IEEE MICRO, Published by the IEEE Computer Society MICTREND Microtrend Books MIILEARN Machine Intelligence 13: Machine Intelligence and Inductive Learning, edited by K. Furukawa, D. Michie, and S. Muggleton, Clarendon, 1994 MILLTHATCH Raymond E. Miller and James W. Thatcher, Complexity of Computer Computations, Plenum Press, 1972 MINMIC Mini & Microcomputers, An Official Publication of the International Society for Mini and Microcomputers MISP MIS: Press, A Subsidiary of Henry Holt and Co., Inc. MITPRESS The MIT Press, including Bradford Books MLA The Modern Language Association of America MLAIA Yves Kodratoff & Ryszard S. Michalski (Eds.), Machine Learning: An Artificial Intelligence Approach, Volume III, 1990 MMJ Michigan Mathematical Journal MMSSSS Mathematical Methods of Specification and Synthesis of Software Systems '85, LNCS 215 MMWORLD Multimedia World Magazine, PC World Communications MNUMANAL Renegar & Shub & Smale (Eds.), The Mathematics of Numerical Analysis: 1995 (25th) AMS-SIAM Summer Seminar in Applied Mathematics (Lectures in Applied Mathematics, Volume 32), American Mathematical Society MOBNA Mobile Networks and Applications MOORE Edward F. Moore, Sequential Machines: Selected Papers, Addison-Wesley, 1964 MOR Mathematics of Operations Research MORGKAUF Morgan Kaufmann Publishers, Inc., San Mateo, California MPC International Conference on Mathematics of Program Construction, LNCS MRAMST Nesetril & Rodl (Eds.), Mathematics of Ramsey Theory, Springer-Verlag, 1990 MRTT Casacuberta & Castellet (Eds.), Mathematical Research Today and Tomorrow: Viewpoints of Seven Fields Medalists, LNMATH 1525, 1992 MSSP Multidimensional Systems and Signal Processing NAP National Academy Press NAR Nucleic Acids Research, IRL Press Limited, Oxford, England NATO Alberto Apostolico and Zvi Galil, Combinatorial Algorithms on Words, NATO ISI Series, Springer-Verlag, 1985 NATO2 Broy, Logic of Programming and Calculi of Discrete Design, NATO ASI Series, Springer-Verlag, 1987 NATO3 Caianiello, New Concepts and Technologies in Parallel Information Processing, NATO Advanced Study Institute, Noordhoff-Leyden, 1975 NATURE Nature NAW Nieuw Archief voor Wiskunde, Verzorgd Door de Stichting Mathematisch Centrum NCARCHS Neural Computing Architectures: The Design of Brain-Like Machines, ed. by Igor Aleksander, The MIT Press, 1989 NCTPIP NATO Advanced Study Institute on New Concepts and Technologies in Parallel Information Processing, ed. by E. R. Caianiello, Noordhoff, Leyden, 1975 NDAME Notre Dame Journal of Formal Logic NES National Education Standards NETCNS Network: Computation in Neural Systems NETGUIDE NetGuide: The Guide to Online Services and the Internet, a CMP Publication NETWORKS Networks: An International Journal NEURCOMP Neural Computation NEWFRONT Scherson (Ed.), Proceedings, The New Frontiers: A Workshop on Future Directions of Massively Parallel Processing, October 19, 1992, IEEE Computer Society and National Aeronautics and Space Administration NEWGEN New Generation Computing, Ohmsha, Ltd./Springer-Verlag NEWSCIENT New Scientist NNETS Neural Networks NNR Neural Network Review NNTA Neural Networks: Theory and Applications, Academic Press, Inc., 1991 NONLIN Nonlinearity NORTHHOLLAND North-Holland/Elsevier/Cuadra Science Publishing Co., Inc. NORTON W. W. Norton & Company, New York and London NOTICES Notices of the American Mathematical Society NRNTCS H. Maurer (Ed.), New Results and New Trends in Computer Science, LNCS 555, 1991 NRREVIEWS NR Reviews NSSNP Network Strategies & Solutions for the Network Professional NUMMATH Numerische Mathematik, Springer International NYTIMES New York Times NYTMAG Sunday New York Times Magazine OCHDWR Optical Computing Hardware, Jurgen Jahns and Sing H. Lee (Eds.), Academic Press, 1994 OLMAG ONLINE: The Magazine of Online Information Systems OOPSM OOPS Messenger, A Quarterly Publication of the Special Interest Group on Programming Languages OPTOP Open Problems in Topology, Edited by Jan van Mill and George M. Reed, North-Holland OPTSOFT Optimization Software, Inc., Publications Division, New York ORDER Order: A Journal on the Theory of Ordered Sets and Its Applications OREILLY O'Reilly & Associates ORYX Oryxpress OS2MAG OS/2 Magazine, Miller Freeman OS2PROF OS2 Professional, I. F. Computer Media, Inc., Rockville, Maryland OUTLOOK Outlook, ACM Special Interest Group on Computer Uses in Education OXFORD Oxford University Press PAA Parallel Algorithms & Architectures: Proceedings of the International Workshop on Parallel Algorithms & Architectures, ed. by Michel Cosnard, Yves Robert, Patrice Quinton, and Maurice Tchuente, North-Holland, 1986; LNCS 269, 1987 PACJMATH Pacific Journal of Mathematics PACT Proceedings of the International Conference on Parallel Computing Technologies, Edited by N. N. Mirenkov, World Scientific, 1991 PAMS Proceedings of the American Mathematical Society PARA PARA, Parallel Scientific Computing, International Workshop PARAA Parallel Algorithms and Applications PARCO Parallel Computing 89, etc.: Proceedings of the International Conference, North-Holland PARCOMP Parallel Computing PARLE Parallel Architectures and Languages Europe, LNCS PATBOOL Paterson (Ed.), Boolean Function Complexity, London Mathematical Society Lecture Note Series 169, Cambridge University Press PATREC Pattern Recognition, Pergamon Press PSI Perspectives of System Informatics: International Andrei Ershov Memorial Conference, LNCS PCIT Problems of Control and Information Theory PCMAG PC Magazine PCO Progress in Combinatorial Optimization, William R. Pulleyblank (ed.), Academic Press, 1984 PCRCW International Workshop on Parallel Computer Routing and Communication PCREV Perspectives on the Computer Revolution, Second Edition, Edited with commentaries by Zenon W. Pylyshyn and Liam J. Bannon, Ablex Publishing Corporation, Norwood, New Jersey PCSFW Proceedings of The Computer Security Foundations Workshop, IEEE Computer Society Press PCSRCS PC Sources PCTECHJ PC Technical Journal PCTP Thomas L. Casavant, Pavel Tvrdik, and Frantisek Plasil (Eds.), Parallel Computers: Theory and Practice, IEEE Computer Society Press, 1996 PCWORLD PC World PDCHANDBK Albert Y. Zomaya (Ed.), Parallel and Distributed Computing Handbook, McGraw-Hill, 1996 PERGAMON Pergamon Press PERMATHHUNG Periodica Mathematica Hungarica PERSPEC Perspectives in Computing, Academic Press PETERS A. K. Peters, Wellesley, Massachusetts PETRI Advances in Petri Nets 1987, ed. Grzegorz Rozenberg, LNCS 266; Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, LNCS 254-255, 1987, LNCS 188 (1984), LNCS 340 (1988), LNCS 483 (1991) PHGENALGS Lance Chambers (Ed.), Practical Handbook of Genetic Algorithms: New Frontiers, Volume II, CRC Press, 1995 PHMLOG Perspectives on the History of Mathematical Logic, Edited by Thomas Drucker, Birkhauser, 1991 PINFTRANS Problems of Information Transmission (translated from Problemy Peredachi Informatsii (Russian)) PHYSICA Physica PIEEE Proceedings of the IEEE PITMAN Pitman Publishing Limited, London/John Wiley & Sons, Inc., New York, Toronto (Research Notes in Theoretical Computer Science) PLENUM Plenum Publishing Corporation PLMS Proceedings of the London Math. Society PNASUSA Proceedings of the National Academy of Sciences of the United States of America PODC ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing PODS ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems POLITY Polity Press POPL ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPOFMATH A. G. Howson and J.-P. Kahane (Eds.), The Popularization of Mathematics, Cambridge University Press, 1990 PPCAA Proceedings of the International Workshop on Parallel Processing by Cellular Automata and Arrays, North-Holland/Akademie-Verlag PPOPP ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming: PPOPP PPSN Proceedings of Workshop/International Conference on Parallel Problem Solving from Nature; International Conference on Evolutionary Computation PRENHALL Prentice-Hall International, Inc. PRL Pattern Recognition Letters PROBABTH Probability Theory and Related Fields, Continuation of Zeitschrift fur Wahrscheinlichkeitstheorie PROBALGS Probability and Algorithms, National Academy Press, 1992 PROBEIS Probability in the Engineering and Informational Sciences PROMETHEUS Prometheus Books, Amherst, New York PRSLA Proc. R. Soc. Lond. A PSAM Proceedings of Symposia in Applied Mathematics, American Mathematical Society PTAT Burke & Ross (Eds.), Practice and Theory of Automated Timetabling, International Conference, LNCS PUBLSH Publish, the magazine for electronic publishing professionals, International Data Group PUBMAT Publicacions Matematiques PUP Princeton University Press RAIRO R. A. I. R. O. Informatique Theorique et Applications/Theoretical Informatics and Applications RANDGR Alan Frieze and Tomasz Luczak (Eds.), Random Graphs, Volume 2, Wiley, 1992 RDSWITCH Recent Developments in Switching Theory, ed. by Amar Mukhopadhyay, Academic Press, New York, 1971 REIDEL D. Reidel Publishing Company REIFSPA John H. Reif (Ed.), Synthesis of Parallel Algorithms, Morgan Kaufmann, 1993 RESCORP Research Corporation, a foundation for the advancement of science REX Real-Time: Theory in Practice, REX Workshop RKNOTTING Millett & Sumners (Eds.), Random Knotting and Linking, World Scientific, 1994 RTA Rewriting Techniques and Applications, 1987, LNCS 256 RTSYSTS Real-Time Systems RMPHYSICS Review of Modern Physics RMS Russian Mathematical Surveys ROBRES The International Journal of Robotics Research RSA Random Structures & Algorithms, John Wiley & Sons, Inc. RSP IEEE Computer Society Symposium on (Research in) Security and Privacy RUSTIN4 Randall Rustin, Algorithm Specification, Prentice-Hall, 1972 RUSTIN7 Randall Rustin, Computational Complexity, Algorithmics Press, 1973 RUSTIN9 Randall Rustin, Combinatorial Algorithms, Algorithmics Press, 1973 SALOMAA Arto Salomaa, Computation and Automata, Cambridge University Press, 1985 SAMS H. W. Sams, Indianapolis, Indiana SANKKRUSK Time Warps, String Edits, and Macromolecules: The Theory and Practice of Sequence Comparison, Edited by David Sankoff and Joseph B. Kruskal, Addison-Wesley, 1983 SAPM Studies in Applied Mathematics SAUTOCONT Soviet Automatic Control SBIA SBIA, Advances in Artificial Intelligence: Brazilian Symposium on Artificial Intelligence, LNCS SBORNIK Mathematics of the USSR--Sbornik SCARECROW The Scarecrow Press, Inc., Metuchen, N. J., & London SCHOLPUB Robin P. Peek and Gregory B. Newby (Eds.), Scholarly Publishing: The Electronic Frontier, MIT Press, 1996 SCIAM Scientific American SCIAMLIB Scientific American Library, division of HPHLP, New York, distributed by W. H. Freeman and Company SCIENCE Science SCINEWS Science News SCIPROG Science of Computer Programming SCOTTJONES Scott/Jones Inc., Publishers, El Granada, California, http://www.scottjonespub.com SEABM The Southeast Asian Bulletin of Mathematics SEENG Software Engineering Education: SEI Conference 1988, LNCS 327, 1988 SENOTES Software Engineering Notes: An Informal Newsletter of the ACM Special Interest Group on Software Engineering SEQS Sequences '91; Compression and Complexity of Sequences 1997, B. Carpentieri, A. De Santis, U. Vaccaro, and J. A. Storer (Eds.), IEEE Computer Society SESST Southeastern Symposium on System Theory, IEEE Computer Society Press SFCHRON San Francisco Chronicle SGFORUM Semigroup Forum, Springer International SHOULDERS Lynn Arthur Steen (Ed.), On the Shoulders of Giants: New Approaches to Numeracy, Mathematical Sciences Education Board, National Research Council, National Academy Press, Washington, D. C., 1990 SIAM Society for Industrial and Applied Mathematics SIAMAMS Richard M. Karp (Ed.), Complexity of Computation: Proceedings of a Symposium in Applied Mathematics of the American Mathematical Society and the Society for Industrial and Applied Mathematics, Volume VII, 1974 SIBERMJ Siberian Mathematical Journal, A Translation of Sibirskii Matematicheskii Zhurnal SIGACTN SIGACT News, ACM Special Interest Group on Automata and Computability Theory, starting with July, 1972 (number 16) SIGARTN SIGART Newsletter, ACM Special Interest Group on Artificial Intelligence (renamed SIGART Bulletin) SIGCHIB SIGCHI Bulletin, A Quarterly Publication of the ACM Special Interest Group on Computer-Human Interaction SIGCOMM ACM SIGCOMM Symposium on Communications Architectures & Protocols SIGCSEB SIGCSE Bulletin, ACM Special Interest Group on Computer Science Education SIGGRAPHB Computer Graphics (SIGGRAPH) SIGMODIC ACM SIGMOD Interantional Conference on Management of Data SIGMODREC ACM SIGMOD Record SIGNUMN SIGNUM Newsletter, ACM Special Interest Group on Numerical Mathematics SIGSAC ACM Conference on Computer and Communications Security, ACM SIGSAC SIGSAMB SIGSAM Bulletin, ACM Special Interest Group on Symbolic and Algebraic Manipulation SIGSMALL SIGICE Bulletin, A Publication of the ACM Special Interest Group on Individual Computing Environments (Formerly SIGSMALL/PC NOTES, A Publication of the ACM Special Interest Group on Small and Personal Computing Systems and Applications) SIGUCCS SIGUCCS Newsletter, ACM Special Interest Group on University and College Computing Services SIJADM SIAM Journal on Algebraic and Discrete Methods SIJAM SIAM Journal on Applied Mathematics SIJCO SIAM Journal on Control and Optimization SIJDM SIAM Journal on Discrete Mathematics (SJDMEC) SIJMAA SIAM Journal on Matrix Analysis and Applications (SJMAEL) SIJNA SIAM Journal on Numerical Analysis SIJSSC SIAM Journal on Scientific and Statistical Computing, apparently renamed SIAM Journal on Scientific Computing SIMANDSCHU Simon and Schuster SIMMONS Secure Communications and Asymmetric Cryptosystems, Edited by Gustavus J. Simmons, AAAS Selected Symposium 69, 1982 SINEWS SIAM News SIREV SIAM Review SJCC Spring Joint Computer Conference SJCSS Soviet Journal of Computer and Systems Sciences (formerly Engineering Cybernetics), Scripta Technica, Inc., A Subsidiary of John Wiley & Sons, Inc. SMALEFEST Hirsch & Marsden & Shub (Eds.), From Topology to Computation: Proceedings of the Smalefest, Springer-Verlag, 1993 SMITHSNN Smithsonian SMS Selecta Mathematica Sovietica SODERSETAL Residue Number System Arithmetic: Modern Applications in Digital Signal Processing, Edited by Michael A. Soderstrand, W. Kenneth Jenkins, Graham A. Jullien, and Fred J. Taylor, IEEE Press, 1986 SOFSEM Theory and Practice of Informatics, Seminar on Current Trends in Theory and Practice of Informatics, LNCS SOFTPREX Software--Practice and Experience SPDP IEEE Symposium on Parallel and Distributed Processing, ACM Special interest Group on Computer Architecture, and IEEE Computer Society (merged into IPPS) SPECLIBS Special Libraries Association SPIE SPIE Optical Engineering Press SPLETS Statistics & Probability Letters SPNOTICES ACM SIGPLAN Notices SPON E. & F. N. Spon, London and New York SPRINGER Springer-Verlag, including Copernicus SRDS Symposium on Reliable Distributed Systems, IEEE Computer Society Press SSD Advances in Spatial Databases, LNCS SSMHUNG Studia Scientiarum Mathematicarum Hungarica SSPR SSPR, International Workshop on Advances in Structural and Syntactical Pattern Recognition, LNCS STALLINGS William Stallings, Practical Cryptography for Data Internetworks, IEEE Computer Society Press, 1996 STANFUP Stanford University Press STATSCI Statistical Science: A Review Journal of the Institute of Mathematical Statistics STDVIEW Standard View, the ACM Journal on Standardization STEKLOV Proceedings of the Steklov Institute of Mathematics STGT Selected Topics in Graph Theory, ed. Lowell W. Beineke and Robin J. Wilson, Academic Press STMARTIN St. Martin's Press, New York STOCHASTICS Stochastics STOCHPA Stochastic Processes and Their Applications STROJEZI Stroje na Zpracovani Informaci, Nakl. CSAV, Praha SUGAKU Sugaku Expositions SUNTECH The SunTechnology Papers, Mark Hall and John Barry, editors, Springer-Verlag, 1990 SUNYPRESS State University of New York Press SUPCOMP The Journal of Supercomputing SURVCOMB Walker (Ed.), Surveys in Combinatorics, 1993, London Mathematical Society Lecture Note Series 187, Cambridge University Press SYLLCS Computer Science Syllabus SYMM Symmetry 2: Unifying Human Understanding, Istvan Hargittai (Ed.), Pergamon Press SYNERGETICS Herman Haaken, Synergetics series SYSARRAYS Systolic Arrays, ed. by Moore & McCabe & Urquhart, Adam Hilger, 1986 SYSTSOFT The Journal of Systems and Software TACAS International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, LNCS TACS International Conference on Theoretical Aspects of Computer Software TADIP Kong & Rosenfeld (Eds.), Topological Algorithms for Digital Image Processing (Machine Intelligence and Pattern Recognition, Volume 19), Elsevier TALANG Nivat & Podelski (Eds.), Tree Automata and Languages, Studies in Computer Science and Artificial Intelligence 10, North-Holland, 1992 TAMS Transactions of the American Mathematical Society TANCL Vwani Roychowdhury & Kai-Yeung Siu & Alon Orlitsky (Eds.), Theoretical Advances in Neural Computation and Learning, Kluwer, 1994 TAPSOFT International Joint Conference on Theory and Practice of Software Development; later includes CAAP as well TARCHER Jeremy P. Tarcher, Inc., Los Angeles, Distributed by St. Martin's Press, New York TARK Theoretical Aspects of Reasoning about Knowledge TECHREV Technology Review TELEG The Daily Telegraph THGRAPHS Theory of Graphs, International Symposium, Gordon and Breach, New York THSWITCH International Symposium on the Theory of Switching Proceedings, Harvard Univ. Press, Cambridge, Mass. TIEICE IEICE Transactions on Communications/Electronics/Information and Systems, The Institute of Electronics, Information and Communication Engineers TIMES Times Books TLFM C. Neville Dean and Michael G. Hinchey (Eds.), Teaching and Learning Formal Methods, Academic Press, 1996 TMO Trends in Mathematical Optimization: French-German Conference on Optimization, Birkhauser Verlag, Boston TOPAPPS Topology and Its Applications TOUSSAINT Computational Geometry, 1985, North-Holland TPPP International Workshop on Theory and Practice of Parallel Programming, LNCS TPRBAU (apparently, SIAM Journal on) Theory of Probability and Its Applications TRAUB Algorithms and Complexity: New Directions and Recent Results, Ed. J. F. Traub, Academic Press, 1976 TSCS Jeffrey D. Ullman (Ed.), Theoretical Studies in Computer Science, Academic Press, 1992 TTN TeX and TUG NEWS TUGBOAT TUGboat, The Communications of the TeX Users Group TURLECTS ACM Turing Award Lectures: The First Twenty Years, ACM Press Anthology Series, ACM Press, New York, Addison-Wesley, 1987 TYPES TYPES, International Workshop on Types for Proofs and Programs, LNCS UCPRESS The University of Chicago Press, Chicago and London UDDS Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (Eds.), IEEE Computer Society Press, 1995 UIPRESS University of Illinois Press, Urbana and Chicago UKRMJ Ukrainian Mathematical Journal, A Translation of Ukrainskii Matematicheskii Zhurnal UMAP The Journal of Undergraduate Mathematics and its Applications UMN Uspekhi Matematicheskikh Nauk (partially translated as RMS) UNDECIDABLE Martin Davis, The Undecidable, Raven Press, 1965 URCSERR University of Rochester Computer Science and Engineering Research Review USSRCMMP U. S. S. R. Computational Mathematics and Mathematical Physics VANNOST Van Nostrand Reinhold Company, New York, A Division of International Thomson Publishing Inc. VAPP LNCS 457, Burkhart (Ed.), CONPAR 90--VAPP IV: Joint International Conference on Vector and Parallel Processing VCH VCH Verlagsgesellschaft (VCH Publishers) VESTNIK Leningrad University Mathematics Bulletin/Vestnik Leningrad University: Mathematics (Vestnik Leningradskogo Universiteta. Matematika), Allerton Press, Inc. VGM VGM Career Horizons, a division of NTC Publishing Group, Lincolnwood, Illinois VIEWEG Vieweg VISCOMP The Visual Computer, International Journal of Computer Graphics, Springer International VISIONETC Vision, Brain, and Cooperative Computation, ed. by Michael A. Arbib and Allen R. Hanson, The MIT Press, 1987 VLSIPC Robert Suaya and Graham Birtwistle (Eds.), VLSI and Parallel Computation, Morgan Kaufmann Publishers, Inc., San Mateo, California VONNEU James Glimm, John Impagliazzo, and Isadore Singer, Editors, The Legacy of John von Neumann, Proceedings of Symposia in Pure Mathematics 50, American Mathematical Society WACG Workshop on Applied Computational Geometry: Towards Geometric Engineering, WACG, LNCS WADS Workshop on Algorithms and Data Structures WADT International Workshop on Recent Trends in Algebraic Development Techniques, LNCS WADBROOKS Wadsworth & Brooks/Cole, Advanced Books & Software, Monterey, California WAFR Goldberg & Halperin & Latombe & Wilson (Eds.), Algorithmic Foundations of Robotics, The 1994 Workshop on the Algorithmic Foundations of Robotics, A. K. Peters WALLSWINS Four Walls Eight Windows, New York/London WAPADS Bharat Bhargava (Ed.), Proceedings of the IEEE Workshop on Advances in Parallel and Distributed Systems, IEEE Computer Society Press, 1993 WATERLOO Proceedings of a Conference on Theoretical Computer Science, 1977 WATGUPT Watson-Guptill Publications, New York WATKOLM Osamu Watanabe (Ed.), Kolmogorov Complexity and Computational Complexity, 1992 WCDP Distributed Processing, ed. Michael H. Barton, Erik L. Dagless, and Gerard L. Reijns, North-Holland, 1988 WEST West Publishing Company WETEN Akademie van Wetenschappen, Proceedings WG Graph-Theoretic Concepts in Computer Science, International Workshop WG, Springer-Verlag WHFREEMAN W. H. Freeman and Company WILEY John Wiley & Sons, Inc. (including Halsted Press division, Ellis Horwood Limited, Interscience, and B. G. Teubner, Stuttgart, and Research Studies Press Ltd.) WILF Herbert S. Wilf, Algorithms and Complexity, Prentice-Hall, 1986 WIRED Wired WITS Proceedings, 1994 IEEE-IMS Workshop on Information Theory and Statistics, IEEE Information Theory Society, and Institute of Mathematical Statistics WOLFRAM Stephen Wolfram, Theory and Applications of Cellular Automata, Taylor & Francis, International Publications Service, 1986? WOPPLOT WOPPLOT 86; Parallel Processing: Logic, Organization, and Technology, ed. J. D. Becker and Eisele, LNCS 253; WOPPLOT 89, LNCS 565 WORDS Combinatorics on Words, ed. M. Lothaire, Encyclopedia of Mathematics and its Applications, Volume 17, Addison-Wesley, 1983; reprinted with corrections in 1997, Cambridge University Press WORLDSC World Scientific, World Scientific Series in Computer Science, and World Scientific Series in Machine Perception and Artificial Intelligence WPDP Parallel and Distributed Processing: Proceedings of the Second Workshop on Parallel and Distributed Processing (WP&DP), North-Holland, Amsterdam WSADT Workshop on Specification of Abstract Data Types WSQPRESS Washington Square Press XROADS Crossroads: The ACM Student Magazine YOUNGCS International Meeting of Young Computer Scientists (Trends, Techniques, and Problems in Theoretical Computer Science; Machines, Languages, and Complexity; Aspects and Prospects of Theoretical Computer Science) YOURDON Yourdon Press, Englewood Cliffs, New Jersey YOVITS Advances in Computers, ed. by Marshall C. Yovits or Marvin V. Zelkowitz, Academic Press YUP Yale University Press, New Haven ZDPRESS ZDPRESS, Ziff-Davis Press, Emeryville, California ZEITNATUR Zeitschrift Naturforsch ZEITSCHR Mathematical Logic Quarterly (formerly Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik) ZUERICH Proc. Symp. Logik und Algorithmik, Zuerich, 1980 CBLURB Course outline or blurb CNOTES class or course notes ECCCTH Electronic Colloquium on Computational Complexity, theses ECCCTR Electronic Colloquium on Computational Complexity, technical reports LIBTR TR culled from Carlson Library's posted list, starting 12/90 MANU manuscript NOTES notes ONLINE on-line data base TEXTR TR encountered on-line, usually in TeX form TR technical report, preprint, or uncertain medium WWW World Wide Web