Toon 1 - 20 resultaten van 2.434 Voor zoekopdracht '', zoektijd: 0,11s Verfijn jouw resultaten
  1. 1
    Leveraging applications of formal methods, verification and validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
    Gepubliceerd in 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  2. 2
    Complexity of constraints : an overview of current research themes /
    Gepubliceerd in 2008

    Boek
  3. 3
    Hardware and software, verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 : proceedings / Hana Chockler ; Alan J. Hu (ed.)
    Gepubliceerd in 2009

    Conferentie akten Boek
  4. 4
    Journées d'analyse non linéaire : proceedings, Beasançon, France, June 1977 /
    Gepubliceerd in 1978

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  5. 5
    String processing and information retrieval : 15th international symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008 : proceedings /
    Gepubliceerd in 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  6. 6
    Theory of cryptography proceedings
    door Naor, Moni
    Gepubliceerd in 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  7. 7
    Symposium on Non-Well-Posed Problems and Logarithmic Convexity : held in Heriot-Watt University, Edinburgh/Scotland March 22-24, 1972 /
    Gepubliceerd in 1973

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  8. 8
    K-theory and operator algebras : proceedings of a conference held at the University of Georgia in Athens, Georgia, April 21-25, 1975 /
    Gepubliceerd in 1977

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  9. 9
    Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
    Gepubliceerd in 1975

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  10. 10
    Approximation theory : proceedings of an international colloquium, held at Bonn, Germany, June 8-11, 1976 /
    Gepubliceerd in 1976

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Boek
  11. 11
    Approximation theory : proceedings of a seminar held in Tampa, Florida, 1985-1986 /
    Gepubliceerd in 1987

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  12. 12
    Number theory : proceedings of the Journées arithmétiques, held in Ulm, FRG, September 14-18, 1987 /
    Gepubliceerd in 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conferentie akten Boek
  13. 13
    Text, speech, and dialogue : 4th international conference, TSD 2001, �Zelezn�a Ruda, Czech Republic, September 11-13, 2001 : proceedings /
    Gepubliceerd in 2001

    Conferentie akten Boek
  14. 14
    Pattern recognition : 26th DAGM Symposium, T�ubingen, Germany, August 30-September 1, 2004 : proceedings /
    Gepubliceerd in 2004

    Boek
  15. 15
    Algorithmic learning theory : 13th international conference, ALT 2002, L�ubeck, Germany, November 24-26, 2002 : proceedings /
    Gepubliceerd in 2002

    Conferentie akten Boek
  16. 16
    Types for proofs and programs : international workshop, TYPES 99, L�okeberg, Sweden, June 12-16, 1999 : selected papers /
    Gepubliceerd in 2001

    Conferentie akten Boek
  17. 17
    Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
    Gepubliceerd in 2009

    Conferentie akten Boek
  18. 18
    Algorithmic problems in groups and semigroups /
    Gepubliceerd in 2000

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Boek
  19. 19
    Rationalisierung der Datenverarbeitungsprojektierung /
    Gepubliceerd in 1981

    Boek
  20. 20
    Latin 2008 : theoretical informatics : 8th Latin American symposium, B�uzios, Brazil, April 7-11, 2008 : proceedings /
    Gepubliceerd in 2008

    Conferentie akten Boek
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen