Results of search for 'ccl=Provider:Springer , and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'

Results
		Categories / Horst Schubert ; translated from the German by Eva Gray. by Schubert, Horst. Material type: Book Publisher: Berlin ; Springer-Verlag, 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sch783 Ca. Place hold Log in to add tags Add to cart (remove)
		The structure and dynamics of theories / Wolfgang Stegmuller. by Stegmuller, Wolfgang. Material type: Book Publisher: New York : Springer-Verlag, 1976Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 501 St329 St. Place hold Log in to add tags Add to cart (remove)
		No cover image available Automation of reasoning / edited by Jorg Siekmann and Graham Wrightson. Material type: Book Publisher: Berlin ; Springer-Verlag , 1983Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 511.302856333 Si158 Au. Place hold Log in to add tags Add to cart (remove)
		Petri nets : an introduction / Wolfgang Reisig. by Reisig, Wolfgang. Material type: Book Publisher: Berlin ; Springer-Verlag, 1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 R2777 Pe. Place hold Log in to add tags Add to cart (remove)
		Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring. by Takeuti, G. Material type: Book Publisher: New York : Springer-Verlag, 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 T1397 In. Place hold Log in to add tags Add to cart (remove)
		Computability and decidability : an introduction for students of computer science / J. Loeckx. by Loeckx, Jacques. Material type: Book Publisher: Berlin : Springer-Verlag, 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 L822 Co. Place hold Log in to add tags Add to cart (remove)
		Scientists in search of their conscience / edited by Anthony R. Michaelis and Hugh Harvey. Material type: Book Publisher: Berlin : Springer-Verlag, 1973Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 509 W439 Sc. Place hold Log in to add tags Add to cart (remove)
		Metamathematical investigation of intuitionistic arithmetic and analysis / edited by A.S. Troelstra . Material type: Book Publisher: Berlin : Springer-Verlag, 1973Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.22 T743 Me. Place hold Log in to add tags Add to cart (remove)
		Introduction to college mathematics with A Programming Language / E. J. LeCuyer. by LeCuyer, Edward J. Material type: Book Publisher: New York : Springer-Verlag, c1978Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 510.2855133 L4981 In. Place hold Log in to add tags Add to cart (remove)
		Self-reference and modal logic / C. Smorynski. by Smorynski, C. Material type: Book Publisher: New York : Springer-Verlag, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sm79 Se. Place hold Log in to add tags Add to cart (remove)
		The Merging of disciplines : new directions in pure, applied, and computational mathematics : proceedings of a symposium held in honor of Gail S. Young at the University of Wyoming, August 8-10, 1985 / sponsored by the Sloan Foundation, the National Science Foundation, and the Air Force Office of Scientific Research ; edited by Richard E. Ewing, Kenneth I. Gross and Clyde F. Martin. Material type: Book Publisher: New York : Springer-Verlag, c1986Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 510 Ew55 Me. Place hold Log in to add tags Add to cart (remove)
		Naive set theory / by Paul R. Halmos. by Halmos, Paul R. Material type: Book Publisher: New Delhi : Springer, 1974Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.322 H162 Na. Place hold Log in to add tags Add to cart (remove)
		No cover image available Proceedings of the conference on the numerical solution of ordinary differential equations / edited by Dale G Bettis. Material type: Book Publisher: Berlin : Springer-Verlag, 1974Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.33 C76061 Pr. Place hold Log in to add tags Add to cart (remove)
		No cover image available Mathematical systems theory and economics : proceeding of an International Summer School held in Varenna, Italy, June 1-12, 1967 / edited by H. W. Kuhn, G. P. Szego. Material type: Book Publisher: Berlin : Springer-Verlag, 1969Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 510.2433 In867 Ma. Place hold Log in to add tags Add to cart (remove)
		No cover image available Nonlinear waves / edited by A.V. Gaponov-Grekhov, M.I. Rabinovich and J. Engelbrecht. Material type: Book Publisher: Berlin ; Springer-Verlag, 1989-1990Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 531.124 G1599 No. Place hold Log in to add tags Add to cart (remove)
		Axiomatic set theory / G. Takeuti, W. M. Zaring. by Takeuti, Gaisi. Material type: Book Publisher: New York : Springer-Verlag, 1973Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 T1397 Ax. Place hold Log in to add tags Add to cart (remove)
		No cover image available Lectures in pattern theory / U. Grenander. by Grenander, Ulf. Material type: Book Publisher: New York : Springer-Verlag, 1976-1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 510 G8651 Le. Place hold Log in to add tags Add to cart (remove)
		The physics of structural phase transitions / Minoru Fujimoto. by Fujimoto, Minoru. Material type: Book Publisher: New York : Springer, 2002, c1997Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 530.414 F9555 Ph. Place hold Log in to add tags Add to cart (remove)
		Algebraic logic / S.G. Gindikin ; translated by Robert H. Silverman. by Gindikin, S. G. Material type: Book Publisher: New York : Springer-Verlag, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.324 G431 Al. Place hold Log in to add tags Add to cart (remove)
		No cover image available An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack. by Barnes, Donald W. Material type: Book Publisher: New York : Springer-Verlag, 1975Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 B2611 Al. Place hold Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 83 results.