Suggested Topics within your search.
Showing 321 - 340 results of 366 for search '"PROGRAMMING LANGUAGE"', query time: 0.04s Refine Results
321
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
322
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
323
Mastering Scale and Complexity in Software Reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
324
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
325
SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
326
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
327
Building Arduino Projects for the Internet of Things : Experiments with Real-World Applications /
by Javed, Adeel.
Published 2016
Subjects: “...Programming languages (Electronic computers)....”
eBook
328
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
329
Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
Get full text
eBook
330
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
331
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
332
Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
333
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
334
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
335
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
336
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
eBook
337
Distributed Embedded Control Systems : Improving Dependability with Coherent Design /
by Colnaric, Matjaž., Verber, Domen.
Published 2008
Subjects: “...Programming languages (Electronic computers)....”
eBook
338
String Analysis for Software Verification and Security /
Subjects: “...Programming languages (Electronic computers)....”
eBook
339
Harley Hahn's Emacs Field Guide
by Hahn, Harley.
Published 2016
Subjects: “...Programming languages (Electronic computers)....”
Get full text
eBook
340
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P 3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /
Published 2017
Subjects: “...Programming languages (Electronic computers)....”
Get full text
eBook
Search Tools: Get RSS Feed — Email this Search