AA AAA AAM AAT AB ABT AC ACC ACF ACG ACM ACMicec ACO ACP ACTA ACTAI ACW ADA ADP ADT ADW AE AEA AEB AEC AEE AET AEW AFC AFD AFIPS AFM AFP AFW AFY AGM AGT AGV AHCOE AHICI AHP AHS AI AINFA AIT AJC AJM AKR AL ALC ALG ALGOBG ALGOEJ ALGOL ALGORITHMICA ALGORITHMICS ALO ALSOS ALV ALVa ALVb ALW AMD AME AMER AMG AMHCBQ AMMYAE AMS AMSCAC AMSa AMSb AMSc ANN ANNU ANZIIS AOD AOS AOT APB APD APIC APNOMS APP APPL APPa APPb APS APTMAD APV AQS ARA ARL ARMAC ARPANET ARPAnet ARRA ARSI ARVAAM ARVa ARVb ASA ASC ASD ASE ASF ASG ASI ASME ASR AST ASV ATA ATAC ATD ATG ATN ATP ATPSDT ATSMER ATT ATTa ATTb ATV ATX AUC AUP AURCAT AUTOM AUX AV AVD AVF AVN AVP AW Aad Aan Aanschaffingsbeleid Aard Aarhus Abrahams Abteilung Acad Achtste Acknowledgements Acta Ada Adam Addison Adelman Adelson Adi Adin Adleman Adv Advies Afdeling Agda Aggarwal Aguilera Agusta Aho Aiken Ajit Akad Akademie Akademiya Akira Akiyoshi Al Alain Alamos Alan Albany Albert Aleksander Alekseev Alessandro Alex Alexander Alfonso Algemeen Algol Algorithmen Algorithmica Algorithmics Algorithmists Ali Alispahic Alistair Allen Almstrum Alonzo Alpe Alpern Alpert Alphern Alston Alt Amdahl Amedee America American Amerika Amir Amitava Amsterdam Analiz Analytics Anastopoulos Anazawa Andras Andrea Andreas Andrei Andrew Andrzej Angeles Animadversions Ann Anna Annabelle Anne Antoni Antoniadis Antonin Antonio Antony Antwerp Anup Anwar Appl Appreciatie Apr April Apub Arbeitsblatt Arbeitstagung Archief Archiv Archivio Aretz Argonne Arie Aristotle Arith Arnold Arouet Arsac Arthur Arturo Asadi Ashenhurst Asia Asian Associons Astrahan Atanasoff Athens Atlanta Atlantic Attiya Atze Auchmuty Auer Auerbach Aug Augusta Aus Aust Austin Australia Australian Austria Automata Automatentheorie Automation Automatiseringswiskunde Autorouting Autostart AvG Avtomat Avtomatika Awadhesh Axel Azimirad B BAV BBM BBS BC BCE BCN BCY BDO BEA BER BF BFb BG BHS BITTEL BKS BLH BLSa BLSb BMA BMB BOT BOTa BP's BPD BPP BPS BPSa BRB BRBa BRBb BRJ BRW BRa BRb BSB BSK BSM BSTJ BSTJAN BT BTD BTO BTS BVD BVP BVS BVW BWC BWCCA BWS BZR Babbage Bachman Backhouse Backus Bae Baer Bagchi Bailes Bakker Bandyopadhyay Banerjee Banker's Barbehenn Bardeen Barron Bast Basu Batcher Batcher's Bauer's Bayer Beantwoording Beeri Behaviour Bekic Bekker Belcher Bellver Bemer Bemerkung Bengt Benl Berendsen Berger Berghammer Berghuis Beruecksichtigung Betrouni Betrouwbaarheid Bezettingsadministratie Bezoek Bi BibNet BibTeX Bichrome Bigelow Bij Bijdrage Bijlsma Billerica Bing Bio Bioinformatics Biomimetics Birgit Birk Birkhoff Biswas Blaise Blanchland Bletchley Blikle Blogs Blokhuis Blom Boasson Boehm Boer Boggs Boh BohorquezV Boldern Boole Borger Boskovic Boute Bovenkamp Bovet Boyer BoyerFGHMMR Bpub Braben Brahmagupta Brainerd Branko Brasil Brinch BrinchHansen Brno Broadband Brockport Bromberg Bromdinagian Bron Brownbridge Broy Bruijn Brzezinski Buch Buchholz Bugaj Bullynck Bulterman Bura Burks Burstall Buxton Byts Byunghee C CACI CACM CACMA CACa CACb CADSM CAE CAG CAIA CAPa CAPb CAS CBP CBPa CBSa CBSb CBSc CC CCA CCB CCD CCF CCG CCH CCL CCPE CCPEBO CCS CCYBAP CD CDA CDB CDF CDG CDI CDM CDN CDS CE CED CEE CEP CERCET CEa CEb CF CFA CFC CFDa CFDb CFP CG CGC CGD CGE CGF CGFODY CGMa CGMb CGa CH CHG CIC CICED CISP CJM CK CLA CLC CLS CLiCS CMA CMD CMORAP CMP CMPJA CMPTA CMS CMSVAN CMSYE CMU COC CODEN COGITANS COLADA COMMUN COMP COMPUT COS CPB CPC CPCa CPD CPP CPPPEF CPR CPT CPTRB CPV CR CRB CRC CRD CRE CRJ CRL CRP CRR CS CSA CSC CSCa CSCb CSD CSE CSLI CSNDSP CSP CSPa CSPb CSR CST CSU CSa CSb CSc CTA CTSS CUL CUN CVA CVP CVX CWEB CWH CWL CYBERN Ca Cachin Caching Cahiers Calculational Calkin Calland Cantone Capitalisation Caramia Carel Carlini Carlitz Carpooling Carruth Casadei Castellanos Catalin Catherine's Cathleen Cavallaro Cayley Cb Cechl Cees Centre Centrum Cercet Cerf Ceva Cfl Ch Chamberlin Chandy Chao Charmonman Chaty Chechik Chedaker Chee Cheng Cheol Cherng Cherniavsky Chernoy Cho Chofu Chong Choo Christchurch Christos Chu Chuan Chuanbing Chunhua Chunzhi Ciancarini Cielos Cimitile Cimpanu Clair Claypool Clemens Clements Clippinger Co CoASE Coahuila Cocke Codd Coen Coenraad Colchester Colino Collberg Collegebeschrijving Colmar Combinatorics Combinatory Comm Commentaar Commissie Commun Communicatiebuffering Compendex Comput Computerarchitektur Comrie Connexion Conradi Contractie Coombes Copublication Corbat Costa Couffignal Courant Coventry Coxeter Crauser Cristina Cruz Cryptosystems Cuan Cui Cursus Curtiss Cuthbert D DAA DAC DAGs DAI DAL DAMADU DAS DBA DBB DBG DBH DBL DBLP DBN DCA DCI DCIS DCM DCP DDA DDB DDJ DDJOEB DDP DDS DDV DFW DGC DGP DGS DHC DIA DICOEB DIJK DIST DISTRIB DKR DLC DLK DLM DLS DLT DM DMI DMP DMS DMU DMX DNT DOC DOI DOP DOPa DOPb DP DPA DPD DPE DPI DPJ DPP DPT DPV DRC DRCa DRCb DRS DRV DS DSC DSE DSK DSP DSS DT DTD DTDa DTDb DTN DTR DTT DTTa DTTb DVD DVDs DVI DWM DZA Da Daggett Dal Dalal Damerla Danielle Danilo Dantzig Danupon Datatypes Daten Datenstruktur Daxue Daza De DeMarco DeMillo DeMilloLP Dechuan Deconstructing Deerhake Defeasible Defence Dekker Delbert Delling Demert Denert Dennard Denning Derde Derfee Derigs Deromanticizing Dertiende Dexiang Diebold Diffie DijkstraF DijkstraHPS DijkstraLMSS DijkstraS Dini Dionysius Dist Distrib Djikstra Djojo Dmitry Dmytriy DoD Doaitse Dobb Dobb's Dobinson Dobrota Documentatie Doherty Dolev Domenico Dominik Dong DongKai Donn Doornbos Dordrecht Dorr Doyen Driel Drijvande Drijvende Drs Druffel Du DuWorks Duanling Dudek Dunlavey Durbin Dvoskina E EA EAA EAC EALa EALb EARa EARb EBD EBN EBNa EBNb EC ECA ECC ECI ECL ECP ECS ECT EDA EDD EDL EDM EDMa EDMb EDR EDRa EDS EDSAC EDVAC EE EEA EED EEE EEEa EER EHC EHL EID EIDa EL ELC ELEK ELIZA ELRAA EMBC EME EML EMO EMP EMPa ENC ENIAC ENP ENR ENS EOO EP EPC EPD EPE EPL EPS EPT ERC ERM ERVa ERVb ERVc ERVd ES ESA ESC ESE ESI ESN ESP ESS ETAC ETD ETH ETM ETNa ETNb ETR ETS ETT ETTa ETTb EVD EVM EWD EWDijkstra EWDnnnn EWDs EWDseries EWDthesis EWL EXP Ebergen Eberle Eckert Econom Eds Edsger Edsger's Eduard Edvard Een Eerste Egdon Egon Ehrich Ein Eindhoven EindhovenTuesdayAfternoonClub Eine Eisenberg EisenbergM Eisenstein Eklund Elbl Electrologica Elektronische Elementen Elfde Elgot Elgot's Elma Elsevier Elwood Emden Endnotes Engel Engeland Engelbart Engl Englewood Engng Enschede Entscheidungsproblem Eotvos Epp Eraghi Ershov Erster Ervin Eslami Esterel Ethernet Etsuo Europhysics Everett's Everts Ewa Ewell Executional Exper Experimentele F FACME FAE FAO FAOa FAX FBC FBV FCD FCP FCPa FCPb FCPc FCPd FD FDH FDM FDP FERTA FF FFE FFF FFT FGB FGC FGCa FGCb FGCc FGCd FGSEVI FI FIC FICa FICb FLP FME FMS FMSa FMa FMb FNL FNLa FPD FPS FRD FS FSC FSKD FTP FTS FTSa FTSb FTSc FUMAAJ FUNCT FUSC FUT FWT FYE FYI FYIa FYIb Fa Fabbri Fabio Fagan Fairchild Fakultat Falkoff Fb Fc Fd Fedorec Feigenbaum Feijen Feijenm Feng Ferariu Ferland Fernbach Fetisov Feynman Finney Fisica Fixpoint Flores Fluegelman Fokke Foong Formel Forrester Forsythe Frankston Freek Freidrich Freire Fri Fuggetta Fuhao Fujita Funct Functionele Fundamenta Fundamentele Furculita G GAZ GBV GCD GCE GCN GCNa GCNc GCNd GDA GDC GDS GDT GEN GEOINFORMATICS GER GES GEV GFH GI GIS GIa GJ GLOBECOM GLOCOM GLS GLSa GLSb GMD GMPLS GN GOF GOTO GPC GPM GRB GSC GSS GTDa GTDb GVI GWN Galan Gallaher Galler Gao Garc Garlan Garmisch Garmish Garrido Garwick Gasteren Gatlinburg Gauthier Gawlik Gdansk Gebruiksvoorwerp Gehring Geijn Gelernter Genmin Genootschap Genuys Geoinformatics Georg Ger Geschichte Gesellschaft Ghanbari Ghosh Gian Gigabit Giorgio GitHub Glaser Globale Glushkova Goguen Goldstine Golonka Gomory Goodbye Goode Goos Gorn Goto Gottfried Gouda Goumas Gouthier Graefe Granholm Graw GreatPapers Gries Griesemer Griffiths Grinich Gritzner Groningen Grosch Guerraoui Guido Guivant Gunawan Guo Gupta Gupta's Gurvich Gutknecht Guttag Guzdial H HB HBL HBP HC HCC HCD HCM HCP HCS HCT HCTNav HDA HDC HDI HDM HDMa HDP HDW HDWa HDWb HEBa HEBb HEC HES HF HFa HIO HIST HKV HLV HM HMD HMI HNP HOA HOL HOS HOSa HPC HPF HPJ HPa HPb HSE HSP HSQ HSS HTA HTT HTW HV HVO HVPa HVPb HVS HWP Haag Haantjes Habermann Haddad Hagit Hagiya Haibo Haige Hajime Hakimi Halstead Hammadi Handb Handboek Handelsblad Hanspeter Har Harary Harel Harslem Hartmanis Hartmann Hartree Haskell Hau Hauck Hauck's Heapsort Hebei Heer Hehner Heidelberger Heiko Heise Heising Helgason Hellman Helmberg Hendriks Henk Herdenkingen Herrick Hershberger Hesselink Het Heverlee Hierarchische Higman Higman's Hiller Hillis Hinchey Hirstius Hisao Hm Hoare Hoerni Hofner Hoger Hogeschool Holberton Holger Holzer Hongwei Hongxia Honour Honsberger Hoogendijk Hoogerwoord Hopcroft Hoppe Horning Horsley HotSpot Hotomski Howarth Howland Howlett Hsiao Hsin Hu Huang Hubei Huez Hui Huifeng Huijuan Hurd Huskey Hwan Hwee IAD IAHCEX IBMa IBMb ICATE ICAdTE ICB ICCAE ICCASE ICCC ICCCN ICCCYB ICCChina ICCDA ICCET ICCI ICCSE ICCSIT ICD ICDCS ICEC ICEE ICEET ICF ICI ICICEE ICIEA ICIECS ICISE ICLEF ICM ICNC ICP ICPC ICPP ICPST ICRA ICS ICSE ICSMC ICSNC ICSTCC IDS IE IEE IEEE IEM IEMBS IESEDJ IESOEG IET IEW IFIP IFPLAT IGBSG IGV IHMSC IHT IIM IJCIAH IJCNN IJsselsteijn IJzeren IKB ILA ILLIAC IM IMF IMI IMIa IMMD IMR IMTHBJ INDAG INF INMIC INT INa INb INc IOP IP IPA IPDPS IPW IRC IRD IRONMAN IROS IRT ISA ISBN ISCAS ISCID ISE ISIJBC ISIT ISO ISP ISPA ISSN ISSa ISSb ITA ITAa ITAb ITAd ITCOB ITCSDI ITSC IVUS IW IWD IWISA Ia Ibrahim Idempotence Idit Igor Ihor Ikaunieks Il Ilvana InBook InCollection InProceedings Indag Indagationes Inf Informatica Informaticae Informatics Informatie Informatik Infotech Ingenieur Ingezonden Inleiding Inorder Inst Institut Int Intercomputer Internet Interprocess Intuitionistic Iordanis Iosifidis Ir Irby Ironman Irsee Irven Isn Iverson Izdat J JACM JACOAH JDJ JEA JESa JESb JFP JFPRES JHB JHDa JHDb JMC JMQ JMS JOALDV JORJA JPDCER JPN JSCOEB JSMremarks JSP JSTOR JSYLA JVS Jaap Jacquard Jae Jahre Jaime Janez Janicki Jansen Janssen Jasika JavaScript Jayadev Jayasri Jeannette Jeffery Jehn Jens Jerrier Jesper Ji Jiahao Jian Jiang Jianhong Jifeng Jihui Jinkuan Jinli Jiping Jirka Johan Johnathan Jonkers Jonsson Jorma Jos Joshi Josyula Judea Jul Juli Jun Junctivity Junginger Junqiao Juntti Juris Juzoji K KB KBU KBV KCL KDF KDS KMP KT KTE KTS Kabil Kac Kahng Kaldewaij Kam Kambayashi Kang Kaplansky Kaplansky's Kapor Karel Karger Karlsruhe Karlstrom Karolos Karp Karsten Karyono Katar Kathmandu Katz Kaufmann Kazuo Kees Keidar Kemeny Kennington Kessels Keunhyun Keuze Kexue Kh Khachiyan Khalid Khalil Khoor Khowarizmi Khwarizmi Kibernet Kibernetika Kibernetiki Kiel Kilburn Kilby Kilov Kimball Kirkby Kitano Klaas Kleene KleineTUEEncyclopedie Kleiner Kleinrock Kloster Kluwer KnuthDigitalArchive Koduvayur Koh Kohei Komma Koninklijke Konrad Konstancin Koparka Koparkar Kort Korte Kortste Kosaraju Koster Kotov Koutsopoulos Koziris Kraskal Kristen Kroeger Kruseman KrusemanAretz Kruskal Kruskal's Krzysztof Ksenia Kuipers Kumar Kun Kundu Kunst Kurtz Kuznetsov L LAA LAL LAN LANGS LAS LBL LBR LC LCB LCCN LCE LCOMM LCR LDH LDI LDS LE LEC LECT LETT LHI LJA LMO LMOa LMR LN LNCS LNCSD LNP LNS LOGICS LOND LP LPC LPD LPM LPO LPV LPZ LRE LRS LSD LSO LSR LST LTM LTT LTa LTb LaTeX LaValle Laat Lacko Lambek Lamport Lampson Lamsweerde Laplante Lardner Larsson Lauer Lauesen Laurens Lavington Lawford Lazere Learson Lehmann Lehmer Leibniz Leibniz's Leiden Lejaren Lenat Lengauer Lenkiewicz Lennaerts Leong Leontieff Leron Lesse Lett Leuven Levensberichten Levner Lex Ley Leybourn Li Liang Liao Licklider Liege Lifschitz Lightstone Lijun Lilith Linearization Ling Linial Linux Liskov Liu Livshits Liying Ljubimski Lok Lorge Los Lothar Lt Lu Luan Lubarsky Luciano Ludgate Lukaszewicz Lukkien Lukoff M MAES MAESreg MAF MAFa MAGAAS MAHC MAINDC MAM MAMa MB MBB MBBa MBC MBLE MBS MC MCA MCGRAW MCReps MCS MDC MDD MDF MDS MDT MEC MEE MEP METAFONT MFC MFR MFRa MFRb MFS MFT MFU MGL MHCa MHCb MHE MHPGA MHW MHWa MIC MICa MICb MIF MIHa MIHb MIHc MII MIL MIMO MIP MIPRO MIPa MIPb MIRFAC MIS MIU MJM MJV ML MLD MLE MLP MLS MLV MM MMB MMC MMD MMF MMM MMP MMS MMU MNGBAK MNM MODULA MOREDQ MOU MP MPC MPE MPG MPL MPLS MPMA MPR MPT MQ MQD MRA MRAa MRM MRO MRP MRclass MRnumber MRreviewer MSC MSE MSM MSMa MSO MSP MST MSV MSX MTA MTTCAS MVA MVC MVK MVP MWF MX MXV Maarten Machida Madali Madalinska Madan Mahadevan Mailloux Makni Malba Malkhi Mallorca Manag Mandal Mani Mannheim Manta Maouche Marcos Marek Marian Marianne Marijn Markoff Markoski Marktoberdorf Markus Martynjuk Marzullo Masami Massimiliano Masuda Matematice Matematicheskoe Matematico MathSciNet Mathai Mathematica Mathematicae Mathematik Mathematisch Mathematische Mathematischen Mathemetics Mathison Matthijs Matti Mauchly Maurer Mazola Mazurkiewicz Mb Mc McClelland McCluskey McColm McCracken McCreight McCulloch McEntire McIlroy McIver McJones McLure Meabrea Mechatronics Medema Medos Meersman Meertens Mehlhorn Mehrotra Mehta Mei Meirosu MemRes Memoriam Menabrea Menelaos Meng Merwin Merz Metatheory Metcalfe Methodik Methodisches Micha Michie Micropipelines Microsystems Mijn Mikhail Mikkel Mili Millo Milner Mina Mingjun Minsegsumtwodim Mintree Mir Misa Misc Misra Mitrovic Mitteilungen Mobius ModPas Modelling Modularization Moerland Moffat Mohamed Mohammed Mohring Mon Monogr Monteiro Morawetz Mordechai Morgan's Morland Moser Moshe Mosquitoes Motivering Mowshowitz Muchnick Mudur Mukherjee Mullender Multi Multicast Multiprocess Multiprogrammering Munchen Murase Murota Musa Musznicki Myllyla N NABIC NAC NAE NAQ NAV NAWIA NBD NBITAB NBiS NCA NCD NCHPAZ NCI NCR NCS NDB NDJFAM NDS NEB NEBa NF NFY NFYa NFYb NGE NGO NIM NMR NMT NN NOTRE NPE NPL NPM NPT NRI NRR NRT NSBa NSBb NSD NSP NSPa NSPb NSR NSWCTC NTI NTM NTN NTP NTR NTRa NTT NUM NUMMA NUiCONE NUiConE NVS NYTIAO Na NaBIC Naar Nagappan Naixue Nakajima Nakamura Nakayama Nanjing Nanongkai Napier Nati Natsional Natu Nauk Naumann Naur Nb Nederl Nederlandse Nederpelt Negende Nepomniaschaya Nepomnyashchaya Neth Netty Neumann Neville Ng Nichtdeterminismus Nierstrasz Nieuw Nikas Nikhil Niklaus Nikolay Nils Nilsson Nirma Niu Noam Nobert Noda Nogami Nondeterminacy Nondeterminancy Nondeterministic Nonoptimal Noord Norbert Nordisk Noshita Nosovic Notitie Noto Notre Noutsi Noyce Nuenen NumerMath Numerische Nutt Nygaard O O'Reilly OBO OC OCCAM OCI OCP OD ODA ODC OEA OET OEW OFDM OGD OI OID OIE OLB OLR OMB OML OMS OOJ OOO OOS OP OPA OPER OPF OPK OPTIM ORDVAC ORT OSAa OSAb OSAc OSAd OSAe OSAf OSE OSG OSIRE OSRED OSS OST OT OVL OVO Oana Oberon Obespechenie Objectprogramma Obradovi Obru Obruca Occam Odemir Odersky Odhner Olderog Oldfield Ole Oliphint Omdat Onderafdeling Online Ono Ontwerp Ontwerpschets Ontwikkelingsplan Oosterveld Op OpenFlow Oper Organisatie Orrin Os OtherDocs Oughtred Owicki Ozansoy P PACIIA PACOEJ PAH PBB PCD PCH PCHa PCHb PCI PCL PCP PCR PCS PDD PDF PDM PDMa PDN PDP PDS PDT PDV PE PEC PEI PEM PEV PFS PGP PGS PGT PH PHILOS PHTOAD PHYS PIC PIMRC PIS PIa PKT PL PLBOOK PLC PLDI PLP PLR PMD PMG PMI PML PMM PMN PMP PMR PMRa PMRb PMT PMTa PMW PMWa PMWb PNP PODC POM PP PPA PPC PPD PPF PPI PPP PPS PPSa PPSb PPU PPW PQA PRD PRM PROC PROG PROLA PS PSD PSE PSF PSG PSGa PSJ PSM PSN PSO PSP PSS PSST PST PSU PTC PTCa PTD PTE PTF PTM PTP PTRMAD PU PVAa PVAb PVAc PVX PWC PZP Pac Pacal Padlipsky Padova Padte Padua Padua's Palevsky Palma Palo Panconesi Panzieri Paoli Papadimitriou Papert Parallelization Pardo Parijs Parmar Parnas Parra Parthasarathy Parulekar Payette Pb Pease Peihua Pelc Perceptron Perdana Pereida Peremans Peritus Perlis Perrot Perrott Petar Petitfr Petitfrere Petri Petrocelli Peyer Peyrodie PhDthesis PhdThesis Philbrick Philco Philips Phillip Pieter Piotr Pisa Pitts Pnueli Poellinger Poging Pollitt Pomberger Pommerene Pont Poon Popa PowerCon Prac Pract Pradityo Praktische Pre Prelis Pren Presper Pretentie Primality Pritchard ProbAlgs Programmbeweismethoden Programmeren Programmering Programmieren Programmierens Programmiermethodik Programmierung Programmstruktur Prolog Ptolemaeus Publ Q QA QCM QI QTS QianXing Qiang Qimei Qing Qinghua Qingqing Qinhuangdao Qiu Qld QoS Queensland Queueing Quevedo Quicksort R RA RAA RAL RAR RB RBB RBBa RBBb RBG RBP RBV RC RCC RCF RCN RCS RCTa RCTb RCTc RD RDC REA REC RECHENANLAGEN REIDEL RES RF RFCs RFD RFE RFS RG RGD RHD RLA RLS RLSa RLSb RM RMD RN ROBIONETICS ROR RP RPA RPL RPO RPS RPT RPa RPb RR RRD RRR RRT RS RSA RSI RSJ RSMUP RST RSTa RSV RT RTA RVB RVE RVT RWD RWG RYS Raad Rachid Raith Rajchman Rajeev Rajiv Randell Rao Rautenbach Ravi Ravichandran Rd Recensie RecentIssue Rechenanlagen Rechenberg Rechenmaschine Rechenmaschinen Reddy Redeker Redell Redirections Rees Reiber Reidar Reidel Reiner Reinhard Reisig Reisverslag Rejewski Rekenautomaat Rekenautomaten Rekentechniek Rem Rem's Ren Rendiconti Renesse Renwick Requejo Res RevisedReport Reyes Rham Rheinische Ria Ricardo Righi Rijksuniv Rijksuniversiteit Ritchie Rivest RoEduNet Robbert Robnett Rodr Roerdink Rolf Rosen Rosenblatt Rosenblueth Rossi Rossingh Rossler Rossum Rosyidi Rota Ruane Rubbert Rubio Ruey Ruparelia Rus Rutger Rutishauser Ruwe Ryckman Ryota Ryszard S SAB SABa SABb SAE SAS SASL SASa SASb SASc SB SBA SBAa SBS SCA SCD SCF SCH SCI SCO SCOa SCOb SCP SCPGD SCR SCRa SCV SDA SDB SDC SDN SDP SDS SDU SEAC SED SEI SEN SEO SEP SEPL SER SEa SEb SEc SFA SFCS SFENDP SFG SFP SFPa SFPb SFPc SFPd SFS SGA SGS SGT SGWID SI SIA SICOMP SID SIGACT SIGARCH SIGCSE SIGNDM SIGNUM SIGOPS SIGPLAN SIGSD SIGSOFT SINODQ SIVa SIVb SIa SLS SMA SMAa SMAb SME SMJCAT SMP SMS SMSa SMSb SMT SN SNA SNB SNEWD SNS SNU SNV SNW SOA SOAa SOCIOL SOFTW SOLa SOLb SOLc SOLd SOO SOSP SP SPC SPCOEL SPCa SPE SPEXBL SPF SPG SPH SPI SPO SPP SPR SPS SPT SPV SPW SPa SPb SQ SQB SR SRD SRH SRM SRN SRP SRa SRb SS SSC SSD SSF SSLa SSLb SSSP SSSa SSSb SSV SSVa STA STC STD STM STP STPGEM STRUCT STS STV SU SUCSLI SUF SURV SV SVB SVO SVP SWAC SWC SYI SYS SYST Sa Sacharuk Saddleback Safra Salcedo Samelson Samenvatting Sammet Santini Santosh Sape Sarkar Sarnoff Sasase Sathi Sato Sb Sch Scheevel Scherlis Scheub Schewe Schieder Schieferdecker Schikard Schilling Schlumberger Schmerl Scholten Schotten Schreyer Schultes Schulthess Schwichtenberg Sci Scitation Scriptum Sede Sedeno Seegm Seegmueller Seely Segers Seidel Selfridge Sem Seminario Sen Sep Sequentiele Sequentielle Ser Serializable Serie Sghaier Sh Shallit Shamir Shan Shankar Sharding Sharir Sharma Sharpless Shasha Shee Sheffer Sheng Shengzhong Shetty Shi Shiller Shiloach Shiloach's Shilov Shilova ShilovaS Shioura Shiri Shlomi Shmuel Shostak Shrivastava Shroff Shu ShuGuang Shuiqiang Shura Shuxue Si Sibley Siew Sifakis Sigsoft Silverstein Simone Simplicial Simula Singh Sintzoff Sireesha Sistem Sistemny Situ Sizeable Skytt Slochanal Slutz Smalltalk SmartGridComm Smoliar Smoothsort Smyth Snell's Snepscheut Sniedovich Sociol Solka Solovay's Sonderausgabe Soo Soren Sp Specialised Sproull Sr Srdjan Srinivasarao Stacey Stancu Staveren Stearns Steffens Steinhaus Stephan Sterringa Stibitz Stoll Storia Stoy Strachey Strassen Streitferdt Strimpel Strother Structuurplan Strukturierte Strukturiertes Strukturnoe Studii Sturgis Su Subgoal Subspanning Subtree Sudhakar Suekane Sukhamay SuperPascal Supertrace Sur Susanna Susono Sven Svend Svetlana Svoboda Swamy Swierstra Swinehart Swinkels Sybrand Synchronisatie Synchronisation Synge Sys Syst SystemTables Systolic Szu Szyperski T TAA TAF TAI TAOa TAV TBN TBP TBS TBSa TCB TCE TCK TCL TCN TCO TCP TCS TCSCDI TCSI TCW TCWa TCWb TDC TDD TDDa TDDb TDW TEC TEI TELNET TES TET TEW TEY TFC TFD TFP TGR TGRa TGS TH THA THEOR THEOS THEos THL THS TIA TJ TK TLF TLG TLM TML TMP TMT TND TNR TNV TOJ TOPLAS TOSEM TP TPD TPJ TPP TPS TPT TPTa TRANS TRI TRIa TRU TRV TRVa TRW TRWa TRWb TRWc TRWd TRWe TRWf TRWg TRWh TRWi TRWj TRWk TRWl TRWm TRWn TRWo TRWp TRWq TSA TSB TSBb TSF TSO TSS TSW TT TTA TTI TTNa TTNb TTNc TTR TTS TTT TTTa TTTb TTTc TTTd TTU TTW TU TUBScsd TUC TUJ TVC TVL TVP TW TWD TWDa TWDb TWDc TWDd TWDe TWDf TWDg TWDh TWF TWH TWHa TWHb TWN TZV Tadao Tae Tahon Takaoka Takematsu Tamaki Tanenbaum Taris Tarjan Tarmo Tartu Taschenb Tatarchenko Taulbee Te TeX TechReport Technische Technol Teil Tel Telemekh Telemekhanika Templ Tendell Tentamen Tentamenopgave Teolis Ter Terracost Terwilliger Teshnische Thacker Thalheim Theor Thorup Thu Thurow Tian Tianjin Tiende Tijmen Tilborg Timebase Timesharing Toekomstverwachting Toespraak Toma Tomash Tomayko Tomczak Tommiska Torelli Torres Tr Trabb Traff Tramiel Traub Tripreport Tropp Tryp Tse Tseitlin Tsichritzis Tsuboi Tsujimura Tsutomu Tue Tukey Turanski Turkle Turski Twaalfde Tweede Twente Tyne U UAY UBA UBS UC UCA UCS UDC UFM UFS UMD UQR URL USB USENIX USF USL USLtr USP UTC UTS UUS UVA Uchida Udding UflRAQAAIAAJ Uhov Uhrin Ukrainy Ulam Ulf Ulinic Ullman Ulrich Une Uni Unibags Univ Universit Universiteit Unixes Unsupportive Upsequence Urbiha Uri Uspekhi Ustun Utrecht Uustalu V VAV VBA VBE VBHa VBHb VBV VC VCVa VCVb VEN VERTROUWELIJK VETECS VFB VFI VHO VIC VIS VLSI VSE VSM VTC VTCFall VTNa VTNb VTO VTT VTTa VTTb VTTc VTTd VVB VVBa VVBb VVJ VVM VVR VVT VWM Vadim Vadivoo Vahrenhold VanGhent Vannevar Vantilborgh Varia Varmo Vauquois Velsky Veltkamp Vene Venegas Venkatesh Venn Ver Verarbeitung Verfahren Verfahrens Vericast Verkavelde Verlag Vermandel Verscheure Verslag Vervolg Viacheslav Vicki Viejo Vierde Vijfde Vinton Vitter Vizing Vizing's Vladim Vladimar Vlissides Voermans Volker Von Voorstel Voorwoord Vorono Voronoi Vries Vrije Vygen W WAP WARTIA WBR WC WCM WCS WDP WF WFC WFL WFR WFS WFT WG WH WHI WHJ WHW WHa WICa WICb WJC WLN WLOG WMB WMGa WMGb WML WMMa WMMb WMU WNP WNPa WNS WNT WO WPB WPL WRP WSC WSE WSEa WSI WSK WSM WSO WSP WST WSTa WTM WUB WUBa WW WWD WWK WWS WWW WYT Waarom Wadler Wagenaar Wagener Waldinger Wallen Warshall Warshall's Wasserman Wassily Wattenhofer Wawrzyniak Wegbreit Wegner Wegstein Weihe Weinberger Weiner Weiser Weizenbaum Welch Weledelgestrenge Weledelgetrenge Wengui Wes Westboro Wetensch Wetenschappen Wetenschapsbeleid Whitfield WiCOM Wickremesinghe Wiederhold Wielgus Wies Wijnand Wijngaarden Wikipedia Wilf Wilhelms Willhalm Williston Wiltink Wim Winkowski Winograd Wirth Wirtschaft Wiskd Wiskunde Wiskundefreaks Wiskundig Wissenschaften Witold Wladis Wokingham Wolstenholme Woodenman Woodger Workflow WorldCat Woude Wouter Wozniak Wulf Wybe X XMLdata XX XXX XXXX Xiang Xiangjun Xiao Xiaohong Xiaohuan Xiaoni Xiaoping Xiaoqin Xiaorong Xiaoxian Xie Xing Xinyu Xiong Xiu Xplore Xu Xuebao Y YAN YJOR YLSa YLSb YUGO Yamachi Yamamoto Yan Yanpeng Yanwei Yeh Yen's Yershov Yi Yihu Ying YoP Yogen Yong Yoram Yossi Yourdon Yu Yuan Yuanzhe Yue Yugosl Yunjuan Yunxiang Yuqiang Yuxin Yvonne Z ZJI ZMID ZMnumber ZMreviewer ZPE ZPS ZTNa ZTNb ZTTa ZTTb ZTTc ZW Zagier Zakopane Zaks Zaroliagis Zayegh Zazhi Zealand Zeitschrift Zelenecki Zemanek Zeng Zentralblatt Zesde Zettel Zevende Zgaya Zhang Zhao Zhendong Zheng Zhengbing Zhiming Zhitang Zhiying Zhiyong Zhou Zhu Zilles Ziran Zixun Zohar Zonneveld Zou ZuKuan Zuckerman Zuse Zwanzig Zweiter Zwierzykowski Zworykin aPub aabyan aan aangegeven aanleiding aanroep aanschaffing aansluiting aanvang abs ac academisch academische acc accesspage acidflask ack acknowledgement acm acmid actainfo ada adabooks adis administratie adr adressering adsabs advisor afdeling affiliationaddress afp afsluiting afstudeerder afstudeerders afstudeerrichting aip ajournal ak al alan alcatel alg algol algorithme algorithmica allison als alspaugh alston ambacht amc americanscientist amermathmont amermathmonthly ams analysed anhand annhistcomput annote apparatuur applmathcomput apr april aps apub arck ari arithmetiek arnumber articleno aspx assertional assistantship att aug augusta augustus automaat automata automation automatische automatischen autostarts aw axiomatization b babbage bankiersalgorithme bauer bcp beamforming beebe behaviour beledigend benefitting berekeningen bersetzer bersetzung beschreven beschrijving betreffende bevan bezighouden bezoek bfm bhibbard bibdate biblio bibmods bibnames bibnet bibsort bibsource biburl bichrome bidirected bij bijeenkomst binnen biobjective biomolecular blijven bomen book's bookpages bookseries booktitle boolean bowker brevity's brian brinch bstj bxr c ca caching cacm cah calculational calisson calissons callnumber cambridge cas catdir cattobib cercet cfm cgf cgi ch chao characterisations characterizations charles chemin chemins chen cher chun chutspa chutzpah ck classcodes claude co codetable coloured colouring com combinations comjnl commissie communicatie communicatieapparaat communicatieapparatuur communicatieprogramma compilateur compj complngs compsurv comput computerhistory conf confday confendday configuratie conflocation confmonth conftitle confyear congres connexion controlerende cor coroutines corpsource coverImageUrl cpe crossflow crossref cs csc csdl csli csp css cyber cyrDal d d'Huez d'un dMLP daarvan dans dartboard dat db dblp dbq dc ddj de deBakker deMillo dec december declarators defeasible del dell'Universit della demonstranda der dershowitz des deze di digbib diger digitale dijkstra dijkstraACMobit dijkstrascry dimarzo disjunction's displayJournal distribcomput distributedly dit diverser dl dlib dms docstring dodelijke doelstelling doi doiserbia dood dpd dpunkt dr drijvende du duikboten duren dvdtableofcontents dx e ec eci ed edsger edu educatief een eigenlijk einde elektrotechniek elke elmer elsevier elwood email encyclopedie endm ener engendered enkel enquete enseignement epub epubs equational er erh erovnik ervaringen est euclid europhysicsnews ewd expansie extendable ey f fabrikanten fac faciliteiten favour fb feb februari fer ff fh fibquart filesize fisica fixpoint fjournal flowcharting fner formaspcomput formulae forsythe fortran foundedness fparith friedrich fsz ftp fuer fundamenta fundinfo fusc futgencompsys fy g gbv gc gdzdoc ge geblokkeerde gebruik gegenereerd gehalte gej geom georganiseerd george gestae gestern gevallen gewicht gewoon goettingen google goto gotspe gov graphe grecommended grond gsu guardianobituaries guez gunstiger gz h hansen hardcover hardnekkigheid harvard hcc hdb heapsort heffalumps heinz heren het heute hm hnle hoare holonomic homepages honour hoogleraar hoor howpublished hring hsgscan htm html http https huidige hun i ibmjrd ibn ibspan icc icec icse id identifiers'' idx ieee ieeeannhistcomput ieeesoft ieeetranscomput ieeetranssoftweng ieeexplore ifip ik illustriert im implementor implication's inca incurable inequation infima infoproc informatica informaticae informatics informatieverwerkende informatik informationsbehandling ingenieur inhoud initialisation inspirehep inst intellectuele intercomputer interpretatie interprocess interscience intuitionistic iop iopscience iospress ir ira isbn isn issn j jaarboek jacm jalg james jan jc jda jea jena jfunctprogram jid john journalabr jpages jpardistcomp jscic jsl jsp jstor jsymboliclogic jul juli jun junctivity juni k kan kanaalwisselingen kanalen kanttekening karlsruhe keuze keuzecommissie ki kleine kludge'' knight's kodierten komen kort korter krant kstra kunnen kunst kvk l l'Alpe l'algorithme l'obtention laatste langage langer leavens leden lemmata lex lhi libnote liggen lioration litprog liveness ller lncs lnk loc logics logische loi lollie lotgevallen lovelace lsu lten ltlich ltx ludwig m maal maart maeder mag mags mahasiswa mainpage mathcomp mathematischer mathison mathscinet mc mcom medio meetingname mei memoriam metamathematical metapress metatheory methode microgrid mijn minimised misc misspent mkp modelvorming modu moeilijkheden moet mogelijkheden mogen mos mosquitos mpc multi multicast multiprocess multiprogrammed multiprogrammeringsproject multiprograms multiway mz n na naar najaar nato naya nb nchen ncl nd ndjfl neumann ng nhfb nicholas nicht niet nieuwarchief niklaus nki nl nondegenerate nondeterminacy nondeterminism nondeterministic nonnegatively noodzaak normering nov november nrcresearchpress num numdam numerieke numerik nummath numpages ny nytimes o obits obtention oclc oct officemate offloading oktober oldfiles oldlabel omarming onbeduidend onbelangkrijk onderafdeling onderafdelingsvergadering onderwijs onderzoek online onlinedate onlinelibrary ons ontstaan ontwikkeling ontwikkelingsplan oordeel op opac opdeden opdrachtencode openurl opersysrev opgedaan opleiding optreden orde ordinateur org organisation organised os osiris oup oxfordjournals p pagecount pagina paginaadministratie pakken parabel parallelcomputing parallelizable parallelization parallellism parco partitionings passeren passering pb pc pdf pend pendaftaran physicstoday pii pioneer's pl plaatsbepaling polyhedra ponsband ponsbandorganisatie ponskaarten postcondition pp pre preorders preprocessing prepublished primality probeer proberen procesbeschrijvingen prog programma programma's programmation programme programmeermethodologie programmeren programmering programmeur programming's programmirovanie projecteuclid prolaag propadeuse protocole pubPH pubRS pubcountry publaddr pubsonline punumber q qiu queueing quicksort r randell rationnelle rd reactie reactie's rec referencedby reffrom refs reimplementation reis rekenen rekenmachine rekenmachines rekentechn relais ren res retirement reynolds rg rger rhus ri richard rmenyi ronde rov royalsocietypublishing rquez rs rsl rsta ru runtime rutishauser rwebber s sagepub sam schaats schets scheve scicomputprogram sciencedirect sciencemag scitation scp scriptum sd sdb sdm seau seinpalen selectie semirings sep sepakbola september sequentialiteit sequentiality sequentiele ser servlet sgm shannon shorttableofcontents showtags shunting si siam siamjcomput sicomp sigact sigarch sigcse siggraph signalling signum sigplan sigsoft situ sizeable sjb ska skaya skeletonization smoothsort smr softcover softeng sp spage spe sponsororg spoofed springerlink ssenb st standaard standaardroutines stanford stanislaw stapeladministratie stateful stieni stp structprogram stti studenten studievereniging stukje subalgebras subcommissie subgoal subgraphs subpaths subscripted subspanning subtrees suitable suitably suppl suprema sur symcharf symchart synch synchronisation synchronise sys systolic sz szl t tableofcontents taro tb tc tcs te ter terracost tex texbook th theguardian thode tian tice tidskrift tif tijdschrift tijdsduur timestamp titre tlin toc toclist tocs toec toekomst toespraak toplas tose tosem tp tradeoffs translit transputer trommelpagina trommelpagina's trommelpaginatransporten tt tudes tue tukey turing tussen tv twee tweede typprogramma tz u ubka uchicago ufn uit uitg uitreiking uitvoer uk uka ukaszewicz ulam un unary und undated undelivered uni unipv unisg unix utah utcah utexas v vanDriel vanGasteren vanLint vanTilborg vanWijngaarden vandenHove vanderWoude vectorgeheugen veel verdwenen verfijningen verhogen verhouding verkenning verlag verlagen verlos verschillende verslag vertaalproces vertaler vertices vertraging vervanging verwachten vigner vol von voor voorgestelde voorjaar voorkoming voorwoord vorm vrijgave vs w walkthroughs wat waw wc weledelgestrenge wellfounded werkelijk wicom wiki wikipedia wil wiley wilkinson wirth wiskunde wiskundig wiskundige wlu woorden woozle wp wwc www x xian xii xiii xiv xix xjournal xpl xv xvi xvii xviii xx xxISSN xxauthor xxbooktitle xxeditor xxii xxiv xxjournal xxmonth xxpages xxpublisher xxtitle xxvolume xxyear y ying z zake zal zbmath zeer zef zentralblatt zhen zich zijn zmath zoals zodra zoveel zullen zur zwemmen