|
81.
|
Field Arithmetic
: [electronic resource] /
by Fried, Michael D [author.] | Jarden, Moshe [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 780 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Other title: Revised and Enlarged by Moshe Jarden.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
82.
|
Introduction to Modern Number Theory
: Fundamental Problems, Ideas and Theories /
: [electronic resource] :
by Manin, Yuri Ivanovic [author.] | Panchishkin, Alexei A [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 514 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
83.
|
Valued Fields
: [electronic resource] /
by Engler, Antonio J [author.] | Prestel, Alexander [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 208 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
84.
|
Logica Universalis
: Towards a General Theory of Logic /
: [electronic resource] :
by Beziau, Jean-Yves [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 228 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
85.
|
Reconfigurable Computing
: Accelerating Computation with Field-Programmable Gate Arrays /
: [electronic resource] :
by Gokhale, Maya [author.] | Graham, Paul S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 238 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
86.
|
Discrete, Continuous, and Hybrid Petri Nets
: [electronic resource] /
by David, Ren� [author.1] | Alla, Hassane [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 526 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
87.
|
18 Unconventional Essays on the Nature of Mathematics
: [electronic resource] /
by Hersh, Reuben [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 326 p. 10 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
88.
|
M-Solid Varieties of Algebras
: [electronic resource] /
by Koppitz, J [author.] | Denecke, K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 342 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
89.
|
Mathematical Problems from Applied Logic I
: Logics for the XXIst Century /
: [electronic resource] :
by Gabbay, Dov M [editor.1] | Goncharov, Sergei S [editor.1] | Zakharyaschev, Michael [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 348 p. 50 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
90.
|
Notes on Set Theory
: [electronic resource] /
by Moschovakis, Yiannis [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 278 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
91.
|
A Concise Introduction to Mathematical Logic
: [electronic resource] /
by Rautenberg, Wolfgang [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 256 p. 8 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
92.
|
Problems and Theorems in Classical Set Theory
: [electronic resource] /
by Komjáth, Péter [author.] | Totik, Vilmos [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 516 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
93.
|
Techniques of Constructive Analysis
: [electronic resource] /
by Bridges, Douglas S [author.] | Vîţă, Luminiţa Simona [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 216 p. 10 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
94.
|
More Sets, Graphs and Numbers
: A Salute to Vera Sós and András Hajnal /
: [electronic resource] :
by Győri, Ervin [editor.] | Katona, Gyula O. H [editor.] | Lovász, László [editor.] | Fleiner, Tamás [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 399 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
95.
|
Théorie des ensembles
: [electronic resource] /
by Bourbaki, N [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 337 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
96.
|
Function Algebras on Finite Sets
: A Basic Course on Many-Valued Logic and Clone Theory /
: [electronic resource] :
by Lau, Dietlinde [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 670 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
97.
|
Set Theory
: Centre de Recerca Matemàtica Barcelona, 2003–2004 /
: [electronic resource] :
by Bagaria, Joan [editor.] | Todorcevic, Stevo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 406 p. online resource.Publisher: Basel : Birkhäuser Basel, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
98.
|
Modern Formal Methods and Applications
: [electronic resource] /
by Gabbar, Hossam A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 197 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
99.
|
A Roadmap for Formal Property Verification
: [electronic resource] /
by DasGupta, Pallab [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 252 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
100.
|
Decision Theory and Multi-Agent Planning
: [electronic resource] /
by Riccia, Giacomo Della [editor.] | Dubois, Didier [editor.] | Kruse, Rudolf [editor.] | Lenz, Hanz-Joachim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 198 p. online resource.Publisher: Vienna : Springer Vienna, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|