Search Results - "Programming"

421

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Published 2009

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

422

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

Electronic

423

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Published 2010

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

424

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

Published 2010

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

425

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

426

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

427

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

428

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

Published 2010

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

429

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

430

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

Published 2010

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

431

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 Languages, Compilers, Interpreters....”
Get full text

Electronic

432

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

Published 2010

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

433

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

434

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

435

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

Published 2010

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

Electronic

436

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

Published 2010

Subjects: '; “...Programming Languages, Compilers, Interpreters....”
Get full text

Electronic

437

Synthesis and Optimization of DSP Algorithms

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

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

Electronic

438

Linear Optimization The Simplex Workbook /

by Hurlbert, Glenn.
Published 2010

Subjects: '; “...Operations Research, Mathematical Programming....”
Get full text

Electronic

439

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W<U+00fc>rzburg, German...

Published 2009

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

Electronic

440

Object Oriented Simulation A Modeling and Programming Perspective /

by Garrido, Jos ̌M.
Published 2009

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

Electronic

Narrow Search