Search Results - "Lectures notes"

  1. 381

    Power-aware computer systems revised papers, November 12, 2000

    Published 2001
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  2. 382
  3. 383

    FME 2001 formal methods for increasing software productivity

    Published 2001
    “…Lecture notes in computer science…”
    Click Here to View Status and Holdings.
    Book
  4. 384
  5. 385
  6. 386
  7. 387
  8. 388
  9. 389
  10. 390
  11. 391

    Automata, logics, and infinite games

    Published 2002
    “…Lecture notes in computer science ;…”
    Click Here to View Status and Holdings.
    Book
  12. 392
  13. 393
  14. 394
  15. 395
  16. 396
  17. 397
  18. 398
  19. 399
  20. 400