Your search returned 48 results.

Not what you expected? Check for suggestions
1.
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: 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 :

2.
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings / edited by Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio.

by Núñez, Manuel [editor.] | Maamar, Zakaria [editor.] | Pelayo, Fernando L [editor.] | Pousttchi, Key [editor.] | Rubio, Fernando [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.
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 :

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

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

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

7.
Hybrid Systems: Computation and Control [electronic resource] : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings / edited by Frits W. Vaandrager, Jan H. Schuppen.

by Vaandrager, Frits W [editor.] | Schuppen, Jan 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, 1999Online access: Click here to access online Availability: No items available :

8.
Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro.

by Bravetti, Mario [editor.] | Kloul, Leïla [editor.] | Zavattaro, Gianluigi [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, 2005Online access: Click here to access online Availability: No items available :

9.
Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings / edited by Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder.

by Reussner, Ralf [editor.] | Mayer, Johannes [editor.] | Stafford, Judith A [editor.] | Overhage, Sven [editor.] | Becker, Steffen [editor.] | Schroeder, Patrick 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, 2005Online access: Click here to access online Availability: No items available :

10.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings / edited by András Horváth, Miklós Telek.

by Horváth, András [editor.] | Telek, Miklós [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, 2006Online access: Click here to access online Availability: No items available :

11.
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.

by Bravetti, Mario [editor.] | Núñez, Manuel [editor.] | Zavattaro, Gianluigi [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, 2006Online access: Click here to access online Availability: No items available :

12.
Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf Reussner.

by Hofmeister, Christine [editor.] | Crnkovic, Ivica [editor.] | Reussner, Ralf [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, 2006Online access: Click here to access online Availability: No items available :

13.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklós Telek.

by Al-Begain, Khalid [editor.] | Heindl, Armin [editor.] | Telek, Miklós [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, 2008Online access: Click here to access online Availability: No items available :

14.
Performance Evaluation: Metrics, Models and Benchmarks [electronic resource] : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings / edited by Samuel Kounev, Ian Gorton, Kai Sachs.

by Kounev, Samuel [editor.] | Gorton, Ian [editor.] | Sachs, Kai [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, 2008Online access: Click here to access online Availability: No items available :

15.
Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits.

by Kordon, Fabrice [editor.] | Sztipanovits, Janos [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, 2007Online access: Click here to access online Availability: No items available :

16.
Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer.

by Gurevich, Yuri [editor.] | Meyer, Bertrand [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, 2007Online access: Click here to access online Availability: No items available :

17.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter.

by Wolter, Katinka [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, 2007Online access: Click here to access online Availability: No items available :

18.
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.

by Kordon, Fabrice [editor.] | Sokolsky, Oleg [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, 2007Online access: Click here to access online Availability: No items available :

19.
Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford.

by Overhage, Sven [editor.] | Szyperski, Clemens A [editor.] | Reussner, Ralf [editor.] | Stafford, Judith 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, 2007Online access: Click here to access online Availability: No items available :

20.
Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle.

by Beckert, Bernhard [editor.] | Hähnle, Reiner [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, 2008Online access: Click here to access online Availability: No items available :

21.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon [editor.] | Heckel, Reiko [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, 2008Online access: Click here to access online Availability: No items available :

22.
Implementation and Application of Functional Languages [electronic resource] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / edited by Olaf Chitil, Zoltán Horváth, Viktória Zsók.

by Chitil, Olaf [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [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, 2008Online access: Click here to access online Availability: No items available :

23.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard.

by Cassez, Franck [editor.] | Jard, 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, 2008Online access: Click here to access online Availability: No items available :

24.
Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker.

by Leucker, Martin [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, 2008Online access: Click here to access online Availability: No items available :

25.
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [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, 2009Online 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