Showing 1 - 20 results of 1,628 for search '"Theory of Computation."', query time: 0.13s Refine Results
  1. 1
    Algoritmi Lo spirito dell’informatica /
    by Harel, David, Feldman, Yishai
    Published 2008
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    The Realism-Antirealism Debate in the Age of Alternative Logics
    Published 2012
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    An Introduction to Online Computation Determinism, Randomization, Advice /
    by Komm, Dennis
    Published 2016
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science
    Published 2015
    Subjects: “…Theory of computation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the 12th ACM conference on Electronic commerce
    Published 2011
    Subjects: “…Theory of computation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information /
    by Cicalese, Ferdinando
    Published 2013
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science
    Published 2016
    Subjects: “…Theory of computation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile /
    Published 2006
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
    by Navarro, Gonzalo
    Published 2006
    Subjects: “…Theory of Computation 64606…”
    Get full text
    Electronic Kit Book
  10. 10
    Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
    Published 2008
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Analysis and Correctness of Algebraic Graph and Model Transformations
    by Golas, Ulrike
    Published 2011
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems /
    by Herde, Christian
    Published 2011
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2 /
    Published 2009
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira /
    Published 2005
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Advanced Parallel Processing Technologies 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings /
    Published 2009
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Emerging Trends in Technological Innovation First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings /
    Published 2010
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
    Published 2010
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
    Published 2005
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Massively Multi-Agent Technology AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers /
    Published 2008
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings /
    Published 2008
    Subjects: “…Theory of Computation.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search