Search Results - "Programming Techniques."

341

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Published 2009

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

Electronic

342

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, Novemb...

Published 2009

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

Electronic

343

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

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

Electronic

344

The Deductive Spreadsheet

by Cervesato, Iliano.
Published 2013

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

Electronic

345

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

Published 2013

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

Electronic

346

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings /

Published 2013

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

Electronic

347

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /

Published 2013

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

Electronic

348

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /

Published 2013

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

Electronic

349

Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /

Published 2009

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

Electronic

350

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /

Published 2009

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

Electronic

351

Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings /

Published 2009

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

Electronic

352

Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings /

Published 2009

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

Electronic

353

Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings /

Published 2009

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

Electronic

354

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

Published 2009

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

Electronic

355

Software Engineering for Self-Adaptive Systems

Published 2009

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

Electronic

356

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /

Published 2009

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

Electronic

357

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

358

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Published 2009

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

Electronic

359

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

Published 2009

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

Electronic

360

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

Published 2010

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

Electronic

Narrow Search