Εμφανίζονται 601 - 620 Αποτελέσματα από 690 για την αναζήτηση '"PROGRAMMING LANGUAGES"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 601
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 602
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    ανά Leavens, Gary T
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 603
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    ανά Blass, Andreas
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 604
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    ανά Boer, Frank S.
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 605
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
    ανά Dams, Dennis
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 606
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    ανά Touili, Tayssir
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 607
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    ανά Schreye, Danny
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 608
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
    ανά Blume, Matthias
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 609
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
    ανά Chatterjee, Krishnendu
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 610
    Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
    ανά MΓΌller-Clostermann, Bruno
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 611
    Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
    ανά Qin, Shengchao
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 612
    Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
    ανά Wieringa, Roel
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 613
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    ανά Dix, JΓΌrgen
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 614
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    ανά KuΔera, AntonΓ­n
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 615
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    ανά Barthe, Gilles
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 616
    Software Process Modeling
    ανά Acuna, Silvia T.
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 617
    A Software Process Model Handbook for Incorporating People’s Capabilities
    ανά Acuna, Silvia T.
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 618
    Embedded C programming and the Atmel AVR /
    ανά Barnett, Richard
    Έκδοση 2003
    Θέματα: “…C (Computer program language)…”
    Βιβλίο
  19. 619
    Εισαγωγή στη C και στις δομές δεδομένων/
    ανά Γερούλης, Σπύρος
    Έκδοση 2006
    Θέματα: “…C (Computer program language)…”
    Βιβλίο
  20. 620
    Building Web services with Java : making sense of XML, SOAP, WSDL, and UDDI /
    ανά Graham, Steve
    Έκδοση 2002
    Θέματα: “…Java (Computer program language)…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email