Отображение 241 - 260 результаты of 2,055 для поиска '"programs"', время запроса: 0.04сек. Отмена результатов
  1. 241
    Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  2. 242
    Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Programming Languages, Compilers, Interpreters....”
    Полный текст
    Электронная книга
  3. 243
    Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
    по Dignum, Frank
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 244
    Parameterized Complexity Theory
    по Flum, Jörg
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 245
    Voice and Speech Quality Perception Assessment and Evaluation /
    по Jekosch, Ute
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  6. 246
    Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Programming Languages, Compilers, Interpreters....”
    Полный текст
    Электронная книга
  7. 247
    Compelling interest examining the evidence on racial dynamics in colleges and universities
    Публикация 2003
    Предметы: “...Affirmative action programs United States....”
    Книга
  8. 248
    Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 249
    Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
    по Lumpe, Markus
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 250
    Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
    по Pautasso, Cesare
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 251
    Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
    по Ramakrishnan, C. R.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 252
    Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 253
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 254
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    по Boer, Frank S.
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 255
    Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
    по Holub, Jan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  16. 256
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    по Leue, Stefan
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  17. 257
    Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
    по George, Chris W.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 258
    Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings /
    по Kounev, Samuel
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 259
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
    по Grumberg, Orna
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 260
    Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
    по Raskin, Jean-François
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток