Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Hybrid Systems III
heftet,
1996,
Engelsk,
ISBN 9783540611554
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in …
Genetic and Evolutionary Computation — GECCO 2003
heftet,
2003,
Engelsk,
ISBN 9783540406037
These proceedings contain the papers presented at the 5th Annual Genetic and EvolutionaryComputationConference(GECCO2003).Theconferencewasheld in Chicago, USA, July 12-16, 2003. A …
Computer Aided Verification
heftet,
2004,
Engelsk,
ISBN 9783540223429
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of …