Theoretical computer science

Results: 9916



#Item
1Theoretical Computer Science–40  www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:38
2Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2009-08-14 07:09:04
3Theoretical Computer Science–24  Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
4Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Add to Reading List

Source URL: formal.iti.kit.edu

Language: English - Date: 2016-07-22 17:30:27
5CS 153  Current Topics in Theoretical Computer Science Spring 2016

CS 153 Current Topics in Theoretical Computer Science Spring 2016

Add to Reading List

Source URL: users.cms.caltech.edu

Language: English - Date: 2016-04-29 17:03:42
    6Discrete Mathematics and Theoretical Computer Science  DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number

    Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number

    Add to Reading List

    Source URL: crab.rutgers.edu

    Language: English - Date: 2010-10-08 18:22:50
      7In Favour of Posting  Institute of Theoretical Computer Science and Communications ITCSC-CSE Joint Seminar The Paulsen Problem, Continuous Operator Scaling, and Smoothed

      In Favour of Posting Institute of Theoretical Computer Science and Communications ITCSC-CSE Joint Seminar The Paulsen Problem, Continuous Operator Scaling, and Smoothed

      Add to Reading List

      Source URL: itcsc.erg.cuhk.edu.hk

      Language: English - Date: 2018-01-08 02:49:49
        8Vrije Universiteit in Amsterdam Faculty of Sciences Division of Mathematics and Computer Science Department of Theoretical Computer Science  MASTER’S THESIS

        Vrije Universiteit in Amsterdam Faculty of Sciences Division of Mathematics and Computer Science Department of Theoretical Computer Science MASTER’S THESIS

        Add to Reading List

        Source URL: www.ucw.cz

        Language: English - Date: 2006-10-04 14:43:05
          9CS 153  Current topics in theoretical computer science Spring 2012

          CS 153 Current topics in theoretical computer science Spring 2012

          Add to Reading List

          Source URL: users.cms.caltech.edu

          Language: English - Date: 2012-05-23 14:29:20
            10Call for Papers  Foundations of Software Technology and Theoretical Computer Science December 12-14, 2011 Program Commtitee

            Call for Papers Foundations of Software Technology and Theoretical Computer Science December 12-14, 2011 Program Commtitee

            Add to Reading List

            Source URL: www.fsttcs.org

            Language: English - Date: 2018-06-15 15:11:44