Search Results

1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

2

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /

Published 2010

View fulltext via EzAccess

Electronic

3

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

4

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

5

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDLỚ"03 /

Published 2004

View fulltext via EzAccess

Electronic

6

Objective-C ProgrammerỚ"s Reference

by Oliveira, Carlos.
Published 2013

View fulltext via EzAccess

Electronic

7

Logic Programming with Prolog

by Bramer, Max.
Published 2013

View fulltext via EzAccess

Electronic

8

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers /

Published 2010

View fulltext via EzAccess

Electronic

9

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Published 2010

View fulltext via EzAccess

Electronic

10

Node.js Recipes

by Gackenheimer, Cory.
Published 2013

View fulltext via EzAccess

Electronic

11

Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings /

Published 2010

View fulltext via EzAccess

Electronic

12

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /

Published 2010

View fulltext via EzAccess

Electronic

13

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

14

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

15

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

16

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

17

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /

Published 2013

View fulltext via EzAccess

Electronic

18

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

19

Ada 2012 Rationale The Language, The Standard Libraries /

by Barnes, John.
Published 2013

View fulltext via EzAccess

Electronic

20

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /

Published 2013

View fulltext via EzAccess

Electronic

Narrow Search