Showing 241 - 260 results of 1,294 for search '"Logic"', query time: 0.06s Refine Results
  1. 241
    Сравнительный анализ систем имитационного моделирования
    Subjects: “...AnyLogic, программное обеспечение...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 242
    Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science /
    by Atmanspacher, Harald
    Published in Springer eBooks (2009)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 243
    Logic in Reality
    by Brenner, Joseph E.
    Published in Springer eBooks (2008)
    Subjects: “...logic 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 244
    Electronics System Design Techniques for Safety Critical Applications
    by Sterpone, Luca
    Published in Springer eBooks (2009)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 245
    From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /
    Published in Springer eBooks (2013)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 246
    Axiomatic Method and Category Theory
    by Rodin, Andrei
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 247
    Heuristic Strategies in the Speeches of Cicero
    by Tahin, Gábor
    Published in Springer eBooks (2014)
    Subjects: “...logic. 295753...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 248
    Janus-Faced Probability
    by Rocchi, Paolo
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical. 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 249
    ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 250
    Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 251
    Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 252
    The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design. 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 253
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 254
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 255
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 256
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 257
    Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 258
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 259
    Trends in Continuum Mechanics of Porous Media
    by Boer, Reint
    Published in Springer e-books (2005)
    Subjects: “...Logic, Symbolic and mathematical 293145...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 260
    Temporal Logic and State Systems
    by Kröger, Fred
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed