Suggested Topics within your search.
Showing 1 - 12 results of 12 for search '"Programming Languages and Applied Logic"', query time: 0.08s Refine Results
  1. 1
    Nominal Sets
    by Andrew M. Pitts
    Published 2013
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  2. 2
    Practical Foundations for Programming Languages
    by Robert Harper
    Published 2013
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  3. 3
    Transitions and Trees
    by Hans Hüttel
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  4. 4
    Pearls of Functional Algorithm Design
    by Richard Bird
    Published 2013
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  5. 5
    Programming in Visual Basic 2010
    by Jim McKeown
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  6. 6
    Programming with Higher-Order Logic
    by Dale Miller, Gopalan Nadathur
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  7. 7
    An Introduction to Category Theory
    by Harold Simmons
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  8. 8
    Modeling in Event-B
    by Jean-Raymond Abrial
    Published 2013
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  9. 9
    Steps in Scala
    by Christos K. K. Loverdos, Apostolos Syropoulos
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  10. 10
    Systematic Program Design
    by Yanhong Annie Liu
    Published 2013
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  11. 11
    Introduction to Bisimulation and Coinduction
    by Davide Sangiorgi
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
  12. 12
    Web Data Management
    by Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
    Published 2012
    Off-Campus Access: Athens ID and Password Required
    On-Campus Access: No User ID or Password Required
    Subjects: “…Programming Languages and Applied Logic…”
    Full text available on Cambridge University Press
    Off-campus access
    Electronic eBook
Search Tools: RSS Feed – Email Search