Отображение 381 - 400 результаты of 2,055 для поиска '"programs"', время запроса: 0.06сек. Отмена результатов
  1. 381
    Modern Formal Methods and Applications
    по Gabbar, Hossam A.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 382
    Maîtriser l’aléatoire Exercices résolus de probabilités et statistique
    по Cantoni, Eva
    Опубликовано в: Springer eBooks (2006)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  3. 383
    Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
    по Bravetti, Mario
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 384
    Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  5. 385
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  6. 386
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  7. 387
    Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  8. 388
    Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  9. 389
    Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Translators (Computer programs)....”
    Полный текст
    Электронная книга
  10. 390
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  11. 391
    Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 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)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  12. 392
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  13. 393
    Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays
    по Haasteren, Rutger
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  14. 394
    Humanities Data in R Exploring Networks, Geospatial Data, Images, and Text /
    по Arnold, Taylor, Tilton, Lauren
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  15. 395
    A User’s Guide to Network Analysis in R
    по Luke, Douglas
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  16. 396
    Excel 2013 for Engineering Statistics A Guide to Solving Practical Problems /
    по Quirk, Thomas J.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics and Computing/Statistics Programs....”
    Полный текст
    Электронная книга
  17. 397
    Student academic services an integrated approach
    по Kramer, Gary L. 1945-
    Публикация 2003
    Предметы: “...College student development programs United States....”
    Книга
  18. 398
    Handbook of Data Visualization
    по Chen, Chun-houh
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Statistics and Computing/Statistics Programs...”
    Полный текст
    Электронная книга
  19. 399
    Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
    по Amadio, Roberto
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  20. 400
    Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /
    по Overhage, Sven
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток