Bücher zum Thema „CA-Realizer (Computer program language)“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-25 Bücher für die Forschung zum Thema "CA-Realizer (Computer program language)" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Straley, Stephen J. Straley's guide to programming with CA-realizer. Sirius Press, 1995.
Den vollen Inhalt der Quelle findenOcchiogrosso, James. CA-Clipper developer's library. Windcrest/McGraw-Hill, 1995.
Den vollen Inhalt der Quelle findenStraley, Stephen J. Clipper 5.2 power tools. Bantam Books, 1993.
Den vollen Inhalt der Quelle findenStraley, Stephen J. Clipper 5.2 power tools. Bantam Books, 1993.
Den vollen Inhalt der Quelle findenAPL 2003 (2003 San Diego, Calif.). APL 2003 "Stretching the Mind": San Diego, CA, June 11, 2003-June 14, 2003. ACM Press, 2003.
Den vollen Inhalt der Quelle findenTRI-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.
Den vollen Inhalt der Quelle findenSIGAda, 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.
Den vollen Inhalt der Quelle findenSIGAda (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.
Den vollen Inhalt der Quelle findenArtemov, Sergei. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenBrat, Guillaume. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenPă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.
Den vollen Inhalt der Quelle findenMcMillan, 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.
Den vollen Inhalt der Quelle findenMcMillan, 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.
Den vollen Inhalt der Quelle findenMcMillan, 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.
Den vollen Inhalt der Quelle findenMontesinos, 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.
Den vollen Inhalt der Quelle findenLanguages 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.
Den vollen Inhalt der Quelle findenFerrante, 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenNerode, 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.
Den vollen Inhalt der Quelle findenBrat, 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.
Den vollen Inhalt der Quelle finden