Showing 1,361 - 1,380 results of 1,563 for search '"OPERATION"', query time: 0.10s Refine Results
  1. 1361
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published in Springer eBooks (2015)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 1362
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 1363
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    by Poernomo, Iman Hafiz
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 1364
    Optimized ASIP Synthesis from Architecture Description Language Models
    by Schliebusch, Oliver
    Published in Springer e-books (2007)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 1365
    Software Process Modeling
    by Acuna, Silvia T.
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 1366
    A Software Process Model Handbook for Incorporating People's Capabilities
    by Acuna, Silvia T.
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 1367
    Geometric Integration Theory
    by Parks, Harold
    Published in Springer eBooks (2008)
    Subjects: “...Integral Transforms, Operational Calculus 307454...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 1368
    Level Crossing Methods in Stochastic Models
    by Brill, Percy H.
    Published in Springer eBooks (2008)
    Subjects: “...Operations Research/Decision Theory 303061...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 1369
    High Performance Computing вЂ" HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings /
    by Aluru, Srinivas
    Published in Springer eBooks (2007)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 1370
    High Performance Computing Г» HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
    by Bader, David A.
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 1371
    Guide to Advanced Empirical Software Engineering
    by Shull, Forrest
    Published in Springer e-books (2008)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 1372
    Physics of Collisional Plasmas Introduction to High-Frequency Discharges /
    Subjects: “...Operating Procedures, Materials Treatment. 294372...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 1373
    Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 1374
    Polishing of Diamond Materials Mechanisms, Modeling and Implementation /
    by Chen, Yiqing, Zhang, Liangchi
    Published in Springer eBooks (2013)
    Subjects: “...Operating Procedures, Materials Treatment. 294372...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 1375
    An Introduction to Surface Alloying of Metals
    Subjects: “...Operating Procedures, Materials Treatment. 294372...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 1376
    Operations Research and Enterprise Systems Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Operations Management. 460053...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 1377
    eScience on Distributed Computing Infrastructure Achievements of PLGrid Plus Domain-Specific Services and Tools /
    Published in Springer eBooks (2014)
    Subjects: “...Software Engineering/Programming and Operating Systems. 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 1378
    Urban agriculture and city sustainability
    Published 2019
    Subjects: “...TECHNOLOGY & ENGINEERING Operations Research. bisacsh 901684...”
    Get full text
    Перейти в каталог НБ ТГУ
    Conference Proceeding eBook
  19. 1379
    Interconnect-Centric Design for Advanced SoC and NoC
    by Nurmi, Jari
    Published in Springer e-books (2005)
    Subjects: “...Software Engineering/Programming and Operating Systems 303115...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 1380
    Bonding in Microsystem Technology
    by Dziuban, Jan A.
    Published in Springer e-books (2006)
    Subjects: “...Operating Procedures, Materials Treatment 294372...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed