Your search returned 1801 results. Subscribe to this search

Not what you expected? Check for suggestions
|
151. Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

by Paredaens, Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: No items available

152. Mathematical Foundations of Programming Language Semantics [electronic resource] : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: No items available

153. Programming Languages and Their Definition [electronic resource] : H. Bekič (1936–1982) / edited by C. B. Jones.

by Jones, C. B [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: No items available

154. Microcomputer System Design [electronic resource] : An Advanced Course Trinity College Dublin, June 1981 / edited by Michael J. Flynn, Neville R. Harris, Daniel P. McCarthy.

by Flynn, Michael J [editor.] | Harris, Neville R [editor.] | McCarthy, Daniel P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

155. Verifying Concurrent Processes Using Temporal Logic [electronic resource] / by Brent T. Hailpern.

by Hailpern, Brent T [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

156. Axiomatising the Logic of Computer Programming [electronic resource] / by Robert Goldblatt.

by Goldblatt, Robert [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

157. Logics of Programs [electronic resource] : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.

by Kozen, Dexter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Other title: With contributions by nummerous experts.Online access: Click here to access online Availability: No items available

158. Program Specification [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, August 1981 / edited by Jørgen Staunstrup.

by Staunstrup, Jørgen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

159. An Introduction to the PL/CV2 Programming Logic [electronic resource] / by R. L. Constable, S. D. Johnson, C. D. Eichenlaub.

by Constable, R. L [author.] | Johnson, S. D [author.] | Eichenlaub, C. D [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

160. International Symposium on Programming [electronic resource] : 5th Colloquium Turin, April 6–8, 1982 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari.

by Dezani-Ciancaglini, Mariangiola [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

161. Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk.

by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available

162. An Attribute Grammar for the Semantic Analysis of Ada [electronic resource] / edited by Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner.

by Uhl, Jürgen [editor.] | Drossopoulou, Sophia [editor.] | Persch, Guido [editor.] | Goos, Gerhard [editor.] | Dausmann, Manfred [editor.] | Winterstein, Georg [editor.] | Kirchgässner, Walter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: No items available

163. Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available

164. Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available

165. Logics of Programs and Their Applications [electronic resource] : Proceedings, Poznan, August 23–29, 1980 / edited by A. Salwicki.

by Salwicki, A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: No items available

166. Logics of Programs [electronic resource] : Brooklyn, June 17–19, 1985 Proceedings / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available

167. Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available

168. Trace Theory and VLSJ Design [electronic resource] / by Jan L. A. Snepscheut.

by Snepscheut, Jan L. A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available

169. Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings / edited by Michael Schröder, Gerd Wagner.

by Schröder, Michael [editor.] | Wagner, Gerd [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available

170. The Semantic Web - ISWC 2003 [electronic resource] : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003. Proceedings / edited by Dieter Fensel, Katia Sycara, John Mylopoulos.

by Fensel, Dieter [editor.] | Sycara, Katia [editor.] | Mylopoulos, John [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available

171. Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings / edited by S. N. Maheshwari.

by Maheshwari, S. N [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available

172. Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings / edited by Daniel Geist, Enrico Tronci.

by Geist, Daniel [editor.] | Tronci, Enrico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available

173. The Analysis of Concurrent Systems [electronic resource] : Cambridge, September 12–16, 1983 Proceedings / edited by B. T. Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray.

by Denvir, B. T [editor.] | Harwood, W. T [editor.] | Jackson, M. I [editor.] | Wray, M. J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available

174. STACS 86 [electronic resource] : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 / edited by B. Monien, G. Vidal-Naquet.

by Monien, B [editor.] | Vidal-Naquet, G [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: No items available

175. 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: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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