Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 71 results. Subscribe to this search

|
21. FSM-based digital design using Verilog HDL

by Minns, Peter | Elliott, Ian.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 391p.Publisher: Chichester John Wiley 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.33 M666f] (1).

22. Digital electronics and design with VHDL

by Pedroni, Volnei A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 693p.Publisher: Amsterdam Elsevier 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 P343d] (1).

23. Introduction to reliable and secure distributed programming

by Cachin, Christian | Guerraoui, Rachid.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xix, 367p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 C113i2] (1).

24. Computer hardware description languages and their applications: proceedings ... :

by International Symposium on Computer Hardware Description Languages and their Applications.

Material type: book Book; Format: print ; Nature of contents: biography Description: v, 276p.Publisher: Institute of Electrical and Electronics Engineers Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64044 In8 ] (1).

25. System-Level Design Techniques for Energy-Efficient Embedded Systems : [electronic resource] /

by Schmitz, Marcus T [author.] | Al-Hashimi, Bashir M [author.] | Eles, Petru [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVII, 194 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).

26. Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France / : [electronic resource] :

by Dissaux, Pierre [editor.] | Filali-Amine, Mamoun [editor.] | Michel, Pierre [editor.] | Vernadat, François [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 211 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).

27. Introduction to Assembly Language Programming : For Pentium and RISC Processors / : [electronic resource] :

by Dandamudi, Sivarama P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 692 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).

28. Evolvable Hardware : [electronic resource] /

by Higuchi, Tetsuya [editor.] | Liu, Yong [editor.] | Yao, Xin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 224 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).

29. Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management : Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China / : [electronic resource] :

by Wang, Kesheng [editor.] | Kovacs, George L [editor.] | Wozny, Michael [editor.] | Fang, Minglun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 1046 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).

30. The Complete IS-IS Routing Protocol : [electronic resource] /

by Gredler, Hannes [author.] | Goralski, Walter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVII, 540 p. 248 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

31. Virtual Machines : [electronic resource] /

by Craig, Iain D [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 269 p. 43 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

32. Ubiquitous and Pervasive Commerce : New Frontiers for Electronic Business / : [electronic resource] :

by Roussos, George [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 194 p. 34 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

33. Low-Power High-Level Synthesis for Nanoscale CMOS Circuits : [electronic resource] /

by Patra, Priyardarsan [author.] | Kougianos, Elias [author.] | Ranganathan, Nagarajan [author.] | Mohanty, Saraju P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXII, 302 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

34. CMOS Active Inductors and Transformers : Principle, Implementation, and Applications / : [electronic resource] :

by Yuan, Fei [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 292 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

35. System Verilog for Verification : A Guide to Learning the Testbench Language Features / : [electronic resource] :

by Spear, Chris [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXVI, 429 p. 5 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

36. Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years Date / : [electronic resource] :

by Lauwereins, Rudy [editor.] | Madsen, Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 516 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).

37. Embedded Systems Specification and Design Languages : Selected contributions from FDL’07 / : [electronic resource] :

by Villar, Eugenio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 275 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).

38. Practical Aspects of Embedded System Design using Microcontrollers : [electronic resource] /

by Parab, Jivan S [author.] | Shinde, Santosh A [author.] | Shelake, Vinod G [author.] | Kamat, Rajanish K [author.] | Naik, Gourish M [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 150 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).

39. Electronic Circuits : Handbook for Design and Application / : [electronic resource] :

by Tietze, Ulrich [author.] | Schenk, Christoph [author.] | Gamm, Eberhard [author.] | SpringerLink (Online service).

Edition: 2nd edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XLVI, 1543 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

40. Peer-to-Peer Computing : Building Supercomputers with Web Technologies / : [electronic resource] :

by Loo, Alfred Wai-Sing [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 268 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha