Your search returned 195 results.

Not what you expected? Check for suggestions

Results
			Logic, Computation, Hierarchies. by Brattka, Vasco [editor.] Diener, Hannes [editor.] Spreen, Dieter [editor.] Series: Ontos mathematical logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Boston : De Gruyter, [2014]Copyright date: ©2014 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Codes from difference sets / Cunsheng Ding, the Hong Kong University of Science and Technology, Hong Kong. by Ding, C. (Cunsheng), 1962- Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New Jersey : World Scientific Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Spanning tree results for graphs and multigraphs : a matrix-theoretic approach / Daniel J. Gross, John T. Saccoman, Charles L. Suffel. by Gross, Daniel J [author.] Saccoman, John T [author.] Suffel, Charles L [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New Jersey : World Scientific, [2014]Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 / editors, Shin-ya Nishizaki, Masayuki Numao, Jaime D.L. Caro, Merlin Teodosia C. Suarez. by Nishizaki, Shin-ya [editor.] Numao, Masayuki [editor.] Caro, Jaime D. L [editor.] Suarez, Merlin Teodosia C [editor.] Workshop on Computation Theory and Practice (2013: Diliman, Philippines) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2014 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Understanding the many / Byeong-uk Yi. by Yi, Byeonguk, 1959- [author.] Series: Studies in philosophy (New York, N.Y.) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New York : Routledge, 2002 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			The fascinating world of graph theory / Arthur Benjamin, Gary Chartrand, Ping Zhang. by Benjamin, Arthur [author.] Chartrand, Gary [author.] Zhang, Ping, 1957- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton : Princeton University Press, [2015]Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Convex analysis and optimization in Hadamard spaces / Miroslav Bacák. by Bacák, Miroslav [author.] Series: De Gruyter series in nonlinear analysis and applications ; 22. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; Boston : De Gruyter, [2014] Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Optimization : a theory of necessary conditions / Lucien W. Neustadt. by Neustadt, Lucien W [author.] Series: Princeton legacy library Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton, New Jersey : Princeton University Press, 1976Copyright date: ©1976 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. by Friedman, Daniel P [author.] Eastlund, Carl [author.] Bibby, Duane [illustrator.] Moore, J Strother, 1947- [writer of foreword.] Felleisen, Matthias [writer of afterword.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : MIT Press, [2015]Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu. by Chong, C.-T. (Chi-Tat), 1949- [author.] Yu, Liang (Professor of mathematics) [author.] Series: De Gruyter series in logic and its applications ; 8. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2015]Copyright date: ©2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Dimension theory (PMS-4) / by Witold Hurewicz and Henry Wallman. by Hurewicz, Witold, 1904-1956 [author.] Wallman, Henry, 1915-1992 [author.] Series: Princeton mathematical series Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton : Princeton University Press, 2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Analytic functions / by R. Nevanlinna [and eight others]. by Conference on Analytic Functions (1957 : Institute for Advanced Study (Princeton, N.J.)) Nevanlinna, Rolf, 1895-1980 [author.] Series: Princeton mathematical series ; 24. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton, New Jersey : Princeton University Press, [2015]Copyright date: ©1960 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Flows in networks / by L.R. Ford, D.R. Fulkerson. by Ford, L. R Fulkerson, D. R Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton, N.J. : Princeton University Press, 1974, ©1962 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Mathematics in ancient Egypt : a contextual history / Annette Imhausen. by Imhausen, Annette [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Princeton : Princeton University Press, [2016]Copyright date: ©2016 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Pseudo-matroids and cuts of matroids / Sergey A. Gizunov and V.N. Lyamin (Scientific Research Institute "KVANT", Moscow, Russia), editors. by Gizunov, Sergey A [editor.] Lyamin, V. N [editor.] Series: Mathematics research developments \| Mathematics research developments series Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Hauppauge, New York : Nova Science Publishers, Inc., [2016] Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. by Probst, Dieter, 1973- [editor.] Schuster, Peter, 1967- [editor.] Series: Ontos mathematical logic ; v. 6. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin : De Gruyter, [2016] Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Proving in the elementary mathematics classroom / Andreas J. Stylianides. by Stylianides, Andreas J [author.] Edition: First edition. Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Oxford : Oxford University Press, 2016 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Improved Scheduling Algorithm Using Dynamic Tree Construction for Wireless Sensor Networks. by Venkatachalam, Nithya Perumal, Vaiyshnavi Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [Place of publication not identified] : Diplomica Verlag GmbH : Anchor Academic Publishing, 2016 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Fuzzy systems and data mining II : proceedings of FSDM 2016 / edited by Shilei Sun, Antonio J. Tallón-Ballesteros, Dragan S. Pamučar and Feng Liu. by International Conference on Fuzzy Systems and Data Mining (2nd : 2016 : Macau, China) Sun, Shilei [editor.] Tallón-Ballesteros, A. J [editor.] Pamučar, D. S [editor.] Liu, Feng [editor.] Series: Frontiers in artificial intelligence and applications ; v. 293. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2016 Other title: Fuzzy systems and data mining 2 FSDM 2016 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Quantitative trading : algorithms, analytics, data, models, optimization / Xin Guo, University of California, Berkeley, USA, Tze Leung Lai, Stanford University, California, USA, Howard Shek, Tower Research Capital, New York City, New York, USA, Samuel Po-Shing Wong, 5Lattice Securities Limited, Hong Kong, China. by Guo, Xin, 1969- [author.] Lai, T. L [author.] Shek, Howard [author.] Wong, Samuel Po-Shing [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Boca Raton, FL : CRC Press, [2017]Copyright date: ©2017 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)