| 暂存书架(0) | 登录

检索到 13 条 丛书名=Tutorial 的结果    

 


所有图书 可借图书

  1. 西文图书1.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/NT

    馆藏复本：1
    可借复本：1     Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
    Springer, c2002.
    (0) 馆藏

  2. 西文图书2.Association rule mining : models and algorithms / TP311.13/ZCQ

    馆藏复本：1
    可借复本：1     Chengqi Zhang, Shichao Zhang.
    Springer, c2002.
    (0) 馆藏

  3. 西文图书3.Theoretical aspects of computer science : advanced lectures / TP301-53/SST

    馆藏复本：1
    可借复本：1     Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi (eds.).
    Springer, c2002.
    (0) 馆藏

  4. 西文图书4.Constraints in computational logics : theory and applications : international summer school, CCL'99, TP3-53/CCL

    馆藏复本：1
    可借复本：1     Hubert Comon, Claude Marche, Ralf Treinen (eds.).
    Springer, c2001.
    (0) 馆藏

  5. 西文图书5.Machine learning and its applications : advanced lectures / TP181/MLA

    馆藏复本：1
    可借复本：1     Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (eds.).
    Springer, c2001.
    (0) 馆藏

  6. 西文图书6.Queueing networks with discrete time scale : explicit expressions for the steady state behavior of d O226/DH

    馆藏复本：1
    可借复本：1     Hans Daduna.
    Springer, c2001.
    (0) 馆藏

  7. 西文图书7.Telecommunication principles / TN91/OJJ

    馆藏复本：1
    可借复本：1     J.J.O'Reilly.
    Van Nostrand Reinhold (UK), 1984.
    (0) 馆藏

  8. 西文图书8.Embedded processor design challenges : systems, architectures, modeling, and simulation--SAMOS / TP368-53/SAM

    馆藏复本：1
    可借复本：1     Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis (eds.).
    Springer, c2002.
    (0) 馆藏

  9. 西文图书9.Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, Jun TP338.6-53/MOV

    馆藏复本：1
    可借复本：1     Franck Cassez ... [et al.] (eds.).
    Springer, c2001.
    (0) 馆藏

  10. 西文图书10.Multi-agent systems and applications : 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd Eur TP18-53/ACA

    馆藏复本：1
    可借复本：1     Michael Luck ... [et al.] (eds.).
    Springer, c2001.
    (0) 馆藏

  11. 西文图书11.Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Comp TP311.5-53/EEF

    馆藏复本：1
    可借复本：1     Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).
    Springer, c2001.
    (0) 馆藏

  12. 西文图书12.Digital and image geometry : advanced lectures / TP391.41/DIG

    馆藏复本：1
    可借复本：1     Gilles Bertrand, Atsushi Imiya, Reinhard Klette (eds.).
    Springer, c2001.
    (0) 馆藏

  13. 西文图书13.Computational combinatorial optimization : optimal or provably near-optimal solutions / O221-53/SSC

    馆藏复本：1
    可借复本：1     Michael Jünger, Denis Naddef (eds.).
    Springer, c2001.
    (0) 馆藏

返回顶部