Εμφανίζονται 1.241 - 1.260 Αποτελέσματα από 6.399 για την αναζήτηση 'Springer Verlag', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1241
    Handbook of formal languages
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  2. 1242
    Hanbook of formal languages
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  3. 1243
    Handbook of formal languages
    Έκδοση 1997
    “…Springer-Verlag…”
    Βιβλίο
  4. 1244
    Modern analysis and topology /
    ανά Howes, Norman R.
    Έκδοση 1995
    “…Springer Verlag,…”
    Βιβλίο
  5. 1245
    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…”
    Βιβλίο
  6. 1246
    Temporal verification of reactive systems Safety
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1995
    “…Springer-Verlag…”
    Βιβλίο
  7. 1247
    Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
    Έκδοση 1991
    “…Springer-Verlag…”
    Βιβλίο
  8. 1248
    Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
    ανά Godefroid, Patrice
    Έκδοση 1996
    “…Springer-Verlag…”
    Βιβλίο
  9. 1249
    Online Algorithms The state of the art [Proceedings} of the Workshop 1996
    Έκδοση 1998
    “…Springer-Verlag…”
    Βιβλίο
  10. 1250
    Modern geometry-methods and applications /
    ανά Dubrovin, B.A
    Έκδοση 1984
    “…Springer-Verlag,…”
    Βιβλίο
  11. 1251
    Modern graph theory
    ανά Bollobas, Bela
    Έκδοση 1998
    “…Springer-Verlag…”
    Βιβλίο
  12. 1252
    Graphs, networks and algorithms
    ανά Jungnickel, Dieter
    Έκδοση 1999
    “…Springer-Verlag…”
    Βιβλίο
  13. 1253
    A primer in Petri Net design
    ανά Reisig, Wolfgang
    Έκδοση 1992
    “…Springer-Verlag…”
    Βιβλίο
  14. 1254
    Petrinetze Eine Einfuhrung
    ανά Reisig, Wolfgang
    Έκδοση 1986
    “…Springer-Verlag…”
    Βιβλίο
  15. 1255
    Models of neural networks
    Έκδοση 1994
    “…Springer - Verlag…”
    Βιβλίο
  16. 1256
    Proofs from THE BOOK
    ανά Aigner, Martin 1942-, Ziegler, Gunter M.
    Έκδοση 1999
    “…Springer-Verlag…”
    Βιβλίο
  17. 1257
    Averaging methods in nonlinear dynamical systems
    “…Springer-Verlag…”
    Βιβλίο
  18. 1258
    Molecular physics and elements of quantum chemistry introduction to experiments and theory
    ανά Haken, Hermann
    Έκδοση 1995
    “…Springer-Verlag…”
    Βιβλίο
  19. 1259
    Deterministic and stochastic optimal control /
    “…Springer-Verlag,…”
    Βιβλίο
  20. 1260
    Multiple scale and singular perturbation methods /
    ανά Kevorkian, J.
    Έκδοση 1996
    “…Springer Verlag,…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email