110 treff

teoretisk databehandling
Formelle metoder av prototyping
av Stig Rønning
Bok Bokmål 1997 · Vis mer
Current Trends in Theoretical Computer Science : Entering the 21st Century
Paun, G.
Bok Engelsk 2001 · Vis mer
Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
International Seminar on Relational Methods in Computer Science
Bok Engelsk 2004 · Vis mer
Models of computation : exploring the power of computing
John E. Savage
Bok Engelsk 1998 · Vis mer
Implementation and application of automata : 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers
CIAA 2005
Bok Engelsk 2006 · Vis mer
Implementation and application of automata : 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings
CIAA 2006
Bok Engelsk 2006 · Vis mer
Introduction to personal computers for technology students
Robert R. Silva
Bok Engelsk 1997 · Vis mer
Theoretical computer science : essays in memory of Shimon Even
Oded Goldreich, Arnold L. Rosenberg, Alan...
Bok Engelsk 2006 · Vis mer
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
TACAS '99
Bok Engelsk 1999 · Vis mer
Logic and discrete mathematics : a computer science perspective
Winfried Karl Grassmann, Jean-Paul Trembl...
Bok Engelsk 1996 · Vis mer
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings
International Conference on Relational Methods in ComputerScience
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceeding
TACAS '98
Bok Engelsk 1998 · Vis mer
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
TACAS '97
Bok Engelsk 1997 · Vis mer
Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
TACAS '96
Bok Engelsk 1996 · Vis mer
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
TACAS '95
Bok Engelsk 1995 · Vis mer
Computational complexity : a conceptual perspective
Oded Goldreich
Bok Engelsk 2008 · Vis mer
Essentials of computational chemistry : theories and models
Christopher J. Cramer
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Parameterized and exact computation : first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
IWPEC 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
SAT 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
SAT 2006
Bok Engelsk 2006 · Vis mer
Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 : revised selected papers
MCU 2004
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
SAT 2004
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
SAT 2005
Bok Engelsk 2005 · Vis mer
Electronic Structure : Basic Theory and Practical Methods
Martin, Richard M.
Bok Engelsk 2004 · Vis mer
Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
DMTCS 2003
Bok Engelsk 2003 · Vis mer
Machines, computations, and universality : third international conference, MCU 2001, Chișinău, Moldova, May 23-27, 2001 : proceedings
MCU 2001
Bok Engelsk 2001 · Vis mer
Parameterized and exact computation : second international workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006 : proceedings
IWPEC 2006
Bok Engelsk 2006 · Vis mer
Selfish routing and the price of anarchy
Tim Roughgarden
Bok Engelsk 2005 · Vis mer
Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
CIAA 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
General theory of information transfer and combinatorics
Rudolf Ahlswede ... [et al.] (eds.)
Bok Engelsk 2006 · Vis mer