|
1281.
|
Hardware Verification with SystemVerilog
: An Object-Oriented Framework /
: [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: XXII, 314 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1282.
|
Optimized ASIP Synthesis from Architecture Description Language Models
: [electronic resource] /
by Schliebusch, Oliver [author.] | Meyr, Heinrich [author.] | Leupers, Rainer [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 182 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1283.
|
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
: [electronic resource] /
by Verma, Manish [author.] | Marwedel, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 188 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1284.
|
Real-Time Object Uniform Design Methodology with UML
: [electronic resource] /
by Duc, Bui Minh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXIV, 480 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1285.
|
Exploring C for Microcontrollers
: A Hands on Approach /
: [electronic resource] :
by Parab, Jivan S [author.] | Shelake, Vinod G [author.] | Kamat, Rajanish K [author.] | Naik, Gourish M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 157 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1286.
|
Advances in Design and Specification Languages for Embedded Systems
: Selected Contributions from FDL'06 /
: [electronic resource] :
by Huss, Sorin A [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 358 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1287.
|
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
: [electronic resource] /
by Ma, Zhe [editor.1 ] | Marchal, Pol [editor.1 ] | Scarpazza, Daniele Paolo [editor.1 ] | Yang, Peng [editor.1 ] | Wong, Chun [editor.1 ] | G�mez, Jos� Ignacio [editor.1 ] | [editor.1 ] | [editor.1 ] | [editor.2 ] | . Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 264 p. online resource.Dordrecht : Springer Netherlands, 2007. Online access: Click here to access online Availability: Items available for loan: (1).
|
|
1288.
|
Logic for Computer Scientists
: [electronic resource] /
by Schöning, Uwe [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 168 p. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1289.
|
Analysis and Synthesis of Logics
: How to Cut and Paste Reasoning Systems /
: [electronic resource] :
by Carnielli, Walter [author.] | Coniglio, Marcelo [author.] | Gabbay, Dov M [author.] | Gouveia, Paula [author.] | Sernadas, Cristina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 602 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).
|
|
1290.
|
Institution-independent Model Theory
: [electronic resource] /
by Diaconescu, Răzvan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 376 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1291.
|
Machines, languages, and complexity:meeting
by International Meeting of Young Computer Scientists(5th:1988:Smolenice, Slovakia) | Dassow, Jürgen, ed | Kelemen, Jozef, ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 244 p.Publisher: Berlin: New York; Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1292.
|
The syntax of verbs
: from verb movement rules in the Kru languages to universal grammar /
by Koopman, Hilda. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 245p.Publisher: Holland Foris 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 K837s] (1).
|
|
1293.
|
Liberty and language
by Sampson, Geoffrey. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 251 p.Publisher: Oxford Oxford University Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.924 Sa48l] (1).
|
|
1294.
|
Linguistic variation
: models and methods
by Sankoff, David [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 296.Publisher: New York Academic Press 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 301.21 L647] (1).
|
|
1295.
|
The languages and linguistics of South Asia
: a comprehensive guide
by Hock, Hans Henrich [ed.] | Bashir, Elena L. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 917p.Publisher: Berlin De Gruyter Mouton 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 409 L269] (1).
|
|
1296.
|
The Routledge handbook of language and identity
by Preece, Sian [ed.]. Description: xxiv, 617p.Publisher: London Routledge 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 400 R765] (1).
|
|
1297.
|
Paradigms, thought, and language
by Markova, Ivana. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 229p.Publisher: Chichester Wiley, 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.42 M342p] (1).
|
|
1298.
|
Human agency and language
by Taylor, Charles. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 294 p.Publisher: New York Cambridge University Press 1985Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 150.1 T212h v.1] (1).
|
|
1299.
|
Individual differences in language ability and language behavior
by Fillmore, Charles J. [ed.] | Kempler, Daniel [ed.] | Wang, William S-Y. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 346p.Publisher: London Academic Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 155.22 In2] (1).
|
|
1300.
|
Second language acquisition
by Klein, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 191p.Publisher: Cambridge Cambridge University Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.9 K672zE] (1).
|