Отображение 161 - 180 результаты of 1,266 для поиска '"Logic."', время запроса: 0.05сек. Отмена результатов
  1. 161
    Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  2. 162
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 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)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  3. 163
    Categories for Software Engineering
    по Fiadeiro, José Luiz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 164
    Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  5. 165
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  6. 166
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  7. 167
    Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  8. 168
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  9. 169
    High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
    по Stenström, Per
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 170
    High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  11. 171
    High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /
    по Bosschere, Koen
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  12. 172
    Transactions on High-Performance Embedded Architectures and Compilers I
    по Stenström, Per
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  13. 173
    Intention
    по Anscombe, Gertrude Elizabeth Margaret
    Публикация 2000
    Предметы: “...Intention (Logic)...”
    Книга
  14. 174
    Signs of logic Peircean themes on the philosophy of language, games, and communication /
    по Pietarinen, Ahti-Veikko
    Опубликовано в: Springer e-books (2006)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  15. 175
    Logic in Reality
    по Brenner, Joseph E.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  16. 176
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    по Caromel, Denis
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  17. 177
    Handbook of Argumentation Theory
    Предметы: “...logic....”
    Полный текст
    Электронная книга
  18. 178
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  19. 179
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  20. 180
    Logics and Falsifications A New Perspective on Constructivist Semantics /
    по Kapsner, Andreas
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток