Showing 261 - 280 results of 285 for search '', query time: 0.03s Refine Results
  1. 261
  2. 262

    Analysis and verification of multiple-agent languages /

    Published 1997
    Conference Proceeding Book
  3. 263
  4. 264

    Design and implementation of symbolic computation systems /

    Published 1996
    Conference Proceeding Book
  5. 265

    Formal techniques in real-time and fault-tolerant systems /

    Published 1996
    Conference Proceeding Book
  6. 266

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    Book
  7. 267

    Mathematical foundations of computer science /

    Published 1996
    Conference Proceeding Book
  8. 268

    ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

    Published 1996
    Conference Proceeding Book
  9. 269

    Object technologies for advanced software /

    Published 1996
    Conference Proceeding Book
  10. 270

    Rewriting techniques and applications /

    Published 1996
    Conference Proceeding Book
  11. 271

    Programming the microsoft windows driver model / by Oney, Walter

    Published 1999
    Book
  12. 272

    The programming language ADA : reference manual /

    Published 1981
    Book
  13. 273

    Programming languages and systems-ESOP'96 /

    Published 1996
    Conference Proceeding Book
  14. 274
  15. 275

    ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  16. 276

    KORSO : methods, languages and tools for the construction of correct software. Final Report /

    Published 1995
    Book
  17. 277

    SOFSEM'95 : theory and practice /

    Published 1995
    Conference Proceeding Book
  18. 278

    Coordination languages and models /

    Published 1996
    Conference Proceeding Book
  19. 279

    Programming with Assembler Laguage AAS 300 / by Ernst, Manfred

    Published 1980
    Book
  20. 280

    Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /

    Published 1996
    Conference Proceeding Book