Søgeresultater - bioinformatics a ((((basics spaces) OR (based spaces))) OR (basics sources)) euclidean spaces~

Søg alternativer:
bioinformatics a » bioinformatics _, bioinformatics https
euclidean spaces » euclidean space
basics sources » basics resources , basic source , basics series
basics spaces » basics series
based spaces » based space , based species , based sales

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Containment -- QBF-Based Symbolic Model Checking for Knowledge and Time -- A Characterization of the Language...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Udgivet 2014

Indholdsfortegnelse: “... Implementation of a Hopfield Neural Structure -- Neural-Network Based Robust FTC: Application to Wind Turbines...”
Få fuldtekst

Electronisk eBog

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Space -- Swarm Robotics Obstacle Avoidance: A Progressive Minimal Criteria Novelty Search-based Approach...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning