Books on the topic 'CA-Realizer (Computer program language)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 25 books for your research on the topic 'CA-Realizer (Computer program language).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Straley, Stephen J. Straley's guide to programming with CA-realizer. Sirius Press, 1995.
Find full textAPL 2003 (2003 San Diego, Calif.). APL 2003 "Stretching the Mind": San Diego, CA, June 11, 2003-June 14, 2003. ACM Press, 2003.
Find full textTRI-Ada, (Conference) (1995 Anaheim Calif ). Proceedings, Tri-Ada '95: Disneyland Hotel, Anaheim, CA, Ada's role in global markets : solutions for a changing complex world. Association for Computing Machinery, 1995.
Find full textSIGAda, International Conference (1999 Redondo Beach Calif ). ACM SIGAda Annual International Conference (SIGAda'99): Proceedings, October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA. Association for Computing Machinery, 1999.
Find full textSIGAda (Conference) (1999 Redondo Beach, Calif.). Proceedings, ACM SIGAda Annual International Conference (SIGAda'99): October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA. ACM Press, 1999.
Find full textArtemov, Sergei. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Find full textBrat, Guillaume. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Find full textPăsăreanu, Corina S. Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer Berlin Heidelberg, 2013.
Find full textMcMillan, Kenneth, and Xavier Rival. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Springer, 2014.
Find full textMcMillan, Kenneth, and Xavier Rival. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Springer, 2014.
Find full textMcMillan, Kenneth, and Xavier Rival. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Springer, 2014.
Find full textMontesinos, Pablo, and Călin Cașcaval. Languages and Compilers for Parallel Computing: 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers. Springer London, Limited, 2014.
Find full textLanguages and Compilers for Parallel Computing: 26th International Workshop, Lcpc 2013, September 25-27, 2013, San Jose, CA, Usa. Revised Selected Papers. Springer International Publishing AG, 2014.
Find full textFerrante, Jeanne, and Larry Carter. Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC'99 la Jolla, CA, USA, August 4-6, 1999 Proceedings. Springer London, Limited, 2003.
Find full text(Editor), Larry Carter, and Jeanne Ferrante (Editor), eds. Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings (Lecture Notes in Computer Science). Springer, 2000.
Find full textNerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Berlin / Heidelberg, 2012.
Find full textBrat, Guillaume, Neha Rungta, and Arnaud Venet. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer, 2013.
Find full text