Professional business directory

Find the best businesses and services near you. Discover verified companies across all industries.

Category: computing

computing Oct 16

FASCINATING COUNTRY IN THE WORLD OF COMPUTING, A: YOUR GUIDE TO AUTOMATED REASONING - WOS LARRY & PIEPER GAIL W

AUTHOR AFFILIATION : ARGONNE NAT'L LAB, USA PUB DATE : 30-Nov-99 ONLINE RELEASE DATE : 8-Jul-0

View Details
computing Oct 16

HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 2: APPLICATIONS, LANGUAGES AND TOOLS - ROZENBERG G ET AL

AUTHOR AFFILIATION : LEIDEN UNIV, THE NETHERLANDS PUB DATE : 20-Oct-99 ONLINE RELEASE DATE : 3

View Details
computing Oct 16

FUNCTIONS, OBJECTS AND PARALLELISM: PROGRAMMING IN BALINDA K - YUEN CHUNG KWONG

AUTHOR AFFILIATION : NUS, S'PORE PUB DATE : 23-Sep-99 ONLINE RELEASE DATE : 7-Dec-10 Print

View Details
computing Oct 16

SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS - LING NAM ET AL

AUTHOR AFFILIATION : SANTA CLARA UNIV, USA PUB DATE : 5-Aug-99 ONLINE RELEASE DATE : 5-May-11

View Details
computing Oct 16

ALGORITHMS: DESIGN TECHNIQUES AND ANALYSIS - ALSUWAIYEL M H

AUTHOR AFFILIATION : KING FAHD UNIV OF PETROLEUM & MINERALS (KFUPM), SAUDI ARABIA PUB DATE : 30-A

View Details
computing Oct 16

HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION - ROZENBERG G ET AL

AUTHOR AFFILIATION : LEIDEN UNIV, THE NETHERLANDS PUB DATE : 30-Aug-99 ONLINE RELEASE DATE : 1

View Details
computing Oct 16

SOFT COMPUTING IN SYSTEMS AND CONTROL TECHNOLOGY - TZAFESTAS S G

AUTHOR AFFILIATION : NATIONAL TECHNICAL UNIV OF ATHENS, GREECE PUB DATE : 21-May-99 ONLINE REL

View Details
computing Oct 16

PARALLEL ALGORITHMS FOR KNAPSACK TYPE PROBLEMS - MEGSON G M ET AL

AUTHOR AFFILIATION : UNIV OF READING, UK PUB DATE : 1-Jun-99 ONLINE RELEASE DATE : 21-Sep-10

View Details
computing Oct 16

ADAPTIVE METHODS OF COMPUTING MATHEMATICS AND MECHANICS: STOCHASTIC VARIANT - IVANOV V M ET AL

AUTHOR AFFILIATION : ST PETERSBURG STATE TECHNICAL UNIV, RUSSIA PUB DATE : 19-Apr-99 ONLINE RE

View Details
computing Oct 16

CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION - DIACONESCU RAZVAN ET AL

AUTHOR AFFILIATION : JAPAN ADVANCED INST OF SCIENCE & TECHNOLOGY, JAPAN PUB DATE : 30-Jun-98 O

View Details
computing Oct 16

OBSTACLE AVOIDANCE IN MULTI-ROBOT SYSTEMS, EXPERIMENTS IN PARALLEL GENETIC ALGORITHMS - ZOMAYA ALBERT Y ET AL

AUTHOR AFFILIATION : UNIV OF WESTERN AUSTRALIA, AUSTRALIA PUB DATE : 17-Jun-98 ONLINE RELEASE

View Details