Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 781 - 800 արդյունքները 964 այս փնտրման համար '"Lecture Notes in Computer Science"', հարցման ժամանակը: 0.05s Հստակեցնել արդյունքները
  1. 781
    Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings /
    Գիրք
    Հրապարակվել է 1992
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  2. 782
    Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1991
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  3. 783
    Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /
    Գիրք
    Հրապարակվել է 1990
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  4. 784
    Advanced information systems engineering : ... International Conference, CAiSE ... : proceedings.
    Գիտաժողովի նյութեր Ամսագիր
    Հրապարակվել է 1990
    “…Lecture notes in computer science.…”
    Պահել ցուցակում
    Պահպանված է:
  5. 785
    Alternating sequential/parallel processing /
    Գիրք
    Wallach, Y. (Yehuda), 1928-
    Հրապարակվել է 1982
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  6. 786
    Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
    Գիրք
    Հրապարակվել է 1986
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  7. 787
    Methods of programming : selected papers on the CIP-project /
    Գիրք
    Հրապարակվել է 1991
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  8. 788
    Axiomatising the logic of computer programming /
    Գիրք
    Goldblatt, Robert
    Հրապարակվել է 1982
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  9. 789
    Large sparse numerical optimization /
    Գիրք
    Coleman, Thomas F. (Thomas Frederick), 1950-
    Հրապարակվել է 1984
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  10. 790
    Computer vision--ECCV 90 : First European Conference on Computer Vision, Antibes, France, April 1990 proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1990
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  11. 791
    Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /
    Գիրք
    Zwiers, J. (Job), 1956-
    Հրապարակվել է 1989
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  12. 792
    Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1996
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  13. 793
    A systematic catalogue of reusable abstract data types /
    Գիրք
    Uhl, J. (Jürgen)
    Հրապարակվել է 1990
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  14. 794
    Memory management : international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1992
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  15. 795
    Verifying concurrent processes using temporal logic /
    Գիրք
    Hailpern, Brent T. (Brent Tzion), 1955-
    Հրապարակվել է 1982
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  16. 796
    The problem of incomplete information in relational databases /
    Գիրք
    Grahne, G., 1955-
    Հրապարակվել է 1991
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  17. 797
    A survey of verification techniques for parallel programs /
    Գիրք
    Barringer, Howard, 1951-
    Հրապարակվել է 1985
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  18. 798
    Programming languages and their definition /
    Գիրք
    Bekič, H. (Hans), 1936-1982
    Հրապարակվել է 1984
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  19. 799
    Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1979
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
  20. 800
    Attribute grammars : definitions, systems, and bibliography /
    Գիրք
    Deransart, Pierre
    Հրապարակվել է 1988
    “…Lecture notes in computer science ;…”
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը