Showing 381 - 400 results of 684 for search '"Logics and Meanings of Programs."', query time: 0.09s Refine Results
  1. 381
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 382
    Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2009)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 383
    Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
    by Kordon, Fabrice
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 384
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 385
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 386
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 387
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 388
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 389
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 390
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 391
    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: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 392
    ECOOP 2008 вЂ" Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 393
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    by O'Regan, Gerard
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 394
    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: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 395
    Programming Logics Essays in Memory of Harald Ganzinger /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 396
    Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 397
    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: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 398
    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: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 399
    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: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 400
    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: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed