Альтернативы поиска:
"Programming languages Electronic computers ." » "Programming language Electronic computers ." (Расширить поиск)
Отображение 81 - 100 результаты of 113 для поиска '"Programming languages (Electronic computers)."', время запроса: 0.12сек. Отмена результатов
  1. 81
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  2. 82
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  3. 83
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  4. 84
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  5. 85
    OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  6. 86
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  7. 87
    Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  8. 88
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  9. 89
    SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  10. 90
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  11. 91
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  12. 92
    Understanding Network Hacks Attack and Defense with Python /
    по Ballmann, Bastian
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  13. 93
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  14. 94
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  15. 95
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  16. 96
    Languages, Applications and Technologies 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  17. 97
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  18. 98
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  19. 99
    Software Engineering for Collective Autonomic Systems The ASCENS Approach /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  20. 100
    Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток