gefundene Verfasser Meseguer Meseguer, J. M.

Meseguer, José
Goguen, Joseph 1941-2006
Meseguer Fernández, Juan 1913-1987
Sánchez Meseguer, José
Pineda, Juan de 1558-1637
Alle anzeigen »
Nieto Gallo, Gratiniano 1917-1985
Martí-Oliet, Narciso
Meseguer, José 1950-
Montanari, Ugo 1943-
Poyato Holgado, María del Carmen

Treffer 1 - 20 von 67 für Suche 'Meseguer Meseguer, J. M.', Suchdauer: 0,65s Treffer weiter einschränken
  1. 1
    Arithmetic and Algebraic Circuits

    Arithmetic and Algebraic Circuits von Lloris Ruiz, Antonio, Castillo Morales, Encarnación, Parrilla Roure, Luis, García Ríos, Antonio, Lloris Meseguer, María José

    Veröffentlicht 2021

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Spacecraft thermal control

    Spacecraft thermal control von Meseguer, J.

    Veröffentlicht 2012
    TUM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Algebras with actions and automata

    Algebras with actions and automata von Kühnel, Wolfgang 1950-, Meseguer, José 1950-, Pfender, M., Sols, I.

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Primitive recursive algebraic theories and program schemes

    Primitive recursive algebraic theories and program schemes von Kühnel, Wolfgang 1950-, Meseguer, José 1950-, Pfender, M., Sols, I.

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Jordi Pere Cerdà o l'ànima literària de la Cerdanya el pensament poètic i el compromís amb la paraula

    Jordi Pere Cerdà o l'ànima literària de la Cerdanya el pensament poètic i el compromís amb la paraula von Marqués Meseguer, Josep 1987-

    Veröffentlicht 2021
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Conditional rewriting logic deduction, models and concurrency

    Conditional rewriting logic deduction, models and concurrency von Meseguer, José

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Order-sorted algebra

    Order-sorted algebra von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Models and equality for logical programming

    Models and equality for logical programming von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Deduction with many sorted rewrite

    Deduction with many sorted rewrite von Meseguer, José, Goguen, Joseph 1941-2006

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Completeness of many-sorted equational logic

    Completeness of many-sorted equational logic von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Parameterized programming

    Parameterized programming von Goguen, Joseph 1941-2006, Meseguer, José

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The electoral determinants of collective remittances the Mexican 3x1 program for migrants

    The electoral determinants of collective remittances the Mexican 3x1 program for migrants von Aparicio, Javier, Meseguer, Covadonga

    Veröffentlicht 2009
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Order sorted unification

    Order sorted unification von Meseguer, José, Goguen, Joseph 1941-2006, Smolka, Gert 1955-

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Concurrent term rewriting as a model of computation

    Concurrent term rewriting as a model of computation von Goguen, Joseph 1941-2006, Kirchner, Claude, Meseguer, José

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Axiomatizing the algebra of net computations and processes

    Axiomatizing the algebra of net computations and processes von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Axiomatizing the algebra of net computations and processes

    Axiomatizing the algebra of net computations and processes von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    El cerro de la Encantada granátula de Calatrava (Ciudad Real)

    El cerro de la Encantada granátula de Calatrava (Ciudad Real) von Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Oreto I

    Oreto I von Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José, Poyato Holgado, María del Carmen

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Spacecraft thermal control

    Spacecraft thermal control von Meseguer, José

    Veröffentlicht 2012
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Conditional rewriting logic as a unified model of concurrency

    Conditional rewriting logic as a unified model of concurrency von Meseguer, José

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: