Showing 281 - 300 results of 696 for search '"meaning."', query time: 0.06s Refine Results
  1. 281
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    by Backhouse, Roland
    Published in Springer eBooks (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 282
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 283
    Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 284
    Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 285
    Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 286
    Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 287
    Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 288
    Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 289
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    by Jureta, Ivan
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 290
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 291
    Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 292
    Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 293
    Automotive Software- Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
    by Broy, Manfred
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 294
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 295
    Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 296
    Programming Multi-Agent Systems (vol. # 3346) Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    by Bordini, Rafael H.
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 297
    Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
    by Leite, João
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 298
    Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
    by Thompson, Simon G.
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 299
    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 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 300
    Foundations of Software Science and Computational Structures (vol. # 3441) 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    by Sassone, Vladimiro
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed