Formal Methods Europe
Computers - Programming - Languages - Specification. An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contai ...
www.fmeurope.org
Southern University System
Reference - Education - Colleges and Universities - North America - United States - Louisiana - Southern University System. Contains information about the system plus links to each university in the s ...
www.sus.edu
University System of Maryland
Reference - Education - Colleges and Universities - North America - United States - Maryland - University System of Maryland. Main page for the whole system, which includes 11 colleges and universitie ...
www.usmd.edu
University of the Philippines System
Reference - Education - Colleges and Universities - Asia - Philippines - University of the Philippines. The Philippines' premier institution of higher learning. Links to all autonomous units and syste ...
www.up.edu.ph
University of Missouri System
Reference - Education - Colleges and Universities - North America - United States - Missouri - University of Missouri. Publicly-funded system operates universities across the state of Missouri. ...
www.umsystem.edu
Virginia Community College System
Reference - Education - Colleges and Universities - North America - United States - Virginia - Two-Year Colleges. Official website for the 23 college system. ...
www.vccs.edu
Texas Tech University System
Reference - Education - Colleges and Universities - North America - United States - Texas - Texas Tech University. Research II institution comprising Texas Tech University, Texas Tech University Healt ...
www.texastech.edu
S System
Science - Math - Statistics - Software - S. Language and system to organize, visualize, analyze data. A Bell Labs statistics research project, since 1976, this is the foundation and origin of S, S-Plus, and R. Information on relationship among them; descriptions, history, links. ...
cm.bell-labs.com
The UT System Crash Course in Copyright
, copyright and digitization, library exemptions, the UT-System Rules of Thumb for electronic reserves, and online materials from UT System copyright presentations. ...
www.utsystem.edu
The Way of Z: Practical Programming with Formal Methods
Computers - Programming - Languages - Z - Books. By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [Universi ...
staff.washington.edu
NuPrl Proof Development System
expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics... of its formal specification, graphical proof editor. NuPrl was successfully used in verifying components of the Ensemble group communications system. ...
www.cs.cornell.edu
The Leibniz Software System
Computers - Artificial Intelligence - Machine Learning - Software. A formalsystem for constructing artificial intelligent software agents from the book, 'Design of Logic-based Intelligent Systems' covering such topics as production rules, neural nets, support vector machines, fuzzy logic, and Bayesian ...
www.utdallas.edu
Formal Den
Regional - North America - United States - Maryland - Localities - H - Hagerstown - Business and Economy. A tuxedo and bridal shop offering formal wear rental and sales. Includes catalogs, measurement ...
www.formalden.com
Mr. Formal
Regional - North America - United States - Regions - West - Business and Economy - Shopping. Provides rentals and sales of formal wear for weddings, proms and other special events. Includes a catalog ...
www.mrformaltuxedos.com
The Metric System
Science - Reference - Units of Measurement. Outline of the metric system with emphasis on applications in physics. ...
www.essex1.com
System of a Down
Arts - Music - Bands and Artists - S - Sy - System of a Down. Official site. Features news, tour dates, information about the band, music videos and lyrics. ...
www.systemofadown.com
XML Schema: Formal Description
Computers - Data Formats - Markup Languages - XML - Validation - XML Schema - Standards Documents. Formalization of a formal, declarative system for describing and naming XML Schema information, speci ...
www.w3.org
The System of Yeats's
Arts - Literature - Authors - Y - Yeats, William Butler. An attempt to offer a clear and helpful guide to the ideas of A Vision. Explores this esoteric system created by George and W. B. Yeats around ...
www.yeatsvision.com
Formal Affair
Regional - North America - United States - Massachusetts - Localities - M - Millbury - Business and Economy. A complete guide for wedding planning in New England featuring a large directory merchants, ...
www.formalaffair.com
Formal Grammars and Languages
Computers - Computer Science - Theoretical - Formal Language Theory - Context Free Languages. A survey article on formal systems that define families of formal languages arising in many computer science applications with primary focus on context-free languages. ...
www.cs.ucr.edu
Formal Languages and Compilers
Computers - Computer Science - Theoretical - Formal Language Theory - Context Free Languages. Course notes onthe definition of formal languages and the use of context free languages in compiler construction. ...
shekel.jct.ac.il
Formal Language Theory
Computers - Computer Science - Theoretical - Formal Language Theory. An introductory approach to the topic using many examples. ...
everything2.com
Formal Language Theory
Computers - Computer Science - Theoretical - Formal Language Theory. A lecture on grammars, generating languages from grammars, the Chomsky classification and derivation trees. ...
www.inf.unibz.it
Formal Methods Educational Materials
Science - Math - Logic and Foundations - Education. A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects. ...
www.cs.indiana.edu
top
