gogo

Your search returned 13 results.

Sort
Results
Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.]. by Series: Frontiers in artificial intelligence and applications ; v. 185.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
The comparative method : moving beyond qualitative and quantitative strategies / Charles C. Ragin. [electronic resource] by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Oakland, California : University of California Press, 2014Copyright date: ©2014
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Axioms for lattices and boolean algebras [electronic resource] / R. Padmanabhan, S. Rudeanu. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Hackensack, NJ : World Scientific, c2008
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen. [electronic resource] by Series: Ontos mathematical logic ; v. 4.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Boston : De Gruyter, [2014]Copyright date: ©2014
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Boolean functions [electronic resource] : theory, algorithms, and applications / Yves Crama, Peter L. Hammer. by Series: Encyclopedia of mathematics and its applications ; v. 142.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2011
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Bent functions : results and applications to cryptography / by Natalia Tokareva, Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk, Russia. [electronic resource] by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: London, UK : Elsevier Science, [2015]Copyright date: ©2015
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Boolean functions : topics in asynchronicity / Serban E. Vlad. [electronic resource] by
Edition: First edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Hoboken, NJ : Wiley, 2019
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Compact zero-dimensional metric spaces of finite type / by R. S. Pierce. [electronic resource] by Series: Memoirs of the American Mathematical Society ; number 130.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, 1972
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Analytic quotients : theory of liftings for quotients over analytic ideals on the integers / Ilijas Farah. [electronic resource] by Series: Memoirs of the American Mathematical Society ; no. 702.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2000]Copyright date: ©2000
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Special groups : boolean-theoretic methods in the theory of quadratic forms / M.A. Dickmann, F. Miraglia. [electronic resource] by Series: Memoirs of the American Mathematical Society ; no. 689.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, 2000
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Problems and new solutions in the boolean domain / edited by Bernd Steinbach. [electronic resource] by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2016Copyright date: ©2016
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
A unified approach to structural limits and limits of graphs with bounded tree-depth / Jaroslav Nešetřil, Patrice Ossona de Mendez. [electronic resource] by Series: Memoirs of the American Mathematical Society ; number 1272.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2020]Copyright date: ©2020
Online access:
Availability: Items available for loan: TUS: Midlands, Main Library (1)Location, call number: Athlone Online eBook.
Pages

Powered by Koha