Εμφανίζονται 261 - 280 Αποτελέσματα από 6.393 για την αναζήτηση 'Springer Verlag', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 261
    Semantics in databases
    Έκδοση 1998
    “…Springer-Verlag…”
    Βιβλίο
  2. 262
    New trends in formal languages Control,cooperation and combinatorics
    ανά Paun, Gheorghe, Salomaa, Arto
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  3. 263
    Handbook of formal languages
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  4. 264
    Hanbook of formal languages
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  5. 265
    Handbook of formal languages
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  6. 266
    Modern analysis and topology /
    ανά Howes, Norman R.
    Έκδοση 1995
    “…Springer Verlag,…”
    Βιβλίο
  7. 267
    Cooperative information agents II Learning,mobility and electronic commerce for information discovery on the Internet Proceedings of the 2nd Int. Workshop,CIA'98 Paris, France July 4-7,1998
    Έκδοση 1998
    “…Springer-Verlag…”
    Βιβλίο
  8. 268
    Temporal verification of reactive systems Safety
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1995
    “…Springer-Verlag…”
    Βιβλίο
  9. 269
    Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
    Έκδοση 1991
    “…Springer-Verlag…”
    Βιβλίο
  10. 270
    Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
    ανά Godefroid, Patrice
    Έκδοση 1996
    “…Springer-Verlag…”
    Βιβλίο
  11. 271
    Online Algorithms The state of the art [Proceedings} of the Workshop 1996
    Έκδοση 1998
    “…Springer-Verlag…”
    Βιβλίο
  12. 272
    Modern geometry-methods and applications /
    ανά Dubrovin, B.A
    Έκδοση 1984
    “…Springer-Verlag,…”
    Βιβλίο
  13. 273
    Modern graph theory
    ανά Bollobas, Bela
    Έκδοση 1998
    “…Springer-Verlag…”
    Βιβλίο
  14. 274
    Graphs, networks and algorithms
    ανά Jungnickel, Dieter
    Έκδοση 1999
    “…Springer-Verlag…”
    Βιβλίο
  15. 275
    A primer in Petri Net design
    ανά Reisig, Wolfgang
    Έκδοση 1992
    “…Springer-Verlag…”
    Βιβλίο
  16. 276
    Petrinetze Eine Einfuhrung
    ανά Reisig, Wolfgang
    Έκδοση 1986
    “…Springer-Verlag…”
    Βιβλίο
  17. 277
    Models of neural networks
    Έκδοση 1994
    “…Springer - Verlag…”
    Βιβλίο
  18. 278
    Proofs from THE BOOK
    ανά Aigner, Martin 1942-, Ziegler, Gunter M.
    Έκδοση 1999
    “…Springer-Verlag…”
    Βιβλίο
  19. 279
    Averaging methods in nonlinear dynamical systems
    “…Springer-Verlag…”
    Βιβλίο
  20. 280
    Molecular physics and elements of quantum chemistry introduction to experiments and theory
    ανά Haken, Hermann
    Έκδοση 1995
    “…Springer-Verlag…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email