Отображение 461 - 480 результаты of 2,055 для поиска '"programs"', время запроса: 0.04сек. Отмена результатов
  1. 461
    Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Translators (Computer programs)....”
    Полный текст
    Электронная книга
  2. 462
    Foundations of Computational Linguistics Human-Computer Communication in Natural Language /
    по Hausser, Roland
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Translators (Computer programs)....”
    Полный текст
    Электронная книга
  3. 463
    Language Processing with Perl and Prolog Theories, Implementation, and Application /
    по Nugues, Pierre M.
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Translators (Computer programs)....”
    Полный текст
    Электронная книга
  4. 464
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    по Jureta, Ivan
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  5. 465
    Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Programming languages (Electronic computers)....”
    Полный текст
    Электронная книга
  6. 466
    Frontiers in Statistical Quality Control 11
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  7. 467
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer programming....”
    Полный текст
    Электронная книга
  8. 468
    Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  9. 469
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 470
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    по Backhouse, Roland
    Опубликовано в: Springer eBooks (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 471
    Usability of Speech Dialog Systems Listening to the Target Audience /
    по Hempel, Thomas
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Translators (Computer programs)...”
    Полный текст
    Электронная книга
  12. 472
    Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 473
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 474
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 475
    Algorithmic Learning in a Random World
    по Vovk, Vladimir
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  16. 476
    S+ Functional Data Analysis User’s Manual for Windows® /
    по Clarkson, Douglas B.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  17. 477
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  18. 478
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    по Garrigue, Jacques
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  19. 479
    Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
    по Paech, Barbara
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 480
    Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.
    по Nicola, Rocco
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток