GeaBios (Popularity: )

Geo enabled and better internet oriented services. Maps of Slovenia, Slovenia in brief, and tide ...
Category: Science\Social Sciences\Geography\Geographic Information Systems

Math Symbolic Library (Popularity: )

Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource]
Category: Science\Math\Algebra\Software

TransEDA (Popularity: )

Provider of ready-to-use verification solutions for the SoC (system-on-a-chip), ASIC (application-specific integrated circuit) and FPGA ...
Category: Science\Technology\Electronics\CAD

University of Vienna (Popularity: )

Institute of Logic.
Category: Science\Math\Academic Departments\Europe

ISMVL 2002 (Popularity: )

Boston, Massachusetts, May 15-18, 2002.
Category: Science\Math\Logic and Foundations\Meetings

iMODL (Popularity: )

The iValidate toolset comprises ready-to-use functional verification tools and simulation models.
Category: Science\Technology\Electronics\Design

World Congress on Universal Logic (Popularity: )

1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, ...
Category: Science\Math\Logic and Foundations\Meetings

Marcos, João (Popularity: )

State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
Category: Science\Math\Logic and Foundations\People

Synopsys, Inc. (Popularity: )

Develops, markets and supports high level design automation software for designers of integrated circuits and ...
Category: Science\Technology\Electronics\CAD

Translation Information website (Popularity: )

Translation resources: links to translation theory resources, tools, online dictionaries, and translation field tests.
Category: Science\Social Sciences\Linguistics\Translation

(Austria) University of Vienna (Popularity: )

Department of Formal Logic.
Category: Science\Math\Logic and Foundations\Institutions