Refine your search

Your search returned 220 results.

Not what you expected? Check for suggestions
26.
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / edited by Horst Reichel.

by Reichel, Horst [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 :

27.
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [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 :

28.
Distributed Algorithms [electronic resource] : 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings / edited by Jean-Michel Hélary, Michel Raynal.

by Hélary, Jean-Michel [editor.] | Raynal, 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, 1995Online access: Click here to access online Availability: No items available :

29.
Algorithm Engineering and Experimentation [electronic resource] : Third International Workshop, ALENEX 2001 Washington, DC, USA, January 5–6, 2001 Revised Papers / edited by Adam L. Buchsbaum, Jack Snoeyink.

by Buchsbaum, Adam L [editor.] | Snoeyink, Jack [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 :

30.
Algorithms — ESA '95 [electronic resource] : Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings / edited by Paul Spirakis.

by Spirakis, 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, 1995Online access: Click here to access online Availability: No items available :

31.
Drawing Graphs [electronic resource] : Methods and Models / edited by Michael Kaufmann, Dorothea Wagner.

by Kaufmann, Michael [editor.] | Wagner, Dorothea [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 :

32.
Algorithm Theory - SWAT 2000 [electronic resource] : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings / 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, 2000Online access: Click here to access online Availability: No items available :

33.
Combinatorial Pattern Matching [electronic resource] : 11th Annual Symposium, CPM 2000 Montreal, Canada, June 21–23, 2000 Proceedings / edited by Raffaele Giancarlo, David Sankoff.

by Giancarlo, Raffaele [editor.] | Sankoff, 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, 2000Online access: Click here to access online Availability: No items available :

34.
Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques [electronic resource] : 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003. Proceedings / edited by Sanjeev Arora, Klaus Jansen, José D. P. Rolim, Amit Sahai.

by Arora, Sanjeev [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Sahai, Amit [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 :

35.
Algorithms - ESA 2000 [electronic resource] : 8th Annual European Symposium Saarbrücken, Germany, September 5–8, 2000 Proceedings / edited by Mike S. Paterson.

by Paterson, Mike 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, 2000Online access: Click here to access online Availability: No items available :

36.
Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13–14, 2001 Proceedings / edited by Kathleen Steinhöfel.

by Steinhöfel, Kathleen [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 :

37.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 27th InternationalWorkshop, WG 2001 Boltenhagen, Germany, June 14–16, 2001 Proceedings / edited by Andreas Brandstädt, Van Bang Le.

by Brandstädt, Andreas [editor.] | Le, Van Bang [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 :

38.
Computational Discrete Mathematics [electronic resource] : Advanced Lectures / edited by Helmut Alt.

by Alt, Helmut [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 :

39.
Integer Programming and Combinatorial Optimization [electronic resource] : 8th International IPCO Conference Utrecht, The Netherlands, June 13–15, 2001 Proceedings / edited by Karen Aardal, Bert Gerards.

by Aardal, Karen [editor.] | Gerards, Bert [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 :

40.
Computational Combinatorial Optimization [electronic resource] : Optimal or Provably Near-Optimal Solutions / edited by Michael Jünger, Denis Naddef.

by Jünger, Michael [editor.] | Naddef, Denis [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 :

41.
Computational Biology [electronic resource] : First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3―5, 2000 Selected Papers / edited by Olivier Gascuel, Marie-France Sagot.

by Gascuel, Olivier [editor.] | Sagot, Marie-France [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 :

42.
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / edited by Kesav V. Nori, Sanjeev Kumar.

by Nori, Kesav V [editor.] | Kumar, Sanjeev [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, 1988Online access: Click here to access online Availability: No items available :

43.
Graph-Theoretic Concepts in Computer Science [electronic resource] : International Workshop WG '88 Amsterdam, The Netherlands, June 15–17, 1988 Proceedings / edited by J. Leeuwen.

by Leeuwen, 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, 1989Online access: Click here to access online Availability: No items available :

44.
STACS 89 [electronic resource] : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 Proceedings / edited by B. Monien, R. Cori.

by Monien, B [editor.] | Cori, 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, 1989Online access: Click here to access online Availability: No items available :

45.
MFDBS 89 [electronic resource] : 2nd Symposium on Mathematical Fundamentals of Database Systems Visegrád, Hungary, June 26–30, 1989 Proceedings / edited by János Demetrovics, Bernhard Thalheim.

by Demetrovics, János [editor.] | Thalheim, Bernhard [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 :

46.
Modified Branching Programs and Their Computational Power [electronic resource] / by Christoph Meinel.

by Meinel, Christoph [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, 1989Online access: Click here to access online Availability: No items available :

47.
Automata, Languages and Programming [electronic resource] : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.

by Ausiello, Giorgio [editor.] | Dezani-Ciancaglini, Mariangiola [editor.] | Rocca, Simonetta Ronchi [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 :

48.
Advances in Cryptology — AUSCRYPT '90 [electronic resource] : International Conference on Cryptology Sydney, Australia, January 8–11, 1990 Proceedings / edited by Jennifer Seberry, Josef Pieprzyk.

by Seberry, Jennifer [editor.] | Pieprzyk, Josef [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, 1990Other title: Proceedings.Online access: Click here to access online Availability: No items available :

49.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 16th International Workshop WG '90 Berlin, Germany, June 20–22, 1990 Proceedings / edited by Rolf H. Möhring.

by Möhring, Rolf 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, 1991Other title: Proceedings.Online access: Click here to access online Availability: No items available :

50.
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / edited by Kesav V. Nori, C. E. Veni Madhavan.

by Nori, Kesav V [editor.] | Veni Madhavan, C. E [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, 1990Online 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