Treffer 1 - 20 von 3.412 für Suche 'BOYER, Robert S', Suchdauer: 1,37s Treffer weiter einschränken
  1. 1
    A compressed format for collections of phylogenetic trees and improved consensus performance

    A compressed format for collections of phylogenetic trees and improved consensus performance von BOYER, Robert S, HUNT, Warren A, NELESEN, Serita M


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated proofs of object code for a widely used microprocessor

    Automated proofs of object code for a widely used microprocessor von BOYER, R. S, YU, Y

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Toward Automating the Discovery of Decreasing Measures

    Toward Automating the Discovery of Decreasing Measures von Boyer, Robert S., Legato, Wilfred J., Marek, Victor W.

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A mechanical proof of the unsolvability of the halting problem

    A mechanical proof of the unsolvability of the halting problem von BOYER, R. S, MOORE, J. S

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Single-Threaded Objects in ACL2

    Single-Threaded Objects in ACL2 von Boyer, Robert S., Strother Moore, J.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Woody Bledsoe: His Life and Legacy

    Woody Bledsoe: His Life and Legacy von Ballantyne, Michael, Boyer, Robert S., Hines, Larry

    Veröffentlicht in The AI magazine

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    La Théorie de la Régulation au fil du temps

    La Théorie de la Régulation au fil du temps

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    La pandémie de Covid-19: Expériences américaines

    La pandémie de Covid-19: Expériences américaines

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Proving Theorems about LISP Functions

    Proving Theorems about LISP Functions von Boyer, Robert S., Moore, J. Strother

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A fast string searching algorithm

    A fast string searching algorithm von Boyer, Robert S., Moore, J. Strother

    Veröffentlicht in Communications of the ACM

    Volltext
    Magazinearticle

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Asian side of the world - II: Chronicles of Asia and the Pacific 2011-2013

    The Asian side of the world - II: Chronicles of Asia and the Pacific 2011-2013

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A theorem prover for a computational logic

    A theorem prover for a computational logic von Boyer, Robert S., Moore, J Strother


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Japanese Capitalism in Crisis: A Regulationist Interpretation

    Japanese Capitalism in Crisis: A Regulationist Interpretation von Robert Boyer, Toshio Yamada

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Automated correctness proofs of machine code programs for a commercial microprocessor

    Automated correctness proofs of machine code programs for a commercial microprocessor von Boyer, Robert S., Yu, Yuan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Capitalismes asiatiques

    Capitalismes asiatiques von Boyer, Robert, Harada, Yuji, Hirano, Yasuro, Isogai, Akinori, Jeong, Se-Eun, Kim, Hyungkee, Lechevalier, Sébastien, Mazier, Jacques, Nishi, Hiroshi, Ok, Wooseok, Saglio, Sophie, Shrestha, Nagendra, Song, Lei, Tohyama, Hironori, Uemura, Hiroyasu, Uni, Hiroyuki, Wang, Jian, Yamada, Toshio, Yan, Chengnan, Yang, Junho

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    La dette souveraine

    La dette souveraine von Boyer, Robert, Christ, Julia, Crouch, Colin, Cuillerai, Marie, Duroux, Yves, Habermas, Jürgen, Karsenti, Bruno, Lemoine, Benjamin, Rey, Jean-Michel, Salmon, Gildas, Streeck, Wolfgang

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    La Théorie de la Régulation au fil du temps : Suivre l’évolution d’un paradigme au gré des transformations des capitalismes contemporains

    La Théorie de la Régulation au fil du temps : Suivre l’évolution d’un paradigme au gré des transformations des capitalismes contemporains von Robert Boyer

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Introduction

    Introduction

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Introduction : une des contributions de la théorie

    Introduction : une des contributions de la théorie

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Introduction : les raisons du choix de ces textes

    Introduction : les raisons du choix de ces textes

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: