Результати пошуку - "COMPUTER SCIENCE/Programming Languages"

  1. 1
    Зображення обкладинки

    Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye.

    Опубліковано 2000
    Книга

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher.

    Опубліковано ©1996
    Книга

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Logic programming : proceedings of the 1997 International Symposium / edited by Jan Małuszyński.

    Опубліковано ©1997
    Книга

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish.

    Опубліковано ©1997
    Книга

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    The definition of standard ML : revised / Robin Milner, Mads Tofte, Robert Harper and David MacQueen.

    Опубліковано 1997
    Книга

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Low-density parity-check codes / Robert G. Gallagher.

    Опубліковано 1963 ©1963
    Книга

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey.

    Опубліковано 1998
    Книга

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Social thinking-software practice / edited by Yvonne Dittrich, Christiane Floyd, and Ralf Klischewski.

    Опубліковано ©2002
    Книга

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    The formal semantics of programming languages : an introduction / Glynn Winskel.

    Опубліковано ©1993
    Книга

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    The reasoned schemer / Daniel P. Friedman, William E. Byrd, Oleg Kiselyov ; drawings by Duane Bibby.

    Опубліковано ©2005
    Книга

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Advanced topics in types and programming languages / Benjamin C. Pierce, editor.

    Опубліковано ©2005
    Книга

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    The analysis of feedback systems / Jan C. Willems.

    Опубліковано 1971
    Книга

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

    Iterative arrays of logical circuits / Frederick Hennie.

    Опубліковано 2003
    Книга

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    The seasoned Schemer / Daniel P. Friedman and Matthias Felleisen ; foreword and afterword by Guy L. Steele, Jr.

    Опубліковано 1995
    Книга

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Performance and evaluation of Lisp systems / Richard P. Gabriel.

    Опубліковано ©1985
    Книга

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Finite-state language processing / edited by Emmanuel Roche and Yves Schabes.

    Опубліковано ©1997
    Книга

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    LISP 1.5 programmer's manual : the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology / J. McCarthy.

    Опубліковано 1962
    Книга

    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

    Parallel Algorithms for Regular Architectures : Meshes and Pyramids.

    Опубліковано Jan 2003
    Книга

    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

    Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.

    Опубліковано ©1993
    Книга

    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala.

    Опубліковано 2013
    Книга

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: