Treffer 1 - 20 von 178 für Suche 'Rus, Teodor', Suchdauer: 0,61s Treffer weiter einschränken
  1. 1
    Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

    Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, M... von Bertran, Miquel, Rus, Teodor


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

    Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings von Rus, Teodor


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Computer Integration within Problem Solving Process

    Computer Integration within Problem Solving Process von Rus, Teodor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Milestones for Computing Future

    Milestones for Computing Future von Rus, Teodor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Algebraic methodology and software technology: 8th international conference, AMAST 2000, Iowa City, Iowa, USA May 20-27, 2000 : proceedings

    Algebraic methodology and software technology: 8th international conference, AMAST 2000, Iowa City, Iowa, USA May 20-27, 2000 : proceedings von Rus, Teodor

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A unified language processing methodology

    A unified language processing methodology von Rus, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology von TINELLI, Cesare, RUS, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Preface

    Preface von Tinelli, Cesare, Rus, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Liberate Computer User from Programming

    Liberate Computer User from Programming von Rus, Teodor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum

    Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum von Wing, Jeannette M.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Preface

    Preface von Bertran, Miquel, Rus, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Context-free algebra: A mathematical device for compiler specification

    Context-free algebra: A mathematical device for compiler specification von Rus, Teodor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Algebraic processing of programming languages

    Algebraic processing of programming languages von Rus, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

    Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, M... von Bertran, Miquel, Rus, Teodor, Hartmanis, J, Van Leeuwen, Jan, Bertran, Miguel

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Invited Talk: A Software Engineering Program of Lasting Value

    Invited Talk: A Software Engineering Program of Lasting Value von Parnas, David L., Eng, P.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Editorial

    Editorial von Rus, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Refining interval temporal logic specifications

    Refining interval temporal logic specifications von Cau, Antonio, Zedan, Hussein


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    PLC-automata: A new class of implementable real-time automata

    PLC-automata: A new class of implementable real-time automata von Dierks, Henning


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Real-time systems and concurrent and distributed software

    Real-time systems and concurrent and distributed software von BERTRAN, Miquel, RUS, Teodor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Editorial

    Editorial von Rus, Teodor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: