Search Results - "Programming Techniques."

361

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

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

362

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

363

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: '; “...Programming Techniques....”
Get full text

Electronic

364

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

365

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

366

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25May 1, 2010, Revised Selected Papers /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

367

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

368

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

369

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

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

370

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2...

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

371

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

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

372

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

373

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

374

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

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

375

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

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

376

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

377

High Assurance Services Computing

Published 2009

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

378

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

Published 2010

Subjects: '; “...Programming Techniques....”
Get full text

Electronic

379

Synthesis and Optimization of DSP Algorithms

by Constantinides, George A., Cheung, Peter Y. K., Luk, Wayne.
Published 2004

Subjects: '; “...Programming Techniques....”
View fulltext via EzAccess

Electronic

380

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

Published 2009

Subjects: '; “...Programming Techniques....”
View fulltext via EzAccess

Electronic

Narrow Search