 |
Formal Methods Europe (Popularity:  )
http://www.fmeurope.org/
An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.
Category:
Computers - Programming - Languages - Specification
|
 |
Dublin City University (Popularity: )
http://www.computing.dcu.ie
School of Computer Applications. Up to date news and listing of course modules along with lecturers pages and notes. Research areas cover AI, software engineering, formal methods, quantitive methods, language technologies, interoperability, databaseseducational ...
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
University of Texas at Austin (Popularity: )
http://www.cs.utexas.edu/
Department of Computer Sciences. Research areas: Formal Methods; AI and Robotics; Operating, Distributed, and Software Systems; Networking and Multimedia; Compilers, Architecture, and Technology; Theoretical Computer Science; Graphics and VisualizationComponent ...
Category:
Computers - Computer Science - Academic Departments - North America
|
 |
SRI International (Popularity: )
http://www.csl.sri.com/
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
Category:
Science - Math - Logic and Foundations - Institutions
|
 |
Buy Party and Formal Dress (Popularity: )
http://www.9throse.com/
The right format dress can complement you appearance while attending different types of formal gatherings and events. But you must browse through several online dress collections to pick a formal dress that suits your appearance and personality.
Category:
Shopping - Clothing
|
 |
Related:
Non-formal
- Formal
- Formal Rush
- Formal Outline
- Non-formal Education
Formal Men Shirts In India (Popularity: )
http://www.peprismine.com
Formal men shirts in India - Formal shirts for men online from peprismine are the must have's in every mens wardrobe. While you buy shirts online, cotton shirts in India, men shirts online in India make sure you get well fitted formal stylish shirts for ...
Category:
Shopping - Clothing
|
 |
University of Stirling (Popularity: )
http://www.cs.stir.ac.uk/
Department of Computing Science and Mathematics. Research groups in computing: Applied formal methods; Neural computing; Telecommunications service engineering.
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
University of New South Wales (Popularity: )
http://www.cse.unsw.edu.au/
School of Computer Science and Engineering. Major research areas include machine learning, VLSI design, multimedia databases and formal methods in software engineering.
Category:
Computers - Computer Science - Academic Departments - Oceania
|
 |
Udine, University of (Popularity: )
http://www.dimi.uniud.it/
Department of Mathematics and Computer Science. Research areas include databases, software engineering, medical informatics, artificial intelligence, programming languages, formal methods, robotics, and computer vision.
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
Mlabel Formal Evening Dresses (Popularity: )
http://www.mlabel.com.au/
Mlabel is an Australian owned manufacturer of in stock and CUSTOM made formal dresses, destributing worldwide. We have our own collection of in stock dresses that you can order an recieve in 3-5 days, custom made dresses take 3-4 weeks. We offer almost ...
Category:
Shopping - Clothing
|
 |
University of Leicester (Popularity: )
http://www.mcs.le.ac.uk/
Department of Mathematics and Computer Science. The Computer Science group specializes in Semantics, Formal methods, Software engineering, Complexity theory and Finite model theory.
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
Using Z: Specification, Refinement, and Proof (Popularity: )
http://www.usingz.com/
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]
Category:
Computers - Programming - Languages - Z
|
 |
Rome, University of (Popularity: )
http://www.dsi.uniroma1.it/
Computer Science Department. Research areas include algorithms, computer architecture, computer networks, combinatorics, computational complexity, database theory and management, formal methods, paradigms of computation, pictorial and linguistic computation ...
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
The Stiff Collar (Popularity: )
http://thestiffcollar.com/
The Stiff Collar is leading Clothing Brand for Men casual and formal shirts in India. Stiff collar is specializing for cotton and linen shirts. Buy casual and formal shirts online. TSC Offers the best quality Formal shirts for men online in india. Buy ...
Category:
Shopping - Clothing
|
 |
Boys Tuxedos - Boys Suits - Boys Formal Accessories (Popularity: )
http://www.tinytux.com/
We are your boys formal wear headquarters! Whether you are looking for boys suits, boys tuxedos or a simple boys vest and tie set we have what you need. With the many options we have available for sizing and styles in our tuxedos and suits for boys you ...
Category:
Shopping - Clothing
|
 |
Becky's Bridal & Formal Fabrics (Popularity: )
http://www.beckysbridalformalfabrics.com
Selling bridal and formal fabrics to the apparel industry direct from their warehouse at wholesale prices.
Category:
Business - Textiles and Nonwovens - Textiles - Fabrics
|
 |
IPSA Committee on Concepts and Methods (Popularity: )
http://www.concepts-methods.org
The Committee on Concepts and Methods (C&M) of the International Political Science Association strives to promote methodological discussion that takes seriously both concept analysis and qualitative methods.
Category:
Science - Social Sciences - Political Science - Organizations
|
 |
Premier Formal Wear (Popularity: )
http://www.premiertuxedos.com/
Tuxedos, wedding tuxedos, tuxedo accessories, cufflinks and men's formal wear.
Category:
Shopping - Clothing - Formal Wear - Men's
|
 |
British Columbia, University of (Popularity: )
http://www.cs.ubc.ca/
Department of Computer Science. Research areas include computer graphics, artificial intelligence, database systems, distributed systems, educational technologies, formal methods for critical systems, integrated systems, scientific computation and visualization ...
Category:
Computers - Computer Science - Academic Departments - North America
|
 |
Saarland, University (Popularity: )
http://www.cs.uni-sb.de/
Department of Computer Science. Areas of research include combinatorics, computational geometry, compilers for real-time embedded systems, formal modelling of circuits, computer architecture, description and planning logics, formal grammars, cryptography ...
Category:
Computers - Computer Science - Academic Departments - Europe
|
|
