📄 tibinc.fullnames
字号:
D IP82 |IFIPa| 82\%I |NHOLL|\%D 1982D IP83 |IFIPa| 83\%I |NHOLL|\%D 1983D IP84 |IFIPa| 84\%I |NHOLL|\%D 1984D IP85 |IFIPa| 85\%I |NHOLL|\%D 1985D IP86 |IFIPa| 86\%I |NHOLL|\%D 1986D III5 |PROC| of the 5th Annual III |CONF|\%I IRISA\%D |MAY| 1977D JER3 |PROC| Third Jerusalem |CONF| on Information Technology\%C Jerusalem, Israel\%D |AUG| 1978D JICAI Joint |INTL| |CONF| on Artificial IntelligenceD JICAI5 |PROC| 5th |JICAI|\%C Cambridge, MA\%D |AUG| 1977D JICAI6 |PROC| 6th |JICAI|\%C Tokyo\%D |AUG| 1979D JICAI7 |PROC| 7th |JICAI|\%D |AUG| 1981D JICAI8 |PROC| 8th |JICAI|\%O (need data)D JICAI9 |PROC| 9th |JICAI|\%C Los Angeles, CA\%D |AUG| 1985D LDRS77 |PROC| of an ACM |CONF| on |LANG| Design for Reliable |SOFT|\%C Raleigh, NC\%D |MAR| 28-30, 1977D LIPE85 |PROC| SIGPLAN |SYMP| on |LANG| Issues in |PRing| Environments\%V 20\%N 7\%D |JUL| 1985\%C Seattle, WashingtonD LISP80 |SYMP| on LISP and Functional |PRing|\%D |AUG| 25-27 1980\%C StanfordD LISP82 |SYMP| on LISP and Functional |PRing|\%D 1982D LISP84 |SYMP| on LISP and Functional |PRing|\%D |AUG| 1984D LISP88 |SYMP| on LISP and Functional |PRing|\%D |JUL| 1988\%C Snowbird, UTD LNCS16 ???\%I |LNCS|\%V 16\%D 1974D LNCS19 ???\%I |LNCS|\%V 19\%D 1974D LNCS66 |LNCS|\%V 66\%D 1978D LNCS67 Theoretical Computer Science, 4th GI |CONF|, Berlin\%I |LNCS|\%V 67\%D 1979D LNCS69 |PROG| Construction: |INTL| Summer School\%I |LNCS|\%V 69\%D 1979D LNCS107 Formalization of |PRing| Concepts\%I |LNCS|\%V 107\%D 1981\%E J. Diaz\%E I. RamosD LNCS124 |LNCS|\%V 124\%D 1981D LNCS141 |LNCS|\%V 141\%D 1981D LNCS162 ???\%I |LNCS|\%V 162\%D ????D LNCS189 |LNCS|\%V 189\%D 1985D LNCS202 Rewriting Techniques and Applications\%I |LNCS|\%V 202\%D 1985D LNCS204 ???\%I |LNCS|\%V 204\%D 1985D LNCS208 ???\%I |LNCS|\%V 208\%D 1985D LNCS209 ???\%I |LNCS|\%V 209\%D ????D LNCS213 European Symposium on |PRing|\%I |LNCS|\%V 213\%D 1986D LNCS241 ???\%I |LNCS|\%V 241\%D 1986D LNCS249 TAPSOFT '87\%I |LNCS|\%V 249\%D 1987D LNCS250 ???\%I |LNCS|\%V 250\%D ????D MFOCS5 |PROC| 5th IBM |SYMP| on Mathematical Foundations of |CS|\%D |MAY| 1980D MMCS83 |PROC| of the ACM SIGMETRICS |CONF| on \Measurement and Modeling of |COMP| |SYSs|\%C Minneapolis, MN\%D |AUG| 1983D SIGMETRICS83 |MMCS83|D MMCS89 |PROC| of the ACM SIGMETRICS |CONF| on \Measurement and Modeling of |COMP| |SYSs|\%C Berkeley, CA\%D |MAY| 1989D SIGMETRICS89 |MMCS89|D OIS82 |PROC| SIGOA |CONF| on Office Information |SYSs|\%C Philadelphia, PA\%D |JUN| 1982D OIS84 PROC Second ACM-SIGOA |CONF| on Office Information |SYSs|\%C Toronto, Canada\%D |JUN| 1984D OIS86 PROC Third ACM-SIGOIS |CONF| on Office Information |SYSs|\%C Providence, RI\%D |OCT| 1986D OOPS86 |OOPSLA86|D OOPS87 |OOPSLA87|D OOPSLA Object-Oriented |PRing| |SYSs|, |LANGs| and Applications |CONF| |PROC|D OOPSLA86 |OOPSLA|\%C Portland, Oregon\%D |SEP| 1986D OOPSLA87 |OOPSLA|\%C Orlando, FL\%D |OCT| 1987D OOPSLA89 |OOPSLA|\%C New Orleans, LA\%D |OCT| 1989D OOPW86 Object-Oriented |PRing| Workshop, SIGPLAN\%V 21\%N 10\%C Yorktown Heights, NY\%D |OCT| 1986D PICCS |PROC| |INTL| |COMP| |SYMP|\%D |APR| 1977\%C Liege, BelgiumD PIEEE |PROC| of the IEEED PROCIRE |PROC| IRED PLISS83 |PROCSIGPLAN| 1983 |SYMP| on |PRing| |LANG| Issues in |SOFT| |SYSs|, |SIGPLAN|\%C San Francisco, CA\%D |JUN| 1983\%V 18\%N 6D POPL ACM |SYMP| on Principles of |PRing| |LANGs|D POPL1 |CONF| Record of the First |POPL|\%D |OCT| 1973D POPL2 |CONF| Record of the Second |POPL|\%D |JAN| 1975D POPL3 |CONF| Record of the Third |POPL|\%D |JAN| 1976D POPL4 |CONF| Record of the Fourth |POPL|\%D |JAN| 1977D POPL5 |CONF| Record of the Fifth |POPL|\%C Tucson, AZ\%D |JAN| 1978D POPL6 |CONF| Record of the Sixth |POPL|\%C San Antonio, TX\%D |JAN| 1979D POPL7 |CONF| Record of the Seventh |POPL|\%C Las Vegas, NV\%D |JAN| 1980D POPL8 |CONF| Record of the Eighth |POPL|\%C Williamsburg, VA\%D |JAN| 1981D POPL9 |CONF| Record of the Ninth |POPL|\%C Albuquerque, NM\%D |JAN| 1982D POPL10 |CONF| Record of the Tenth |POPL|\%C Austin, TX\%D |JAN| 1983D POPL11 |CONF| Record of the Eleventh |POPL|\%C Salt Lake City, UT\%D |JAN| 1984D POPL12 |CONF| Record of the Twelfth |POPL|\%C New Orleans, LA\%D |JAN| 1985D POPL13 |CONF| Record of the Thirteenth |POPL|\%C Tampa Bay, FL\%D |JAN| 1986D POPL14 |CONF| Record of the Fourteenth |POPL|\%C |Munich|\%D |JAN| 1987D POPL15 |CONF| Record of the Fifteenth |POPL|\%C San Diego, CA\%D |JAN| 1988D POPL16 |CONF| Record of the Sixteenth |POPL|\%D 1989D POPL17 |CONF| Record of the Seventeenth |POPL|\%C San Francisco, CA\%D |JAN| 1990D PPOP ACM SIGPLAN |SYMP| on Principles and Practice of Parallel |PRing|, |SIGPLAN|D PPOP90 |PROC| 2nd |PPOP|\%V 25\%N 4\%C Seattle, WA\%D |MAR| 1990D PRINCETON5 |PROC| 5th Annual Princeton |CONF|\%I Princeton |UNIV|\%D |MAR| 1971D PSDEa |PROC| of the ACM SIGSOFT/SIGPLAN |SOFT| |ENG| |SYMP| on \Practical |SOFT| Development EnvironmentsD PSDE84 |PSDEa|\%C Pittsburgh, PA\%V 19\%N 5\%D |MAY| 1984D PSDE86 |PSDEa|\%C Palo Alto, CA\%D |DEC| 1986D PSDE88 |SDE88|D SDE88 |PROC| ACM SIGSOFT '88: Third |SYMP| on |SOFT| Development Environments\%D |NOV| 1988D SCM |INTL| Workshop on |SOFT| Configuration ManagementD SCM2 |PROC| of the 2nd |SCM|\%C Princeton, NJ\%D |OCT| 1989D SEEPIL Workshop on |SOFT| |ENG| Environments for |PRing|-in-the-Large\%C Harwichport, MA\%D |JUN| 1985D SIGMOD |PROC| ACM SIGMOD |INTL| |CONF| on Management of DataD SIGMOD84 |SIGMOD|\%D |MAY| 1984D SIGMOD86 |SIGMOD|\%C Washington, DC\%D |MAY| 1986D SIGMOD87 |SIGMOD|\%D 1987D SIGPLAN83 |PLISS83|D SIGPLAN85 |LIPE85|D SIGPLAN87 |IIT87|D IIT87 |PROCSIGPLAN| 1987 |SYMP| on Interpreters and Interpretive Techniques\%C St. Paul, Minnesota\%D |JUN| 1987\%V 22\%N 7D SIGPLAN89 |PLDI89|D PLDI89 |PROCSIGPLAN| '89 |CONF| on |PRing| |LANG| Design and Implementation\%C Portland, Oregon\%D |JUN| 1989\%V 24\%N 7D PLDI89 |PROCSIGPLAN| '89 |CONF| on |PRing| |LANG| Design and Implementation\%D |JUN| 1989\%V 24\%N 7D SOSP |SYMP| on Operating |SYS| PrinciplesD SOSP1 |PROC| of the 1st |SOSP|\%C Gatlinburg, Tenn.\%D 1967D SOSP2 |PROC| of the 2nd |SOSP|\%C Princeton |UNIV|\%D |OCT| 1969D SOSP3 |PROC| of the 3rd |SOSP|\%C |STAN|\%D |OCT| 1971D SOSP6 |PROC| of the 6th |SOSP|\%C West Lafayette\%D |NOV| 1977D SOSP7 |PROC| of the 7th |SOSP|\%C Pacific Grove\%D |DEC| 1979D SOSP8 |PROC| of the 8th |SOSP|\%C Pacific Grove, CA\%D |DEC| 1981D SOSP9 |PROC| of the 9th |SOSP|\%D |OCT| 1983D SOSP10 |PROC| of the 10th |SOSP|\%D |DEC| 1985D STOC Annual ACM |SYMP| on Theory of |COMPg|D SYMPAM |PROC| of |SYMP| in Applied MathematicsD TAV |SYMP| on |SOFT| Testing, Analysis, and VerificationD TAV3 |PROC| of the Third |TAV|\%C Key West, FL\%D |DEC| 13-15, 1989D TEXT81 |PROCSIGPLAN| SIGOA |SYMP| on Text Manipulation\%C Portland, OR\%D |JUN| 1981D VL IEEE Workshop on Visual |LANGs|D VL86 |PROC| |VL|\%C Dallas, TX\%D |JUN| 1986D VL87 |PROC| |VL|\%C Link|o_um|ping, Sweden\%D 1987D VL88 |PROC| |VL|\%C Pittsburgh, PA\%D |OCT| 1988D WJCC |PROC| Western Joint |COMP| |CONF|D ABLEX Ablex Publishing\%C Norwood, NJD ACADEMIC |ACPRESS|D ACPRESS Academic Press\%C |NYC|D ADDISON Addison Wesley\%C Reading, MAD ANSI American National Standards InstituteD CSPRESS |CS| Press\%C Woodland Hills, CAD DIGITAL Digital PressD ELSEVIER American ElsevierD ERLBAUM Lawrence Erlbaum Associates\%C Hillsdale, NJD FREEMAN W. H. Freeman and Company\%C San Francisco, CAD GPO U. S. Government Printing OfficeD HOLT Holt, Rinehart, and WinstonD IEEEP IEEE Press\%C Montvale, NJD LNCS |SPRINGER|\%S Lecture Notes in |CS|D MCGRAW McGraw-HillD MGHILL McGraw-Hill\%C |NYC|D MITP MIT Press\%C Cambridge, MAD NHOLL North-Holland\%C |NYC|, AmsterdamD NYC New York, NYD PRENTICE |PRHALL|D PRHALL Prentice Hall\%C Englewood Cliffs, NJD SPRINGER Springer Verlag\%C BerlinD SRA |SCI| Research AssociatesD UMI UMI Research Press\%C Ann Arbor, MID WILEY John Wiley |AMP| Sons\%C |NYC|D WINTH Winthrop PublishersD JAN JanuaryD FEB FebruaryD MAR MarchD APR AprilD MAY MayD JUN JuneD JUL JulyD AUG AugustD SEP SeptemberD OCT OctoberD NOV NovemberD DEC DecemberD BTLHO Bell Laboratories\%C Holmdel, NJD BTLMH Bell Laboratories\%C Murray Hill, NJD CMU Carnegie-Mellon |UNIV|\%C Pittsburgh, PAD CMUCS |CSD|, |CMU|D COURANT Courant Institute of Mathematical |SCIs|, NYUD CSLI Center for the Study of |LANG| and Information\%C Stanford, CAD CSLSU |COMP| |SYSs| Lab., Stanford Electronics Lab., |DEPT| of |EE| and |CS|D DECSRC Digital Equipment |CORP|, |SYSs| Research CenterD DG Data GeneralD ERL Electronics Research LaboratoryD ETH Institut |fuer| Informatik, ETHD IBMRD IBM |CORP|, Research Division\%C Yorktown Heights, NYD IBMY |IBMRD|D ICASE Institute for |COMP| Applications in |SCI| and |ENG|D ICOT Institute for New Generation |COMP| TechnologyD IFI Institut |fuer| InformatikD INRIA Institut National de Recherche en Informatique et en AutomatiqueD Karlsruhe Karlsr|u_um|heD Universitat Universit|a_um|tD KARLSRUHE |IFI|, |Universitat| |Karlsruhe|\%C |Karlsruhe|, West GermanyD KESTRAL Kestral Institute\%C Palo Alto, CAD LFCS Laboratory for Foundations of |CS|D MCCSTP |SOFT| Technology |PROG|, MCC\%C Austin, TXD MITAI MIT Artificial Intelligence Laboratory\%C Cambridge, MAD MITLCS MIT Laboratory for |CS|\%C Cambridge, MAD RICE Rice |UNIV|D RICECS |DCS|, Rice |UNIV|D SUCS |CSD|, |STAN|D SUCSL |CSLSU|D STAN Stanford |UNIV|D SUEE |DEPT| of |EE|, |STAN|D MIT Massachusetts Institute of TechnologyD Munich M|u_um|nchen, W. GermanyD TUM Technische |Universitat|, |Munich|D UATR |UNIV| of Arizona |TR|D UC |UNIVCA|D UCB |UNIVCA|, BerkeleyD UCBCS |CS| Division, EECS, |UCB|D UCBCSD |UCBCS|D UCBCSTR |UCBCSDTR|D UCBCSDTR |UCBCSD|\%R |TR| UCB/CSDD UCBERL |ERL|, EECS, |UCB|D UCLA |UNIVCA|, Los AngelesD UCSD |UNIVCA|, San DiegoD UNIVIUC |UNIV| of Illinois at Urbana-Champaign\%C Urbana, IllinoisD UW |UNIV| of WashingtonD XEROXISL Intelligent |SYSs| Laboratory, |XEROXPARC|D XEROXPARC Xerox Palo Alto Research Center\%C Palo Alto, CA
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -