Suggested Topics within your search.
Showing 1 - 20 results of 2,400 for search '', query time: 0.05s Refine Results
  1. 1
    Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  2. 2
    Neural Networks: Tricks of the Trade [electronic resource] /
    Texto biblioteca
    COLPOS


    Saved in:

  3. 3
    Multimedia Transport and Teleservices [electronic resource] : International COST 237 Workshop Vienna, Austria, November 13–15, 1994 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  4. 4
    Applied Parallel Computing Industrial Computation and Optimization [electronic resource] : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  5. 5
    Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use /
    Texto biblioteca
    COLPOS


    Saved in:

  6. 6
    Specification and Analysis of Concurrent Systems [electronic resource] : The COSY Approach /
    Texto biblioteca
    COLPOS


    Saved in:

  7. 7
    Z User Workshop, York 1991 [electronic resource] : Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991 /
    Texto biblioteca
    COLPOS


    Saved in:

  8. 8
    Probabilistic Safety Assessment and Management [electronic resource] : PSAM 7 — ESREL ’04 June 14–18, 2004, Berlin, Germany, Volume 6 /
    Texto biblioteca
    COLPOS


    Saved in:

  9. 9
    Crisp and Soft Computing with Hypercubical Calculus [electronic resource] : New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing /
    Texto biblioteca
    COLPOS


    Saved in:

  10. 10
    The Structure of the Relational Database Model [electronic resource] /
    Texto biblioteca
    COLPOS


    Saved in:

  11. 11
    Multimedia and Groupware for Editing [electronic resource] /
    Texto biblioteca
    COLPOS


    Saved in:

  12. 12
    Genetic Programming IV [electronic resource] : Routine Human-Competitive Machine Intelligence /
    Texto biblioteca
    COLPOS


    Saved in:

  13. 13
    Automata Implementation [electronic resource] : Second International Workshop on Implementing Automata, WIA'97 London, Ontario, Canada September 18–20, 1997 Revised Papers /
    Texto biblioteca
    COLPOS


    Saved in:

  14. 14
    Neural Networks: Tricks of the Trade [electronic resource] /
    Texto biblioteca
    COLPOS


    Saved in:

  15. 15
    Multimedia Transport and Teleservices [electronic resource] : International COST 237 Workshop Vienna, Austria, November 13–15, 1994 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  16. 16
    Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  17. 17
    Algorithms and Data Structures [electronic resource] : 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  18. 18
    Applied Parallel Computing Industrial Computation and Optimization [electronic resource] : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  19. 19
    Reflexive Structures [electronic resource] : An Introduction to Computability Theory /
    Texto biblioteca
    COLPOS


    Saved in:

  20. 20
    Third Generation Communication Systems [electronic resource] : Future Developments and Advanced Topics /
    Texto biblioteca
    COLPOS


    Saved in:

Search Tools: Get RSS Feed — Email this Search — Save Search