Showing 221 - 240 results of 1,266 for search '"Logic."', query time: 0.07s Refine Results
  1. 221
    Duality Theories for Boolean Algebras with Operators
    by Givant, Steven
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  2. 222
    Axiomatic Method and Category Theory
    by Rodin, Andrei
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  3. 223
    Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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: “...Computer logic....”
    Get full text
    eBook
  4. 224
    Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013 /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  5. 225
    Algorithms in Invariant Theory
    by Sturmfels, Bernd
    Published in Springer eBooks (2008)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  6. 226
    Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  7. 227
    Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  8. 228
    Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  9. 229
    Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  10. 230
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
    by Vounckx, Johan
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 231
    Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  12. 232
    Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  13. 233
    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....”
    Get full text
    eBook
  14. 234
    On Law and Reason
    by Peczenik, Aleksander
    Published in Springer eBooks (2008)
    Subjects: “...logic...”
    Get full text
    eBook
  15. 235
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 236
    Janus-Faced Probability
    by Rocchi, Paolo
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  17. 237
    Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  18. 238
    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....”
    Get full text
    eBook
  19. 239
    From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /
    Published in Springer eBooks (2013)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  20. 240
    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....”
    Get full text
    eBook
Search Tools: Get RSS Feed