Search Results - Beyond Zork~

Refine Results
  1. 1441
  2. 1442
  3. 1443
  4. 1444

    Understanding concurrent systems by Roscoe, A. W.

    Published 2010
    Table of Contents: “…Building a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility…”
    Click Here to View Status and Holdings.
    Book
  5. 1445
  6. 1446
  7. 1447
  8. 1448
  9. 1449
  10. 1450
  11. 1451
  12. 1452
  13. 1453
  14. 1454
  15. 1455

    Musical theatre a history by Kenrick, John

    Published 2008
    Table of Contents: “…-- Continental operetta (1840-1900) : "Typical of France" -- American explorations (1624-1880) : "The music of something beginning" -- Gilbert & Sullivan (1880-1900) : "Object all sublime" -- The birth of musical comedy (1880-1899) : "It belong'd to my father before I was born" -- A new century (1900-1913) : "Whisper of how I'm yearning" -- American ascendance (1914-1919) : "In a class beyond compare" -- Al Jolson : "The world's greatest entertainer" -- The jazz age (1920-1929) : "I want to be happy" -- Depression era miracles (1930-1940) : "Trouble's just a bubble" -- A new beginning (1940-1950) : "They couldn't pick a better time" -- Broadway takes stage (1950-1963) : "The street where you live" -- Rock rolls in (1960-1970) : "Soon it's gonna rain" -- New directions (1970-1979) : "Vary my days" -- Spectacles and boardrooms : "As if we never said goodbye" -- Musical comedy returns (the 2000s) : "Where did we go right?"…”
    Click Here to View Status and Holdings.
    Book
  16. 1456
  17. 1457
  18. 1458
  19. 1459
  20. 1460