Showing 401 - 420 results of 635 for search '"Logic design."', query time: 0.07s Refine Results
  1. 401
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    by Miculan, Marino
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 402
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 403
    Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
    by Kordon, Fabrice
    Published in Springer eBooks (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 404
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    by Baader, Franz
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 405
    Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /
    by Südholt, Mario
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 406
    Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers /
    by Sichman, Jaime Simão
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 407
    Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
    by Noriega, Pablo
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 408
    Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /
    by Dumas, Marlon
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 409
    ECOOP 2008 вЂ" Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 410
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    by O'Regan, Gerard
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 411
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 412
    Programming Logics Essays in Memory of Harald Ganzinger /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 413
    OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 414
    Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 415
    Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 416
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 417
    Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 418
    SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27вЂ"29, 2001 Proceedings /
    by Reed, Rick
    Published 2006
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 419
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings
    by Barkaoui, Kamel
    Published in Springer e-books (2006)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 420
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    by Cuellar, Jorge
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed