Your search returned 33 results. Subscribe to this search

|
An elementary overview of mathematical structures [electronic resource] : algebra, topology and categories / by Marco Grandis.

by Grandis, Marco.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific, 2020Online access: Access to full text is restricted to subscribers. Availability: No items available

Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.

by Goguen, Joseph [author.] | Malcolm, Grant | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available

Lattice-Based Public-Key Cryptography in Hardware [electronic resource] / by Sujoy Sinha Roy, Ingrid Verbauwhede.

by Sinha Roy, Sujoy [author.] | Verbauwhede, Ingrid [author.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Fuzzy Hypergraphs and Related Extensions [electronic resource] / by Muhammad Akram, Anam Luqman.

by Akram, Muhammad [author.] | Luqman, Anam [author.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory [electronic resource] / edited by Susanne Saminger-Platz, Radko Mesiar.

by Saminger-Platz, Susanne [editor.] | Mesiar, Radko [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Number Theory Meets Wireless Communications [electronic resource] / edited by Victor Beresnevich, Alister Burr, Bobak Nazer, Sanju Velani.

by Beresnevich, Victor [editor.] | Burr, Alister [editor.] | Nazer, Bobak [editor.] | Velani, Sanju [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Hyper-lattice Algebraic Model for Data Warehousing [electronic resource] / by Soumya Sen, Agostino Cortesi, Nabendu Chaki.

by Sen, Soumya [author.] | Cortesi, Agostino [author.] | Chaki, Nabendu [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

How to Prepare for Quantitative Aptitude for CAT: Common Admission Test and other Management Examinations

by Sharma, Arun.

Edition: 10th Ed. Publisher: Chennai McGraw Hill 2022Availability: No items available Checked out (1).

The Princeton companion to applied mathematics / editor, Nicholas J. Higham, the University of Manchester ; associate editors, Mark R. Dennis, University of Bristol [and four others].

by Higham, Nicholas J, 1961- [editor.] | Dennis, Mark R [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Princeton : Princeton University Press, [2015]Copyright date: �2015Other title: Companion to applied mathematics | Applied mathematics.Online access: Click here to access online Availability: No items available

The secret formula : how a mathematical duel inflamed Renaissance Italy and uncovered the cubic equation / Fabio Toscano ; translated by Arturo Sangalli.

by Toscano, Fabio [author.] | Sangalli, Arturo, 1940- [translator.].

Material type: book Book; Format: available online remote; Nature of contents: biography; Literary form: Not fiction Publisher: Princeton, New Jersey : Princeton University Press, [2020]Online access: Click here to access online Availability: No items available

Reasoning & Aptitude: Theory and Problems with Explanations Gate/PSUs 2017

by Made Easy Publications.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Made Easy Publications 2016Availability: No items available Checked out (1).

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Cryptocoding Based on Quasigroups [electronic resource] / by Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva.

by Mechkaroska, Daniela [author.] | Popovska-Mitrovikj, Aleksandra [author.] | Bakeva, Verica [author.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Sequences and Their Applications - SETA 2008 [electronic resource] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / edited by Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof.

by Golomb, Solomon W [editor.] | Parker, Matthew G [editor.] | Pott, Alexander [editor.] | Winterhof, Arne [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry Ignatov, Jonas Poelmans.

by Domenach, Florent [editor.] | Ignatov, Dmitry [editor.] | Poelmans, Jonas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Coding Theory and Applications [electronic resource] : 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008, Proceedings / edited by Angela Barbero.

by Barbero, Angela [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / edited by Rokia Missaoui, Jürg Schmid.

by Missaoui, Rokia [editor.] | Schmid, Jürg [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Mathematics and Computation in Music [electronic resource] : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / edited by Tom Collins, David Meredith, Anja Volk.

by Collins, Tom [editor.] | Meredith, David [editor.] | Volk, Anja [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings / edited by Léonard Kwuida, Baris Sertkaya.

by Kwuida, Léonard [editor.] | Sertkaya, Baris [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt.

by Kuznetsov, Sergei O [editor.] | Schmidt, Stefan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available