Bookmarks for Pascal Andre
Search
- Welcome to AOL.COM
- TROUVEZ!
- Voilà - votre point de départ sur Internet
- LES PAGES WEB : Bienvenue !
- Classement par régions
- AltaVista: Main Page
- W3 Catalog History
- http://www.cybermax.fr/recherches/tops.htm
- Cyber Communication - Outils de recherches
- http://www.cybermax.fr/recherches/
- CUI W3 Catalog
- Infoseek Guide
- La France
- Formulaire d'Interrogation WAIS
- Effectuer une recherche Archie
ANNUAIRES
- Fac des Lettres et Sc. Humaines - Nantes
- VOILA - LES PAGES JAUNES - les annuaires de France Telecom, Pages jaunes, Pages Blanches, Les marques, Les rues commercantes, Les pages pro, Adresses E-mail, Voila, assistance de cartographie
- Eu-Info France
- L'annuaire Electronique sur le Web
- Services
- Page sommaire de l'application Alapage
- Le Minitel: l'annuaire électronique sur Internet
- L'annuaire Electronique sur le Web (Minitel)
- L'annuaire Electronique sur le Web
Université
- http://www.sciences.univ-nantes.fr/info/Login/
- Accueil IUT de NANTES
- Université de Nantes
- Cri de l'universite de Nantes
- Le catalogue de la B.U. de Nantes
- www.lettres
- Page WEB de Pascal en LEA
- Palissy - Fac. Lettres & Sc. Humaines - Nantes
COTEIVOIRE
- Ivoire-Contact : INP-HB
- Yamoussoukro
- CI Linx
- Cote d'Ivoire
- L'enseignement supérieur
- Ivoire-Contact : INP-HB
- Cote d'Ivoire
- COTE D'IVOIRE
- Cote d'Ivoire
- Côte d'Ivoire Homepage
- Africa Online (Côte d'Ivoire)
- Africa Online - Côte d'Ivoire: Affaires & Finance
- Page de garde INP-HB
- Education, recherche et culture en Afrique subsaharienne
- Le Site Officiel de la Présidence de la République de Côte d'Ivoire
- Multi F contact
- COTE D'IVOIRE - Bureau Economique en France
NANTES
- ou-sortir/INDEX
- Nantes- CyberNantes: Guide et annuaire pour Nantes. Tous les sites nantais et 44
- Edit de Nantes - Intro
- Region Pays de la Loire - Version Française
- Carte de la Région Pays de Loire
- Cité des Congrès - Nantes Atlantique
- Ville de Nantes - Serveur Officiel
- Nantes Atlantique
- Bienvenue au DESS de Genie Informatique de Nantes
Ministere
- admiFrance - L'annuaire des sites internet de l'administration française
- La coopération internationale [France - diplomatie]
- Coopération scientifique et technique
- IBISCUS : Information sur les pays en développement
- Site IBISCUS
- Journal Officiel 21 Mars 1999
- Ministère de l'Education: enseignement supérieur
- Journal Officiel 21 Mars 1999
- Ministère de l'Économie, des Finances et de l'Industrie-République Française
- Rapport d'information n° 5 - L'épargne retraite des fonctionnaires
- Salaires des enseignants-chercheurs
- Bienvenue sur le site Internet des Journaux officiels
Britany
- Bardonlee Holdings- Property specialists in Brittany, France.
- Bienvenue sur grandWest
- BRETAGNE Page d'accueil
- BRETAGNE La Carte du Morbihan
- Art City eng.
- BRETAGNE Page d'accueil
- HO BREIZH !! MA BRO ME C'HALON
LOISIRS
- Melrand
VOYAGES
- TahitiWeb: Internet guide to Tahiti
FOOT
- FRANCE 98 - Coupe du Monde - World Cup (Official Site)
- Euro96 on the Web
EMPLOI
- Association Bernard Gregory
- Offre d'emploi
- Emplois : la course
- Jobs
- CareerMosaic Page 1
- Bienvenue sur le Web de La Recherche
- AAS Job Register - June - 1996
- BIENVENUE A LA CEGOS
- Carrières
- Chercher un emploi sur Internet
- Consulter la Base
- JOB ON LINE
- Pré-DOC, DOC, ou Post-DOC.
OBJECT ORIENTATION
- Information on Object-Orientation
- No Title
OBJECT PROGRAMMING LANGUAGES
- Smalltalk by Example
SMALLTALK
- Object Oriented and Smalltalk Sites
- Introduction to VisualWorks: An Application Approach
- Jeff McAffer's Smalltalk links
- Smalltalk HTML Files
- Smalltalk HTML Files
- Antoine BEUGNARD's Bookmarks
- Smalltalk/X Documentation Electronique
- Index of /languages/smalltalk/
- Smalltalk/X
- Index of /languages/smalltalk/Smalltalk/stx/
- Smalltalk/X Online Documentation
- Smalltalk Store - Smalltalk Freeware Project
C++
- Programmation orientée objet en C++
- Eiffel: An Advanced Introduction - by A. Snyder & B. Vetter
- A Beginners C++
- GNA OOP/C++ - Tutorial
- LETOOL (Action)
OOPPL
- Nanshan Zeng's Home Page
- Yonezawa Lab Papers
- Francois PACHET's Bookmarks
- Object-Oriented Parallel Programming
- Concurrency and Formal Methods Group
- http://theory.stanford.edu/people/jcm/cs358-96/
- http://theory.stanford.edu/people/jcm/cs358-96/
- Concurrency
- A Comparison of Object Oriented Development Methodologies
- UML for Real-Time Systems Design
DEMETER
- FTP Directory: ftp://ftp.ccs.neu.edu/pub/
- Theses Home
- Karl Lieberherr's WWW Home
- Demeter's WWW Home
SYNTROPY
- Lycos search: syntropy
- ODL courses
- Index to Object-Oriented Information Sources
Formal Methods
- Jeannette M. Wing
- Larch
ASM
- Egon Boerger (home)
- Abstract State Machines - Europe
- J.UCS Vol. 3, No. 4, April 28, 1997 (Special Issue)
TAD
- Martin Odersky's Papers
- Recent Publications
- On-line publications of Nachum Dershowitz
- CAOTAD : CAO de Types Abstraits de Données.
- Using Algebraic Specification Languages for Model-Oriented Specifications
- AltaVista Search: Simple Query course abstract data types
BUG
- Index of /ESTAS/BUG/WWW/BNantes/
- B User Group Home Page
- Publications - Gianna Reggio
- Publications of Gianna Reggio Available by Ftp
LOTOS
- Dr. Robert Clark's Home Page
- LOTOS
- LOTOS: A Formal Language to Specify Communications Protocols
- Formal Methods and Theory Research Group
- Fallstudie Fertigungszelle
- Formal Methods Publications
- Formal Methods Research Festival
- Manchester Uni Formal Methods Group - Cliff Jones
- Recent Publications
- SDL
- The World Wide Web Virtual Library: Formal Methods
- The World Wide Web Virtual Library: The Z notation
- The steam boiler specification problem
- VDM Examples Repository
- VDM Overview
CONCURRENCY
- Introduction to the temporal logic CTL* and the µ-calculus
- workmodels
- Temporal logic
CORBA
- Home Page for Ross Garrett Cutler
- Fundamental Objects ActiveX Examples, Tips & Tricks
- Microsoft Visual C++ OLE FAQ
- Introduction
- Help Contents
- Writing a DLL in C++
- 16-Bit DLL Tutorial
- Concurrent Object Oriented Programming
- Concurrent Object-Based Programming Languages (COBPL)
STATECHARTS
- Trans. SE: Abstract: Completeness and Consistency in Hierarchical State-Based Requirements
- Statecharts on the Web
- David Harel's home page
- Statechart Concurrence, Multi-threading, Multi-Processing, Parallelism
PETRI
- Petri Nets Research Sites
- GreatSPN home page - Dipartimento di Informatica - Università di Torino
- New FTP-able version of PEP
- PNtalk System
- PNtalk System Download
- Petri Nets References
- Petri Nets Research Sites
- Visual SimNet Homepage - The freeware stochastic Queueing & Petri Net Simulator
- PNtalk Project
- Petri Nets Tools Database
- LEDA - Download Form (Research)
- Les nouvelles
GDR
- Journes du groupe SVS
- GDR I3
- Journées du GDR de Programmation 1996
CONTACTS
- ECOLE TEST ET VALIDATION
LISTES
- The EAPLS Mailing list ( 9-Oct-1995)
ENAC
- Ecole Nationale de l'Aviation Civile: serveur Web
French Laboratories
- Laboratoire I3S CNRS UNSA
- INRIA - Rapports et thèses
- Le serveur Web de l'Ifsic
- Inria Sophia Antipolis - Centre de Documentation
- Poles de recherche (francais)
- LaBRI
- Enseignement
- FTP Directory: ftp://ftp.lri.fr/LRI/articles/
- LRI, Orsay
- "Babes-Bolyai" University
COURSES
- Gilles Dowek
- Cours d'Informatique
- Transparents du cours TAL de l'EPFL
- Courses available
- Cours Structures de données
FREEWARE
- ! GRATISSIMO.com l' Annuaire du web gratuit : le meilleurs services gratuits sur l'internet
- FTP Directory: ftp://ftp.ibp.fr/pub/mac/info-mac/_Communication/html/
- Index of directory: /home/ins/linux/globallinux/packages/bibcard-1.0/
- /public/ftp/pub/Linux/apps/tex
- 20. Are there any freeware chess games for the Mac?
- shareware.com -- the way to find shareware on the Internet
- the VSL has moved
- x2ftp.oulu.fi - gamesrc
- FTP Directory: ftp://ftp.ibp.fr/pub/
- FTP Directory: ftp://ftp.ibp.fr/pub/pc/x2ftp/msdos/programming/windows/
- Download Page for Game of the Winds
- Index of /pub/pc/win95
- FTP Directory: ftp://ftp.univ-nantes.fr/pub/www/lynx/
CLIPARTS
- ASCII art gallery
- Search ALL Clipart Collections on this Server
- Clip Art Review
- Barry's Clip Art Links
- Barry's Clip Art Server
- Anthony's WWW Images
- Index of /pub/pics/clipart/
- Images and Icons
- Brent's WWW Image Browser
- HTML Helps
- PLANET EARTH HOME PAGE - IMAGES SECTION
- The Icon Browser
- ClipArt
- Yahoo! - Computers and Internet:Multimedia:Pictures:Clip Art
- Digital Image Archives, PH
MICROSOFT
VISUAL C++
- MFC Debugging Support
- Microsoft Site Search Results: ODBC -
- MSDN Online Library
- Microsoft Technical Support Search Results
- Visual C++ - Lieux d'échanges
- Microsoft Technical Support--Advanced Support Options
- Visual C++ - Lieux d'échanges
- Outils de développement MSDN - Microsoft France
- Visual C++ et les MFCs
- Obtaining Technical Support
- MSDN Online Library
- Introduction
- Microsoft Word Internet Tools
- Microsoft Site Builder Workshop
- Microsoft Site Builder Workshop
- Microsoft Corporation
- HTML Editors for Windows
MULTIMEDIA
- Multimedia Authoring Systems
- Multimedia Authoring Systems
- Commercial Multimedia Producers
- projet projet.22
- Multimedia Authoring Systems FAQ
- CNAM - MPCA: Bonnes adresses EAO
- Paradesa Media présente APPRENDRE L'INTERNET
- APPRENDRE L'INTERNET: Intranets
- W3 Catalog History
- Un nouveau guide d'Internet - Carte des fournisseurs français grand public
- Centre suisse des technologies de l'information dans l'enseignement - CTIE
- Les publications de l'ingénierie éducative
- CNDP - Note Technique N° 28 - Les bases du langage HTML
- The AWARE / Authorware page
- Dossier "UN MULTIMÉDIA POUR L‘ENSEIGNEMENT ?"
- Aide
INTERNET
QCM
- Index of /public_html
- cgic: an ANSI C library for CGI Programming
- Enquêtes auprès des utilisateurs finaux Européens
- Questionnaire Netsurfer
- Sondages : Extraits Utilisateurs Européens
- Enquête Earth Watch
- QCM
- UCL/SRI - Questions à choix multiple
PROVIDERS
- Fournisseur d'accès Internet : Easynet France
- CELYA SA
- FRIAP - Index
- Le Web de FranceNet
- Association Infini: Page d'accueil
- Internet: Fournisseurs d'accès
- CITELIS : ACCUEIL
- http://www.cybercom.fr/
HTML
- FDN - Documentation sur le Web
- Cours et Tutoriaux de l'UREC
- Comprendre l'Internet : mini glossaire
- Mac FTP Clients
- Dartmouth Software Development
- NCSA Telnet for the Macintosh User's Guide
- NCSA Information Technologies Division (ITech)
- AltaVista: Simple Query claris homepage introduction software
- Claris HomePage: Introduction
- Accueil FileMaker Inc. France
- Intranet
- Entretien avec TRANSPAC
- Bases de donnée & Web
- Vocabulaire d'Internet Plus
- Apache: Red Hat Linux Web Server
- (La)TeX navigator
LATEX2HTML
- Index of /nikos/tex2html/doc
- All About LaTeX2HTML
- mapedit 1.1.2
- mapedit 1.1.2
- Mapedit for X version 1.1.2
- mapedit 1.5 for the X Window System
- Stage d'initiation à Internet
- The LaTeX2HTML Translator
- Tutorial HTML
- LOR INT, FRANCE
- Pages personnelles : Making of
- Chapitre " Manuel HTML "
- Adobe Acrobat Overview
- Cours d'hypertexte pour les enseignants
- Web Site Story (French)
- Cours HTML - CRI - UNSA
- Formation HTML
- Un nouveau guide d'Internet - Écrire sa page Web
- Un nouveau guide Internet - Table des matières -
- Chapitre " Manuel HTML "
UML
- Argo/UML: Free Object-Oriented Design Tool w/ Cognitive Support
FM_UML
- Index
- Publications
- Natalie Liabakh
- TROLL - Development of an Object-oriented Specification Language for Information Systems Design
- Logical Semantics for CafeOBJ
- Carrefour Cetus: Liens vers l'Orienté Objet -
- LIGLOO - Cours Oriente Objet
- Algebraic Semiotics
- Martin Wirsing
- Argo/UML: Free Object-Oriented Design Tool w/ Cognitive Support
- http://www.forsoft.de/~rumpe/ecoop97-ws/submissions.ascii
- Workshop: UML Semantics FAQ - Call For Participation
- FME Tools Database
- The Rose-VDM++ Link
- UML'99 home page
- LMO 99 HomePage
- The pUML group
- Accueil
- Contributions
- Download Now!
- Introduction au langage UML
- Object Analysis and Design with UML: Master OO Design and Analysis
- Object Oriented Development with the UML - Course Contents
- UML and OMT Modeling Course
MEDIA-CONF
- 1998 ACM Computing Classification System:
CONFERENCES
- FME 96
- EPFL DI LBD - LMO96
EDITEURS
- John Wiley & Sons, Inc., Publishers
- ITP Systems
- Handbook of Theoretical Computer Science
- Bob Monroe Research
- InterEditions
- Livres sur (La)TeX
- ETA reviews JAVA Examples in a Nutshell, D Flanagan. O'Reilly. ETA Online
- www.oreilly.com -- Welcome to O'Reilly & Associates! -- computer books, software, online publishing
- BIENVENUE A ELLIPSES MARKETING EDITIONS ; SCOLAIRE, PARASCOLAIRE ET MULTIMEDIA
- Bibliothèque centrale de l'EPFL/Edition
- LE CATALOGUE VUIBERT
- EDITIONS EYROLLES livres informatique, management, BTP, sciences, vie pratique
- CONSULTER LES CATALOGUES DES EDITEURS
- Bienvenue chez DUNOD EDITEUR
- DUNOD Editeur - Accueil Auteurs
- ERROR: The requested URL could not be retrieved
- SOMMAIRE GENERAL VUIBERT
- LE CATALOGUE VUIBERT
- EDITIONS HERMES
- EDITIONS HERMES
- Formulaire de recherche de livres
- Editeurs
JOURNAUX
- IEE Proceedings - Software
- Software Engineering Journal
- The British Computer Society - Publications
- Yuen Tak YU's Bookmark: Journals
- Journal of Computer and System Sciences
- Yuen Tak YU's Bookmark: Journals
- Automated Software Engineering
- Computer and Information Science
- 01 Informatique
- Multimédium - Dossiers
- Multimédium
REVUES
- Theoretical Computer Science
- BTTJ
- SIGS Publications and Conferences
- JOOP
- ACM: Journals and Magazines
- ACM: Digital Library Tables of Contents
- IEEE Transactions/Journals/Letters Preview
- IEEE Journals & Magazines
- Adaptable Object-Oriented Software Systems
- FTP Directory: ftp://ftp.ccs.neu.edu/pub/journals/
- http://www.wiley.com/Compbooks/object/index.html
- Formal Aspects of Computing Journal
TV
- A Guide to French Media: Print Media - France . com (tm)
- Page d'accueil France 3 en ligne
- M6 - Bienvenue sur le site de M6
- ARTE
- Animation e=M6
- Sommaire Internet France 2
RADIO
- A Guide to French Media: Print Media - France . com (tm)
- Radio France
- GRILLE CHERIE FM
Personal Toolbar Folder
- Members
- WebMail
- Connections
- BizJournal
- SmartUpdate
- Mktplace
- Dagstuhl Seminar No. 99241
- Papers
- Spatial Processes and Management of Fish Populations (symposium)
- Larch Frequently Asked Questions
- business center côte d'ivoire
- AWL Higher Education Europe
- LORIA : EQUIPES - DEDALE
- Archives GUTenberg
- Calls for Papers Archive
- LMO 2000