Bookmarks for Nikolaos S. Papaspyrou

Projects & Research CS Conferences etc. ACM SIGPLAN Conferences The Computer Events Directory Computer Science Journals Conference Announcement Archive, Fraunhofer Conference Anouncements, Internic Conference Information Index Conference Resources Directory of CS Journals Netlib Conferences Database Principles of Programming Conferences Programming Language and Compiler Conferences SBPAM Conferences WWW VL: Conferences WWW VL: Conferences, Computer Science ACM Multimedia 96, 18/11/1996, Boston, MA ESC, 11/9/1995, Vienna Didactics in Education, 9/5/1997, Patra DMIE, 9/5/1997, Patra FME'97 Symposium, 15/09/1997, Graz IASTED ICMS, 25/4/1996, Pittsburg, PA IEEE Multimedia Systems, 3/6/1997, Ottawa ICSE 18, 25/3/1996, Berlin ICSE 97, Spring 1997, Boston, MA MASCOTS' 96, 1/2/1996, San Jose, CA PLDI'98, 14/7/1998, Montreal WebNet'96, 16/10/1996, San Francisco, CA WSC '95, 3/12/1995, Arlington, VA Summer School in Marktoberdorf ACM Summer School in Sobotka ACM State of the Art Summer Schools in CS ACM Programming Contest ACM Programming Contest, Romania CS Document archives Resources & Utilities Bibliography Software BibNet project, Tools BibTeX Tools University Libraries MIT Online Library Catalog Cornell University Library Cornell University Library, Online Catalog UC Berkeley, Library Catalogs Stanford University Libraries Carnegie Mellon University Libraries Bibliographic Search Tools I Bibliographic Search Tools II Bibliography Network Project (BibNet) BUBL Information Service CS Bibliography Collection CS Bibliography Glimpse Server CS Technical Report Harvest Broker CS Technical Reports Archive Sites CS Technical Report Abstracts Index Database Systems & Logic Programming Deja News Electronic Library in Computing Science Hypertext Bibliography Project Object-Oriented Related Bibliography On-line CS Techreports Technical Reports Search Sites Unified CS-TR Search Index WATERS Global Service WWW VL: Electronic Journals CS Internet Resources IEEE ACM - The First Society in Computing Computer Science Resources IASTED Institute for Scientific Information C/C++ Programming languages C/C++ SIG, New York C++ Information C++ SIG, San Francisco C++ Standard Working Paper Draft C++ FAQs Lite C semantics, CalState Comeau Repository for C++ Programming in C, Lysator DOC++: A Documentation System for C++ FAQ: comp.std.c++ Garbage collector for C and C++ Garbage Collection Green Eggs or news:comp.std.c Interactive C Manual ISO-C Code Validation Service ISO-C Committee FTP Archive Jon's C++ Resources Directory Object Magazine Online OOP Group, British Computer Society The C++ Virtual Library Trestan's C and C++ Hot Links ISO C Working Group Yahoo: Languages, C/C++ Intelligent Agents WWW VL: Conferences on Agents The @gency Agents: Herman's Thesis Agents: Wired Online, Brain Tennis Agents: Application Analysis UMBC Agent Web AgentTCL, Dartmouth College Java Agent Template, Stanfrod Software Agents Group, MIT Media Lab Intelligent Software Agents, Survey Intelligent Software Agents, CMU Agents: Ghosts System Stan Franklin's home page Sandip Sen's home page Agent Society Software Agents Mailing List FAQ Distributed AI, QMW Open Agent Architecture The Agent Building Shell, Toronto Agent-Oriented Programming, Stanford Agents, Andersen Consulting, CSTAR Tacoma Project, Norway Workshop on Management of Semistructured Data Dublin Core Metadata Element Set: Resource Page Microsoft Agent Man-Machine Interface ACM/SIGCHI Home Page Galaxy: Human computer Interaction HCI Bibliography Human-Computer Interaction Resources WWW VL: Human-Computer Interaction Yahoo: Human-Computer Interaction Yahoo: User Interface PL Semantics Research ACM TOPLAS Action Semantics Centaur System, Inria, France DIKU TOPPS Research Group DIKU TOPPS Bibliography Index European Association for CS Logic Evolving Algebras Formal Aspects of Computing Journal Formal Methods Group, Manchester Formal Semantics for C, TIS Research Foundations of Object-Oriented Languages Functional Programming Archive Functional Programming Group, Nottingham Haskell IEEE Symposium on Logic in Computer Science Java Semantics and its Type System Journal of Functional Programming Monads and Category Theory, SEL-HPC Monads, Philip Wadler Moscow ML Home Page OUCL, Oxford OUCL search report lists Partial Evaluation Group, Irisa, France Program Slicing Project, Wisconsin PL Research, CMU PL Research, Penn State PL Research, Rice Semantics-Based Program A&M Semantics Research, Kansas State Standard ML of New Jersey Theory & Formal Methods, Imperial College Theory & Semantics Group, Cambridge VDM Overview WWW VL: Formal Methods Yahoo: Formal Methods Simulation ACM TOMACS INFORMS College on Simulation International Journal in Computer Simulation Journals Publishing Simulation Papers SNET: Simulation Network Society for Computer Simulation Society for Computer Simulation (kweb) WWW VL: Computer-Based Simulations Visual Programming Languages Yahoo: Visual languages Various Compiler Internet Resource List Eli Free language tools Galaxy: Computer Technology Literature Recommendations (matthias) Literature Recommendations (leavens) Open University Database Programming Language Creator Researchers in PL & Compilers RMM HyperMedia Design RMM FTP Directory Software Technology Interest Group Standard ML, Information, CMU Standard ML, ML Kit, DIKU Tcl/Tk WWW Info WWW VL: Programming Languages WWW VL: Software Engineering WWW VL: Tcl/Tk ESPRIT Programme The Ghinsu Project
Foreign universities Carnegie Mellon University Carnegie Mellon University, CS Cornell University Cornell University, CS Edinburgh, CS Department Massachusetts Institute of Technology Stanford University Stanford University, CS University of Florida University of Florida, CIS University of Manchester, CS University of Toronto University of Toronto, CS Law Schools Law Schools & Firms Yahoo: Law Schools University of Birmingham (general) University of Birmingham (general), Gopher University of Bristol Warwick University Queen's University at Belfast University of Hull University of Strathclyde
Home pages Paul Black, Brigham Young Dick Botting, CSUSB Luca Cardelli, Digital Keith Clarke, Univ. London Patrick Cousot, ENS Laurent Dami, Univ. Geneve Jaco de Bakker David Espinosa Matthias Felleisen Andrzej Filinski Amy Greenwald, NYU Cliff Jones Konstantin Laeufer, Loyola Sheng Liang, Yale Panos Livadas, UFL Averil Meehan, Ulster Flemming Nielson, DAIMI Hanne Riis Nielson, DAIMI Michael Norrish, Cambridge David Schmidt, Kansas State Phillip Windley, Brigham Young Mario Wolczko
Searching the Internet ALIWEB Search Form ALIWEB Search Form at Nexor, UK AltaVista: Main Page Clearing House Internet Resource Guides Internet Computer Index Internet Hypertext List Internet Web Text Lycos: Hunting WWW Information Lycos: Customize your Search Mother-of-all BBS Search Utilities, San Jose State Special Internet Connections The Whole Internet Catalog Virtual Software Library Web Crawler W3 Search Engines WWW Virtual Library Yahoo: Main page
Free time & tools Books Addison Wesley Longman Bookstores of the world Book Publishers & Retailers Cambridge University Press Chapman and Hall Elsevier Science John Wiley & Sons, Inc. Publishers Literary Award Information Macmillan Computer Publishing MIT Press Prentice Hall Quantum Books Springer Science, Germany Springer-Verlag, London Springer-Verlag, New York Springer, LNCS Catalog WordsWorth Books Yahoo: Entertainment, Books Yahoo: Publishers Linux InfoMagic Linux Distribution HOWTO Linux Documentation Project Linux FAT32 Support Linux Laptop Linux on the Toshiba Tecra Resus Linux Music Internet Underground Music Archive Sony Music Vivarin lyrics server Web Wide World of Music WWWoM: Ultimate Band List Yahoo: Entertainment, Music Movies Columbia Music Video Film and Video Resources Film Zone Internet Movie Database Movie Review Query Engine PathFinder Movie Reviews Yahoo: Movies and Films, Reviews Science fiction Alternative Factor: Books Database Doug's Library Douglas Adams Worship Page Hitchhiker's Guide to the Galaxy Future Fantasy Bookstore Future Fantasy Catalog Browser Isaac Asimov FAQ Linkoeping SF & Fantasy Archive OWL Springs Partnership Sci-Fi Channel: The Dominion Science Fiction-Bokhandeln Science Fiction Shop Science Fiction Resources Science Fiction Resource Guide Search SF & Fantasy reviews Science Fiction Reviews Index SF and Fantasy Dungeon SF Good Reading Guide Speculative Fiction Clearing House Tall Tales Homepage The Sci-Fi Connection UK SF Fandom Archives Yahoo: SF, Fantasy, Horror Software & Cracking Astalavista Faith 2000 GameCopyWorld Hacker Hurricane Russian Crack Zone Tazmanian Homepage VatcheWarez FTP Link FTP Exchange CDR Tools Various Half Note Productions - Second CSM Online Funniest mailing list Jokes Jokes in Greek The ONLY Page You Will Ever Need! The Prodigy Ticketmaster Online Volleyball WorldWide Welcome to MTV
WWW Development Ghinsu Code Reduction Ghinsu Code Reduction Module Ghinsu CR: What is Code Reduction? Ghinsu CR: How does it help? Ghinsu CR: How does it work? Ghinsu CR: Constant propagation Ghinsu CR: Expression simplification Ghinsu CR: Statement simplification Ghinsu CR: Current status and future work CAiSE*96 Doctoral Consortium 3rd Doctoral Consortium CFP - CAiSE 96 CAiSE*96 DC: Proceedings Information CAiSE*96 DC: Workshop Programme CAiSE*96 DC: Papers (directory) A+ Art Amber's Free Art Barry's Clip Art Server Barry's Clip Art Server (Webpix) BizCafe htp: An HTML Preprocessor Iconolog 96 Icons 'n Stuff Introduction to HTML Orb: An HTML Preprocessor The Icon Depot Web-Counter Home Page WWW & HTML Tools
Various Toshiba Tecra 500 laptops Pizza Compiler AMS e-MATH Kestrel Institute Emacs font/face files IAM Software Composition Group Laboratory for Applied Logic, BYU GENTLE Compiler Construction Philip Morris Europe The SAMOS Project University Courses C&I Science The Unravel Program Slicing Tool JPP - A preprocessor for the Java language Webmonkey - Teaching Tool Cecil/Vortex Project, Univ. of Washington Match Fonts The Coq Project HOL Documentation The LEGO Proof Assistant Concurrent Clean Hypatia Electronic Library
Latest �� ��, �� Portfolio �� Stocks In �� Computer ALFA Pricelist Greek Education (��) The Haskell Home Page GRAMMARS - An International Journal Mapa de Grups de Recerca de la URV (Grup GRLMC) alt.binaries.pictures utility archive Tucows Windows 95/98 Software TA NEA, �� TA NEA, �� TA NEA, �� Tomb Raider Home Page Tomb Raider IV Online Guide PPDP 2000 Authorlink! About Writers, Writing, Editors, Literary Agents: Main Index INTERNET SCREENWRITERS NETWORK The Writer's Software Companion Studio J2000 Overview The TV Writer Home Page Yahoo! - Entertainment:Movies and Film:Screenplays:Screenwriters' Resources Screenplay Template Maker The Online Communicator: Screenwriting Software Introduction The Script Shop FTP search v3.6 IFI DBIS INFO: Description and Contents of Journals in Computer Science Fabio Paterno Philippe Palanque Anatomical Travelogue
Yahoo! Mail