Refine your search

Your search returned 2736 results.

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

52.
Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers / edited by René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther.

by Alt, René [editor.] | Frommer, Andreas [editor.] | Kearfott, R. Baker [editor.] | Luther, Wolfram [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 :

53.
STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings / edited by Volker Diekert, Michel Habib.

by Diekert, Volker [editor.] | Habib, Michel [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 :

54.
Experimental and Efficient Algorithms [electronic resource] : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004. Proceedings / edited by Celso C. Ribeiro, Simone L. Martins.

by Ribeiro, Celso C [editor.] | Martins, Simone L [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 :

55.
Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / edited by Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh.

by Rutkowski, Leszek [editor.] | Siekmann, Jörg H [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi 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, 2004Online access: Click here to access online Availability: No items available :

56.
Algorithmic Number Theory [electronic resource] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings / edited by Duncan Buell.

by Buell, Duncan [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 :

57.
Genetic and Evolutionary Computation – GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004. Proceedings, Part I / edited by Kalyanmoy Deb.

by Deb, Kalyanmoy [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 :

58.
Genetic and Evolutionary Computation – GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004. Proceedings, Part II / edited by Kalyanmoy Deb.

by Deb, Kalyanmoy [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 :

59.
Primality Testing in Polynomial Time [electronic resource] : From Randomized Algorithms to "PRIMES Is in P" / by Martin Dietzfelbinger.

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

60.
Fast Software Encryption [electronic resource] : 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004. Revised Papers / edited by Bimal Roy, Willi Meier.

by Roy, Bimal [editor.] | Meier, Willi [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 :

61.
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen.

by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [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 :

62.
Integer Programming and Combinatorial Optimization [electronic resource] : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings / edited by Daniel Bienstock, George Nemhauser.

by Bienstock, Daniel [editor.] | Nemhauser, George [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 :

63.
Logic versus Approximation [electronic resource] : Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday / edited by Wolfgang Lenski.

by Lenski, Wolfgang [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 :

64.
Graphics Recognition. Recent Advances and Perspectives [electronic resource] : 5th International Workshop, GREC 2003, Barcelona, Spain, July 30-31, 2003, Revised Selected Papers / edited by Josep Lladós, Young-Bin Kwon.

by Lladós, Josep [editor.] | Kwon, Young-Bin [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 :

65.
Public Key Infrastructure [electronic resource] : First European PKI Workshop: Research and Applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004. Proceedings / edited by Sokratis K. Katsikas, Stefanos Gritzalis, Javier López.

by Katsikas, Sokratis K [editor.] | Gritzalis, Stefanos [editor.] | López, Javier [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 :

66.
Lectures on Concurrency and Petri Nets [electronic resource] : Advances in Petri Nets / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg.

by Desel, Jörg [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [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 :

67.
Conceptual Structures at Work [electronic resource] : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings / edited by Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach.

by Wolff, Karl Erich [editor.] | Pfeiffer, Heather D [editor.] | Delugach, Harry 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, 2004Online access: Click here to access online Availability: No items available :

68.
Structural Information and Communication Complexity [electronic resource] : 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004. Proceedings / edited by Ratislav Královic̆, Ondrej Sýkora.

by Královic̆, Ratislav [editor.] | Sýkora, Ondrej [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 :

69.
Computing and Combinatorics [electronic resource] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings / edited by Kyung-Yong Chwa, J. Ian J. Munro.

by Chwa, Kyung-Yong [editor.] | Munro, J. Ian 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 :

70.
Information Security and Privacy [electronic resource] : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004. Proceedings / edited by Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan.

by Wang, Huaxiong [editor.] | Pieprzyk, Josef [editor.] | Varadharajan, Vijay [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 :

71.
Combinatorial Pattern Matching [electronic resource] : 15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004. Proceedings / edited by Suleyman Cenk Sahinalp, S. Muthukrishnan, Ugur Dogrusoz.

by Sahinalp, Suleyman Cenk [editor.] | Muthukrishnan, S [editor.] | Dogrusoz, Ugur [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 :

72.
Financial Cryptography [electronic resource] : 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004. Revised Papers / edited by Ari Juels.

by Juels, Ari [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 :

73.
Algorithm Theory - SWAT 2004 [electronic resource] : 9th Scandinavian Workshop on Algorithm Theory, Humlebæk, Denmark, July 8-10, 2004. Proceedings / edited by Torben Hagerup, Jyrki Katajainen.

by Hagerup, Torben [editor.] | Katajainen, Jyrki [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 :

74.
Learning Theory [electronic resource] : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004. Proceedings / edited by John Shawe-Taylor, Yoram Singer.

by Shawe-Taylor, John [editor.] | Singer, Yoram [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 :

75.
Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004. Proceedings / edited by Sotiris E. Nikoletseas, José D. P. Rolim.

by Nikoletseas, Sotiris E [editor.] | Rolim, José D. P [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 :



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