Search Results - "Lecture note in computer science"

Suggested Topics within your search.
Refine Results
  1. 261
    Specifying message passing and time-critical systems with temporal logic

    Specifying message passing and time-critical systems with temporal logic by Koyman, R. (Rond1959-

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 262
    Mathematical foundations of computer science 1992 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings

    Mathematical foundations of computer science 1992 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  3. 263
    Memory management international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings

    Memory management international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  4. 264
    Advances in computing and information--ICCI '90

    Advances in computing and information--ICCI '90

    Published 1990
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  5. 265
    CONCUR '92 Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings

    CONCUR '92 Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  6. 266
    Theories and methods of spatio-temporal reasoning in geographic space proceedings of ... held September 1992

    Theories and methods of spatio-temporal reasoning in geographic space proceedings of ... held September 1992

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  7. 267
    Distributed algorithms 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings

    Distributed algorithms 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  8. 268
    Design and implementation of symbolic computation systems International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992: proceedings

    Design and implementation of symbolic computation systems International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992: proceedings

    Published 1993
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  9. 269
    Digital libraries Technology and Management of Indigenous Knowledge for Global Access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003 proceedings /

    Digital libraries Technology and Management of Indigenous Knowledge for Global Access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia,...

    Published 2003
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  10. 270
    Advanced information systems engineering 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings

    Advanced information systems engineering 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  11. 271
    Data structures and efficient algorithms final report on the DFG special joint initiative

    Data structures and efficient algorithms final report on the DFG special joint initiative

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  12. 272
    Parallel computation First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings

    Parallel computation First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings

    Published 1992
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  13. 273
    Advances in cryptology--AUSCRYPT '90 international conference on cryptology, Sydney, Australia, January 8-11, 1990 : proceedings

    Advances in cryptology--AUSCRYPT '90 international conference on cryptology, Sydney, Australia, January 8-11, 1990 : proceedings

    Published 1990
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  14. 274
    Computer vision--ECCV 90 First European Conference on Computer Vision, Antibes, France, April 1990 proceedings

    Computer vision--ECCV 90 First European Conference on Computer Vision, Antibes, France, April 1990 proceedings

    Published 1990
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  15. 275
    VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

    VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

    Published 1990
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  16. 276
    Foundations of equational logic programming

    Foundations of equational logic programming by Holldobler, Steffen 1957-

    Published 1989
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  17. 277
    Categorical methods in computer science with aspects from topology

    Categorical methods in computer science with aspects from topology

    Published 1989
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  18. 278
    The design of an extendible graph editor

    The design of an extendible graph editor by Paulisch, Frances Newbery

    Published 1993
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  19. 279
    Parallel processing proceedings of the Sagamore Computer Conference, August 20-23, 1974

    Parallel processing proceedings of the Sagamore Computer Conference, August 20-23, 1974

    Published 1975
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  20. 280
    Synthesizing synchronous systems by static sche duling in space-time

    Synthesizing synchronous systems by static sche duling in space-time by Lisper, Bjorn

    Published 1989
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: