|
1261.
|
Modalities and Multimodalities
: With the assistance and collaboration of Juliana Bueno-Soler /
: [electronic resource] :
by Carnielli, Walter [author.] | Pizzi, Claudio [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 304 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1262.
|
Language Policy and Nation-Building in Post-Apartheid South Africa
: [electronic resource] /
by Orman, Jon [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 202 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1263.
|
Developing Statistical Software in Fortran 95
: [electronic resource] /
by Lemmon, David R [author.] | Schafer, Joseph L [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 324 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1264.
|
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).
|
|
1265.
|
System Level Design of Reconfigurable Systems-on-Chip
: [electronic resource] /
by Voros, Nikolaos S [editor.] | Masselos, Konstantinos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: 231 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).
|
|
1266.
|
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).
|
|
1267.
|
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).
|
|
1268.
|
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).
|
|
1269.
|
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).
|
|
1270.
|
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).
|
|
1271.
|
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).
|
|
1272.
|
Verification Methodology Manual for SystemVerilog
: [electronic resource] /
by Bergeron, Janick [author.] | Cerny, Eduard [author.] | Hunter, Alan [author.] | Nightingale, Andrew [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 503 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).
|
|
1273.
|
A Practical Introduction to PSL
: [electronic resource] /
by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 240 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).
|
|
1274.
|
Hardware Verification with C++
: A Practitioner’s Handbook /
: [electronic resource] :
by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 341 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).
|
|
1275.
|
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).
|
|
1276.
|
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).
|
|
1277.
|
Recent Advances in Formal Languages and Applications
: [electronic resource] /
by Esik, Zoltán [editor.] | Martín-Vide, Carlos [editor.] | Mitrana, Victor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 373 p. 122 illus., 11 illus. in color. 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).
|
|
1278.
|
Interfacing with C++
: Programming Real-World Applications /
: [electronic resource] :
by Katupitiya, Jayantha [author.] | Bentley, Kim [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 489 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).
|
|
1279.
|
Ernst Zermelo
: An Approach to His Life and Work /
: [electronic resource] :
by Ebbinghaus, Heinz-Dieter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 356 p. 42 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1280.
|
Logica Universalis
: Towards a General Theory of Logic /
: [electronic resource] :
by Beziau, Jean-Yves [editor.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 246 p. online resource.Publisher: Basel : Birkhäuser Basel, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|