Your search returned 7433 results.

Sort
Results
801.
Dynamical systems and bifurcations/edited by B.L.J. Braaksma, H.W. Broer and F. Takens. by Series: Lecture notes in mathematics ; v.1125
Material type: Text Text
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003 N859.

802.
Graph grammars and their application to computer science - Proceedings ed. by H. Ehrig, H.J. Kreowski and G. Rozenberg by Series: Lecture Notes in Computer Science ; 532
Material type: Text Text
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015115 N91;1.

803.
Graph-grammars and their application to computer science ed.by H. Ehrig, M. Nagl , G.R. Rozenberg. by Series: Lecture notes in computer science No.291
Material type: Text Text
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015115 N87.

804.
Graph-theoretic cpncepts in computer science /ed. by H. Goottler and H.J. Schneider. by Series: Lecture notes in computer science ; v.314
Material type: Text Text
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: Electrical Communication Engineering: Not for loan (1)Call number: 511.5 N882.

805.
Languages and compilers for parallel computing ed. by Utpal Banerjee, [et al] by Series: Lecture Notes in Computer Science ; 757
Material type: Text Text
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N938.

806.
Nonlinear evolution equations & dynamical systems - Proceedings ed.by V.G.Makhakov, O.K.Pashaev by Series: Research reports in physics
Material type: Text Text
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515.352 N913.

807.
Advances in object-oriented database systems. ed K R Dittrich by Series: Lecture notes in computer science ;
Material type: Text Text
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N889.

808.
Persistent object systems : proceedings of the third international workshop edi by John Rosenberg and David Koch by Series: Workshops in computing ;
Material type: Text Text
Publication details: London Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.117 N90.

809.
High precision navigation integration of navigational and geodetic methods ed. by K. Linkwitz, U. Hangleiter. by
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 526.3 N89.

810.
Automated and algorithmic debugging ed. by Peter A. Fritzson by Series: Lecture Notes in Computer science ; 749
Material type: Text Text
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N93;1.

811.
Meta-programming in logic - Proceedings ed. by A. Pettorossi by Series: Lecture Notes in computer science ; 649
Material type: Text Text
Publication details: Berin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N921.

812.
813.
Artificial intelligence in design ed. by J. S. Gero. by
Material type: Text Text
Publication details: Cambridge Springer-Verlag 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 620.00420385 N894.

814.
Machines, languages and complexity ed. by J. Dassow, J. Kelemen. by Series: Lecture notes in computer science No.381
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N89.

815.
VDM '90 : VDM & Z -formal methods in software development by Series: Lecture notes in computer science ;
Material type: Text Text
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.

816.
Advances in superconductivity II ed. by T. Ishiguro and K. Kajimura. by
Material type: Text Text
Publication details: Tokyo Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 537.623 N904.

817.
Uncertainity in knowledge-based systems ed. by B. Bouchon and R.R. Yager. by Series: Lecture notes in computer science ;
Material type: Text Text
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33015192 N87.

818.
Mathematics of program construction. by Series: Lecture notes in computer science ; 375
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.

819.
Methods in protein sequence analysis ed. by Brigitte, Wittman-Liebold. by
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 547.75 N89.

820.
Rewriting techniques and applications ed. by Nachum Dershowitz. by Series: Lecture notes in computer science ;
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N898.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832