Refine your search

Your search returned 327 results.

Not what you expected? Check for suggestions
26.
Dependable Computing EDCC-4 [electronic resource] : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings / edited by Andrea Bondavalli, Pascale Thevenod-Fosse.

by Bondavalli, Andrea [editor.] | Thevenod-Fosse, Pascale [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 :

27.
Parallel and Distributed Processing and Applications [electronic resource] : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings / edited by Minyi Guo, Laurence Tianruo Yang.

by Guo, Minyi [editor.] | Yang, Laurence Tianruo [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 :

28.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings / edited by Jorge Juan Chico, Enrico Macii.

by Chico, Jorge Juan [editor.] | Macii, 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 :

29.
Queueing Networks with Discrete Time Scale [electronic resource] : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks / by Hans Daduna.

by Daduna, Hans [author.] | 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 :

30.
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen.

by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [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 :

31.
Parallel Computing Technologies [electronic resource] : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12–25, 1995 Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [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 :

32.
Quantitative Evaluation of Computing and Communication Systems [electronic resource] : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95 / edited by Heinz Beilner, Falko Bause.

by Beilner, Heinz [editor.] | Bause, Falko [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 :

33.
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [electronic resource] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings / edited by Luca Alfaro, Stephen Gilmore.

by Alfaro, Luca [editor.] | Gilmore, Stephen [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 :

34.
Concepts in User Interfaces: A Reference Model for Command and Response Languages [electronic resource] / edited by David Beech.

by Beech, David [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, 1986Online access: Click here to access online Availability: No items available :

35.
Performance Engineering [electronic resource] : State of the Art and Current Trends / edited by Reiner Dumke, Claus Rautenstrauch, André Scholz, Andreas Schmietendorf.

by Dumke, Reiner [editor.] | Rautenstrauch, Claus [editor.] | Scholz, André [editor.] | Schmietendorf, Andreas [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 :

36.
Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings / edited by Rogério Lemos, Taisy Silva Weber, João Batista Camargo.

by Lemos, Rogério [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [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 :

37.
Computer Performance Evaluation. Modelling Techniques and Tools [electronic resource] : 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings / edited by Peter Kemper, William H. Sanders.

by Kemper, Peter [editor.] | Sanders, William H [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 :

38.
Integrated Circuit Design [electronic resource] : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings / edited by Dimitrios Soudris, Peter Pirsch, Erich Barke.

by Soudris, Dimitrios [editor.] | Pirsch, Peter [editor.] | Barke, Erich [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 :

39.
Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks [electronic resource] : IFIP-TC6/European Commission International Conference Paris, France, May 14–19, 2000 Proceedings / edited by Guy Pujolle, Harry Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis.

by Pujolle, Guy [editor.] | Perros, Harry [editor.] | Fdida, Serge [editor.] | Körner, Ulf [editor.] | Stavrakakis, Ioannis [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 :

40.
Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings / edited by Holger Hermanns, Roberto Segala.

by Hermanns, Holger [editor.] | Segala, Roberto [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 :

41.
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 :

42.
Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers / edited by Enrico Gregori, Ludmila Cherkasova, Gianpaolo Cugola, Fabio Panzieri, Gian Pietro Picco.

by Gregori, Enrico [editor.] | Cherkasova, Ludmila [editor.] | Cugola, Gianpaolo [editor.] | Panzieri, Fabio [editor.] | Picco, Gian Pietro [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 :

43.
Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] : Performance 2002 Tutorial Lectures / edited by Maria Carla Calzarossa, Salvatore Tucci.

by Calzarossa, Maria Carla [editor.] | Tucci, Salvatore [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 :

44.
Interactive Markov Chains [electronic resource] : And the Quest for Quantified Quality / edited by Holger Hermanns.

by Hermanns, Holger [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 :

45.
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / edited by Matthias Pflanz.

by Pflanz, Matthias [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 :

46.
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation — SAMOS / edited by Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis.

by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [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 :

47.
Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings / edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder.

by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [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 :

48.
High Performance Transaction Systems [electronic resource] : 2nd International Workshop Asilomar Conference Center, Pacific Grove, CA, USA September 28–30, 1987 Proceedings / edited by Dieter Gawlick, Mark Haynie, Andreas Reuter.

by Gawlick, Dieter [editor.] | Haynie, Mark [editor.] | Reuter, Andreas [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, 1989Online access: Click here to access online Availability: No items available :

49.
PARLE '89 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre.

by Odijk, Eddy [editor.] | Rem, Martin [editor.] | Syre, Jean-Claude [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, 1989Online access: Click here to access online Availability: No items available :

50.
Computer Performance Evaluation.Modelling Techniques and Tools [electronic resource] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith.

by Haverkort, Boudewijn R [editor.] | Bohnenkamp, Henrik C [editor.] | Smith, Connie U [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 :


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