Treffer 1 - 20 von 1.386 für Suche 'Griffin, Timothy A.', Suchdauer: 0,97s Treffer weiter einschränken
  1. 1
    Catalytic Materials for High-Temperature Combustion

    Catalytic Materials for High-Temperature Combustion von Zwinkels, Marcus F. M., Järås, Sven G., Menon, P. Govind, Griffin, Timothy A.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Chicago Consensus on Sustainable Food Systems Science

    The Chicago Consensus on Sustainable Food Systems Science von Drewnowski, Adam


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Micro-engineered catalyst systems: ABB’s advancement in structured catalytic packings

    Micro-engineered catalyst systems: ABB’s advancement in structured catalytic packings von Trubac, Robert E., Dautzenberg, Frits M., Griffin, Timothy A., Paikert, Bettina, Schmidt, Verena R., Overbeek, Rudolf A.

    Veröffentlicht in Catalysis today

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Towards an Algebra for Real-Time Programs

    Towards an Algebra for Real-Time Programs von Dongol, Brijesh, Hayes, Ian J., Meinicke, Larissa, Solin, Kim


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

    Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings von Kahl, Wolfram, Griffin, Timothy G

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

    Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Relations on Hypergraphs

    Relations on Hypergraphs von Stell, John G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Deciding Regular Expressions (In-)Equivalence in Coq

    Deciding Regular Expressions (In-)Equivalence in Coq von Moreira, Nelma, Pereira, David, Melo de Sousa, Simão


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings

    Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings von Danilenko, Nikita


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Unifying Lazy and Strict Computations

    Unifying Lazy and Strict Computations von Guttmann, Walter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Continuous Relations and Richardson’s Theorem

    Continuous Relations and Richardson’s Theorem von Furusawa, Hitoshi, Ishida, Toshikazu, Kawahara, Yasuo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    An Algebra of Layered Complex Preferences

    An Algebra of Layered Complex Preferences von Möller, Bernhard, Roocks, Patrick


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings

    Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings von Jipsen, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Automated Reasoning in Higher-Order Regular Algebra

    Automated Reasoning in Higher-Order Regular Algebra von Armstrong, Alasdair, Struth, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Transitive Separation Logic

    Transitive Separation Logic von Dang, Han-Hing, Möller, Bernhard


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Relational Concepts in Social Choice

    Relational Concepts in Social Choice von Schmidt, Gunther


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Incremental Pseudo Rectangular Organization of Information Relative to a Domain

    Incremental Pseudo Rectangular Organization of Information Relative to a Domain von Ismail, Sahar, Jaoua, Ali


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    On Completeness of Omega-Regular Algebras

    On Completeness of Omega-Regular Algebras von Laurence, Michael R., Struth, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Relation Algebras, Matrices, and Multi-valued Decision Diagrams

    Relation Algebras, Matrices, and Multi-valued Decision Diagrams von Atampore, Francis, Winter, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Erratum: Transitive Separation Logic

    Erratum: Transitive Separation Logic von Dang, Han-Hing, Möller, Bernhard


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: