Refine your search

Your search returned 103 results.

Not what you expected? Check for suggestions
1.
Error Detection and Recovery in Robotics [electronic resource] / by Bruce R. Donald.

by Donald, Bruce R [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: New York, NY : Springer New York, 1989Online access: Click here to access online Availability: No items available :

2.
Large-Scale Scientific Computing [electronic resource] : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

3.
Field Programmable Logic and Application [electronic resource] : 14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004. Proceedings / edited by Jürgen Becker, Marco Platzner, Serge Vernalde.

by Becker, Jürgen [editor.] | Platzner, Marco [editor.] | Vernalde, Serge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

4.
Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin.

by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

5.
Numerical Methods and Applications [electronic resource] : 5th International Conference, NMA 2002 Borovets, Bulgaria, August 20–24, 2002 Revised Papers / edited by Ivan Dimov, Ivan Lirkov, Svetozar Margenov, Zahari Zlatev.

by Dimov, Ivan [editor.] | Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Zlatev, Zahari [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

6.
Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003 Trondheim, Norway, March 17–20, 2003 Proceedings / edited by AAndy M. Tyrrell, Pauline C. Haddow, Jim Torresen.

by Tyrrell, AAndy M [editor.] | Haddow, Pauline C [editor.] | Torresen, Jim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

7.
Computer Aided Design Modelling, Systems Engineering, CAD-Systems [electronic resource] : CREST Advanced Course Darmstadt, 8.–19. September 1980 / edited by Jose Encarnacao.

by Encarnacao, Jose [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: No items available :

8.
Attribute Grammars, Applications and Systems [electronic resource] : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings / edited by Henk Alblas, Bořivoj Melichar.

by Alblas, Henk [editor.] | Melichar, Bořivoj [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: No items available :

9.
Methods and Tools for Computer Integrated Manufacturing [electronic resource] : Advanced CREST Course on Computer Integrated Manufacturing (CIM 83) Karlsruhe, Germany, September 5 to 16, 1983 / edited by U. Rembold, R. Dillmann.

by Rembold, U [editor.] | Dillmann, R [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: No items available :

10.
Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings / edited by Daniel Geist, Enrico Tronci.

by Geist, Daniel [editor.] | Tronci, Enrico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

11.
Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods.

by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :

12.
Computer Analysis of Images and Patterns [electronic resource] : 6th International Conference, CAIP '95 Prague, Czech Republic, September 6–8, 1995 Proceedings / edited by Václav Hlaváč, Radim Šára.

by Hlaváč, Václav [editor.] | Šára, Radim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :

13.
Information Management in Computer Integrated Manufacturing [electronic resource] : A Comprehensive Guide to State-of-the-Art CIM Solutions / edited by Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík.

by Adelsberger, Heimo H [editor.] | Lažanský, Jiří [editor.] | Mařík, Vladimír [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :

14.
Field-Programmable Logic and Applications [electronic resource] : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk.

by Moore, Will [editor.] | Luk, Wayne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :

15.
Image Analysis and Processing [electronic resource] : 8th International Conference, ICIAP'95 San Remo, Italy, September 13–15, 1995 Proceedings / edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza.

by Braccini, Carlo [editor.] | DeFloriani, Leila [editor.] | Vernazza, Gianni [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :

16.
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham.

by Margaria, Tiziana [editor.] | Melham, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :

17.
Digital Earth Moving [electronic resource] : First International Symposium, DEM 2001 Manno, Switzerland, September 5–7, 2001 Proceedings / edited by Caroline Y. Westort.

by Westort, Caroline Y [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :

18.
Computer Aided Systems Theory - EUROCAST’99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 Proceedings / edited by Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler.

by Kopacek, Peter [editor.] | Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available :

19.
Symbolic and Numerical Scientific Computation [electronic resource] : Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers / edited by Franz Winkler, Ulrich Langer.

by Winkler, Franz [editor.] | Langer, Ulrich [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

20.
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003. Proceedings / edited by Vladimír Mařík, Duncan McFarlane, Paul Valckenaers.

by Mařík, Vladimír [editor.] | McFarlane, Duncan [editor.] | Valckenaers, Paul [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

21.
Computer Aided Systems Theory - EUROCAST 2003 [electronic resource] : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

22.
Field Programmable Logic and Application [electronic resource] : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings / edited by Peter Cheung, George A. Constantinides.

by Cheung, Peter [editor.] | Constantinides, George A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

23.
A Generative Theory of Shape [electronic resource] / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :

24.
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire.

by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: No items available :

25.
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings / edited by Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido.

by Hochet, Bertrand [editor.] | Acosta, Antonio J [editor.] | Bellido, Manuel J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha