Αποτελέσματα αναζήτησης

Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση
Μήπως εννοούσατε programming and progress;
  • Τούριγκ το 1977 με τίτλο "Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs". Ορίζει τα συναρτησιακά
    12 KB (874 λέξεις) - 22:06, 9 Αυγούστου 2017
  • Meyers, Scott (2005). Effective C++ : 55 specific ways to improve your programs and designs (3rd ed., 1st print. έκδοση). Upper Saddle River, NJ [u.a.]:
    6 KB (503 λέξεις) - 16:30, 6 Μαΐου 2017
  • Martin Odersky et al., An Overview of the Scala Programming Language, 2nd Edition «Scala on .NET». Programming Methods Laboratory of EPFL. 2008-01-07. Ανακτήθηκε
    18 KB (1.419 λέξεις) - 08:17, 6 Μαΐου 2017
  • Computer Science and Engineering, 2009. Allen Emerson, E.; Clarke, Edmund M. (1980), «Characterizing correctness properties of parallel programs using fixpoints»
    19 KB (1.467 λέξεις) - 08:31, 6 Μαΐου 2017
  • παραδείγματα: Perl and Undecidability LtU comment clarifying that the undecidable problem is membership in the class of Perl programs chromatic's example
    14 KB (1.018 λέξεις) - 08:48, 6 Μαΐου 2017
  • 2008.  «BXA Intercollege Degree Programs». CMU College of Fine Arts. 31 Ιουλίου 2016.  «BXA Intercollege Degree Programs – BHA Program». www.cmu.edu. Ανακτήθηκε
    50 KB (3.361 λέξεις) - 05:55, 22 Μαΐου 2019
  • Robbins, POSIX threads explained Debugging and Optimizing Multithreaded OpenMP Programs By Andrey Karpov and Evgeniy Romanovsky, March 02, 2009 Γ.Παπακωνσταντίνου
    26 KB (2.099 λέξεις) - 07:31, 6 Μαΐου 2017
  • Ανακτήθηκε στις 9-9-2018.  Donald Knuth, The Art of Computer Programming, Volume 3: Sorting and Searching, Second Edition. Addison-Wesley, 1998, (ISBN 0-201-89685-0)
    24 KB (1.060 λέξεις) - 13:03, 15 Οκτωβρίου 2018
  • type-schemes for functional programs», POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM, σελ. 207–212
    20 KB (1.825 λέξεις) - 09:10, 6 Μαΐου 2017
  • MIT Press and McGraw-Hill, σελ. 15–21, ISBN 0-262-03293-7 . «5.2.1: Sorting by Insertion», The Art of Computer Programming, 3. Sorting and Searching (second
    33 KB (2.687 λέξεις) - 20:33, 4 Οκτωβρίου 2018
  • overloading) Γλώσσα προγραμματισμού Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. ISBN 0-262-16209-1.  B.C. Pierce (2002), σελ
    70 KB (5.690 λέξεις) - 09:11, 6 Μαΐου 2017
  • mitpress.mit.edu Compiling with C# and Java, Pat Terry, 2005, ISBN 032126360X624 Algorithms + Data Structures = Programs, Niklaus Wirth, 1975, ISBN 0-13-022418-9
    17 KB (1.311 λέξεις) - 11:11, 6 Μαΐου 2017
  • υπολογιστών χρησιμοποιούν τη Scheme μαζί με το βιβλίο Structure and Interpretation of Computer Programs (SICP). Τα τελευταία 12 χρόνια, η PLT λειτουγεί το εγχείρημα
    95 KB (7.720 λέξεις) - 14:35, 15 Ιουνίου 2019
  • Knuth (1998, p. 158) Jyrki Katajainen and Jesper Larsson Träff (1997). A meticulous analysis of mergesort programs.  Ο αριθμός για την χειρότερη περίπτωση
    41 KB (3.214 λέξεις) - 14:34, 9 Μαρτίου 2017
  • ISBN 0-134-77828-6 B. Randell and L.J. Russell, ALGOL 60 Implementation: The Translation and Use of ALGOL 60 Programs on a Computer. Academic Press,
    40 KB (3.109 λέξεις) - 10:20, 18 Οκτωβρίου 2018
  • Σεπτεμβρίου 2011.  Ρέιμοντ, Έρικ. «IETF and the RFC Standards Process» (στα Αγγλικά). The Art of Unix Programming. http://www.faqs.org/docs/artu/ietf_process
    76 KB (6.473 λέξεις) - 07:54, 13 Ιουλίου 2019
  • 2009-01-15.  Sun, Jun (2009). «Integrating Specifications and Programs for System Specification and Verification». IEEE Int. Conf. on Theoretical Aspects
    53 KB (5.026 λέξεις) - 18:33, 4 Μαρτίου 2018
  • sets 3 hours of kid programs» (στα αγγλικά). Variety. https://variety.com/2003/scene/markets-festivals/dic-sets-3-hours-of-kid-programs-1117890788/. Ανακτήθηκε
    30 KB (2.662 λέξεις) - 07:00, 20 Ιουλίου 2019

Αποτελέσματα από αδελφικά εγχειρήματα