Showing 1 - 20 results of 121 for search '', query time: 0.04s Refine Results
  1. 1
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
    by Dovier, Agostino
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
    by Kurki-Suonio, Reino
    Published 2005
    Get full text
    Electronic Kit Book
  3. 3
    Abstract Computing Machines A Lambda Calculus Perspective
    by Kluge, William S.
    Published 2005
    Get full text
    Electronic Kit Book
  4. 4
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by Frappier, Marc
    Published 2010
    Get full text
    Electronic Kit Book
  5. 5
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Get full text
    Electronic Kit Book
  6. 6
    Advanced Lectures on Software Engineering LASER Summer School 2007/2008
    by MΓΌller, Peter
    Published 2010
    Get full text
    Electronic Kit Book
  7. 7
    Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
    by Hutter, Marcus
    Published 2010
    Get full text
    Electronic Kit Book
  8. 8
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
    by Lilius, Johan
    Published 2010
    Get full text
    Electronic Kit Book
  9. 9
    Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    by Schmid, Ute
    Published 2010
    Get full text
    Electronic Kit Book
  10. 10
    Architecting Dependable Systems VII
    by Casimiro, Antonio
    Published 2010
    Get full text
    Electronic Kit Book
  11. 11
    Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
    by Puppis, Gabriele
    Published 2010
    Get full text
    Electronic Kit Book
  12. 12
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
    by Giesl, JΓΌrgen
    Published 2010
    Get full text
    Electronic Kit Book
  13. 13
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    by Bouajjani, Ahmed
    Published 2010
    Get full text
    Electronic Kit Book
  14. 14
    Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
    by Hull, Richard
    Published 2010
    Get full text
    Electronic Kit Book
  15. 15
    Categories for Software Engineering
    by Fiadeiro, JosΓ© Luiz
    Published 2005
    Get full text
    Electronic Kit Book
  16. 16
    Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    by HorvΓ'th, ZoltΓ'n
    Published 2010
    Get full text
    Electronic Kit Book
  17. 17
    Complexity Theory Exploring the Limits of Efficient Algorithms
    by Wegener, Ingo
    Published 2005
    Get full text
    Electronic Kit Book
  18. 18
    Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
    by Grunske, Lars
    Published 2010
    Get full text
    Electronic Kit Book
  19. 19
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    by Dix, JΓΌrgen
    Published 2010
    Get full text
    Electronic Kit Book
  20. 20
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    by Dix, JΓΌrgen
    Published 2010
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search