Search alternatives:
languages » language (Expand Search)
Showing 1 - 20 results of 654 for search '"Mathematical Logic and Formal Languages."', query time: 0.11s Refine Results
  1. 1
    Programming Sudoku
    by Lee, Wei-Meng
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  2. 2
    Formal Languages and Compilation
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  3. 3
    Constraints Meet Concurrency
    by Mauro, Jacopo
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  4. 4
    Constructing Correct Software
    by Cooke, John
    Published in Springer eBooks (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  5. 5
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  6. 6
    Gentzen's Centenary The Quest for Consistency /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  7. 7
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    by Czelakowski, Janusz
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  8. 8
    Agent Technology from a Formal Perspective
    by Rouff, Christopher A.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  9. 9
    The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  10. 10
    Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  11. 11
    From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice /
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  12. 12
    Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  13. 13
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
    by Mellouli, Khaled
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  14. 14
    Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
    by Goble, Lou
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  15. 15
    Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  16. 16
    Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001 Le Croisic, France, June 27-29, 2001 Proceedings /
    by Groote, Philippe
    Published 2006
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  17. 17
    Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
    by Prade, Henri
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  18. 18
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings
    by Godo, Lluis
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  19. 19
    Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    by Kern-Isberner, Gabriele
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  20. 20
    Mathematical Logic Foundations for Information Science /
    by Li, Wei
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
Search Tools: Get RSS Feed