Showing 1 - 17 results of 17 for search '', query time: 0.18s Refine Results
  1. 1
    Logic for concurrency and synchronisation /
    Published 2003
    Connect to the full text of this electronic book
    Connect to the full text of this electronic book
    eBook
  2. 2
    Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
    Published 2004
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Theorems, corollaries, lemmas, and methods of proof /
    by Rossi, Richard J., 1956-
    Published 2006
    Connect to the full text of this electronic book
    eBook
  4. 4
    On the convergence of an iterative formulation of the electromagnetic scattering from an infinite grating of thin wires /
    by Brand, Jerry Clyde, 1953-
    Published 1985
    Get full text
    Government Document eBook
  5. 5
    On the electromagnetic scattering from infinite rectangular conducting grids /
    Get full text
    Government Document eBook
  6. 6
    Kurt Godel and the foundations of mathematics : horizons of truth /
    Published 2011
    Connect to the full text of this electronic book
    eBook
  7. 7
    A course on Borel sets /
    Connect to the full text of this electronic book
    eBook
  8. 8
    An introduction to wavelets through linear algebra /
    by Frazier, Michael, 1956-
    Published 1999
    Connect to the full text of this electronic book
    eBook
  9. 9
    Formal power series and linear systems of meromorphic ordinary differential equations /
    by Balser, Werner, 1946-
    Published 2000
    Connect to the full text of this electronic book
    eBook
  10. 10
    The mathematics of juggling /
    by Polster, Burkard
    Published 2002
    Connect to the full text of this electronic book
    eBook
  11. 11
    Fourier analysis and its applications /
    by Vretblad, Anders
    Published 2003
    Connect to the full text of this electronic book
    eBook
  12. 12
    Model theory : an introduction /
    by Marker, D. (David), 1958-
    Published 2002
    Connect to the full text of this electronic book
    eBook
  13. 13
    Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
    Published 2004
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    Introduction to mathematics of satisfiability /
    by Marek, Wiktor
    Published 2009
    Get full text
    eBook
  15. 15
    Lattice engineering : technology and applications /
    Published 2013
    Get full text
    eBook
  16. 16
    Logic and automata : history and perspectives.
    Published 2008
    Connect to the full text of this electronic book
    eBook
  17. 17
    Finite Automata /
    by Lawson, Mark V.
    Published 2003
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search