4. Computer Science
  Search
Selected: All
All
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 0 1 2 3 4 5 6 7 8 9 ! " $ ' ( ) * , - / : < = > ? @ [ \ ] ^ ` { | } ~ €

Coin-Moving Puzzles

Computer Science – Discrete Mathematics
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Coincidences and the encounter problem: A formal account

Computer Science – Artificial Intelligence
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Computer Science – Software Engineering
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

CoInduction in Coq

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Coinductive big-step operational semantics

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Coinductive Formal Reasoning in Exact Real Arithmetic

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

COINS: a constraint-based interactive solving system

Computer Science – Software Engineering
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cointegration of the Daily Electric Power System Load and the Weather

Computer Science – Computational Engineering – Finance – and Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold climate peat formation in Canada, and its relevance to Lower Permian coal measures of Australia

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold Dark Matter and the Structure of Nearby Spiral Galaxies

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold Dark Matter and the Structure of Nearby Spiral Galaxies - II

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold Disks around Nearby Stars. An overview of the DUNES search for Extra-Solar Kuiper-Belt Analogs

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold dust in galaxies.

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold dust in M31 as mapped by ISO

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold dust in M33

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold dust in M33

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold dust in the interstellar medium

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold electrostatic ion cyclotron waves for preionization and IBW launching in LHD

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Cold Fronts in Groups and Clusters and their Dynamical State in the Optical

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.

Canada

 Charities
 Companies
 MP Candidates
 Patents
 Employee Salary Disclosure

World

 Places of the World
 Scientific Papers

United States

 Banks
 Companies
 Counties
 Patents
 Employee Salary Disclosure