Search Results - "Computer software."

201

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings /

Published 2009

Subjects: '; “...Computer software....”
Get full text

Electronic

202

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Published 2009

Subjects: '; “...Computer software....”
Get full text

Electronic

203

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

204

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedi...

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

205

Network Science Complexity in Nature and Technology /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

206

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

207

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

208

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

209

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

210

Tests and Proofs 4th International Conference, TAP 2010, Ml̀aga, Spain, July 1-2, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

211

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

212

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /

Published 2009

Subjects: '; “...Computer software....”
Get full text

Electronic

213

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings /

Published 2010

Subjects: '; “...Computer software....”
Get full text

Electronic

214

Automated Deduction CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Published 2013

Subjects: '; “...Computer software....”
Get full text

Electronic

215

Introduction to Time Series and Forecasting

Published 2002

Subjects: '; “...Computer software....”
View fulltext via EzAccess

Electronic

216

Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /

Published 2009

Subjects: '; “...Computer software....”
View fulltext via EzAccess

Electronic

217

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

Published 2013

Subjects: '; “...Computer software....”
Get full text

Electronic

218

Hybrid Metaheuristics 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings /

Published 2009

Subjects: '; “...Computer software....”
Get full text

Electronic

219

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Sl...

Published 2013

Subjects: '; “...Computer software....”
Get full text

Electronic

220

Advances in Cryptology CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I /

Published 2013

Subjects: '; “...Computer software....”
Get full text

Electronic

Narrow Search