Your search returned 1112 results. Subscribe to this search

Not what you expected? Check for suggestions
|
1. New Algorithms, Architectures and Applications for Reconfigurable Computing [electronic resource] / edited by Patrick Lysaght, Wolfgang Rosenstiel.

by Lysaght, Patrick [editor.] | Rosenstiel, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available

2. Electronics System Design Techniques for Safety Critical Applications [electronic resource] / by Luca Sterpone.

by Sterpone, Luca [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available

3. Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers / edited by Frank Dignum.

by Dignum, Frank [editor.] | SpringerLink (Online service).

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

4. Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle.

by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [editor.] | SpringerLink (Online service).

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

5. Formal Approaches to Software Testing [electronic resource] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers / edited by Alexandre Petrenko, Andreas Ulrich.

by Petrenko, Alexandre [editor.] | Ulrich, Andreas [editor.] | SpringerLink (Online service).

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

6. Agent-Oriented Software Engineering IV [electronic resource] : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers / edited by Paolo Giorgini, Jörg P. Müller, James Odell.

by Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | Odell, James [editor.] | SpringerLink (Online service).

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

7. Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings / edited by Bernhard Steffen, Giorgio Levi.

by Steffen, Bernhard [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

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

8. Radical Innovations of Software and Systems Engineering in the Future [electronic resource] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers / edited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo.

by Wirsing, Martin [editor.] | Knapp, Alexander [editor.] | Balsamo, Simonetta [editor.] | SpringerLink (Online service).

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

9. Casl Reference Manual [electronic resource] : The Complete Documentation of the Common Algebraic Specification Language / edited by Peter D. Mosses.

by Mosses, Peter D [editor.] | SpringerLink (Online service).

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

10. Higher-Level Hardware Synthesis [electronic resource] / by Richard Sharp.

by Sharp, Richard [author.] | SpringerLink (Online service).

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

11. Generic Model Management [electronic resource] : Concepts and Algorithms / by Sergey Melnik.

by Melnik, Sergey [author.] | SpringerLink (Online service).

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

12. Fundamental Approaches to Software Engineering [electronic resource] : 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Michel Wermelinger, Tiziana Margaria-Steffen.

by Wermelinger, Michel [editor.] | Margaria-Steffen, Tiziana [editor.] | SpringerLink (Online service).

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

13. Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Evelyn Duesterwald.

by Duesterwald, Evelyn [editor.] | SpringerLink (Online service).

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

14. Programming Languages and Systems [electronic resource] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by David Schmidt.

by Schmidt, David [editor.] | SpringerLink (Online service).

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

15. Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings / edited by Igor Walukiewicz.

by Walukiewicz, Igor [editor.] | SpringerLink (Online service).

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

16. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski.

by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

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

17. Model Checking Software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings / edited by Susanne Graf, Laurent Mounier.

by Graf, Susanne [editor.] | Mounier, Laurent [editor.] | SpringerLink (Online service).

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

18. Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings / edited by Rajeev Alur, George J. Pappas.

by Alur, Rajeev [editor.] | Pappas, George J [editor.] | SpringerLink (Online service).

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

19. Integrated Formal Methods [electronic resource] : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith.

by Boiten, Eerke A [editor.] | Derrick, John [editor.] | Smith, Graeme [editor.] | SpringerLink (Online service).

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

20. Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth.

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

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

21. Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / edited by Wolf Zimmermann, Bernhard Thalheim.

by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

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

22. Component-Based Software Engineering [electronic resource] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004. Proceedings / edited by Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau.

by Crnkovic, Ivica [editor.] | Stafford, Judith A [editor.] | Schmidt, Heinz W [editor.] | Wallnau, Kurt [editor.] | SpringerLink (Online service).

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

23. Practical Aspects of Declarative Languages [electronic resource] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings / edited by Bharat Jayaraman.

by Jayaraman, Bharat [editor.] | SpringerLink (Online service).

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

24. Component Deployment [electronic resource] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings / edited by Wolfgang Emmerich, Alexander L. Wolf.

by Emmerich, Wolfgang [editor.] | Wolf, Alexander L [editor.] | SpringerLink (Online service).

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

25. ECOOP 2004 – Object-Oriented Programming [electronic resource] : 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings / edited by Martin Odersky.

by Odersky, Martin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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