Showing 561 - 580 results of 2,188 for search '"programs"', query time: 0.07s Refine Results
  1. 561
    Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
    by Baldoni, Matteo
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  2. 562
    Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
    by Uustalu, Tarmo
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  3. 563
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    by Futatsugi, Kokichi
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  4. 564
    Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
    by Baldoni, Matteo
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  5. 565
    Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers /
    by Dastani, Mehdi
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  6. 566
    Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
    by Lightfoot, David
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  7. 567
    Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
    by Bordini, Rafael H.
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  8. 568
    Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
    by Dearle, Alan
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  9. 569
    Advances in Knowledge Discovery and Data Mining 6th Pacific-Asia Conference, PAKDD 2002 Taipei, Taiwan, May 6-8, 2002 Proceedings /
    by Chen, Ming-Syan
    Published 2006
    Subjects: “...Statistics and Computing/Statistics Programs...”
    Get full text
    eBook
  10. 570
    Multiparadigm Programming in Mozart Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
    by Van Roy, Peter
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  11. 571
    User-Level Workflow Design A Bioinformatics Perspective /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  12. 572
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Programming Techniques....”
    Get full text
    eBook
  13. 573
    Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  14. 574
    System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Programming Languages, Compilers, Interpreters....”
    Get full text
    eBook
  15. 575
    Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  16. 576
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  17. 577
    Data Analysis, Machine Learning and Knowledge Discovery
    Published in Springer eBooks (2014)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  18. 578
    Scala Design Patterns Patterns for Practical Reuse and Design /
    by Hunt, John
    Published in Springer eBooks (2013)
    Subjects: “...Software Engineering/Programming and Operating Systems....”
    Get full text
    eBook
  19. 579
    The Coder's Path to Wealth and Independence
    by Beckner, Mark
    Published in Springer eBooks (2014)
    Subjects: “...Programming Techniques....”
    Get full text
    eBook
  20. 580
    Linear Integer Programming Theory, Applications, Recent Developments
    by Munapo, Elias
    Published 2022
    Subjects: “...Integer programming....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed