Results of search for 'ccl=Provider:Springer' › JRD Tata Memorial Library catalog

Results
	1.	Unobstructed shortest paths in polyhedral environments. by Varol Akman. by Akman, Varol Series: Lecture notes in computer science ; 251 Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 516.215028 N87.
	2.	Advances in petri nets 1985 ed. by G. Kozenberg. by Kozenberg, G., ed Series: Lecture notes in computer science. v.222 Material type: Book Publication details: Berlin Springer Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N861.
	3.	Synthesizing synchronous systems by static scheduling in space-time by Bjorn Lisper by Lisper, Bjorn Series: Lecture notes in computer science ; 362 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8924.
	4.	Compositionality, concurrency and partial correctness proof theories for networks of processes and their relationship by J. Zwiers. by Zwiers, J Series: Lecture notes in computer science ; no.321 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8920.
	5.	DIANA : an intermediate language for Ada ed. by G. Goos... et al by Goos, G Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N838.
	6.	Modified branching programs and their computational power. by Christoph Meinel. by Meinel, Christoph Series: Lecture notes in computer science ; 370 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.8 N89.
	7.	Finite representations of CCS and TCSP programs by automata and petrinets. by Dirk Taubner. by Taubner, Dirk Series: Lecture notes in computer science No.369 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8928.
	8.	Algorithms for parallel polygon rendering by T Theoharis by Theoharis, T Series: Lecture notes in computer science No.373 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.6 N896.
	9.	Error detection and recovery in robotics. by Bruce R. Donald by Donald, Bruce R Series: Lecture notes in computer science ; 336 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 629.892 N894.
	10.	Advances in petrinets 1988. ed. by Grzegorz Rozenberg. by Rozenberg, Grzegorz., ed Series: Lecture notes in computer science ; v.340 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N88.
	11.	Advances in Petri Nets 1987. by G. Rozenberg. by Rozenberg, G Series: Lecture notes in computer science ; no.266 Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N874.2.
	12.	Synthesizing synchronous systems by static scheduling in space-time. by Bjorn Lisper. by Lisper, Bjorn Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N896.
	13.	Review of Ada tasking by Alan Burns, Andrew M. Lister and Andrew J. Wellings. by Burns, Alan Lister, Andrew M Wellings, Andrew J Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N876.
	14.	Current trends in concurrency : overviews and tutorials ed. by J. W. De Bakker, W. P. De Roever and G. Rozenberg. by De Bakker, J. W., ed De Roever, W. P., ed Rozenberg, G., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N868.
	15.	Towards a formal description of Ada ed. by D Bjorner and O N Oest by Bjorner, D., ed Oest, O. N., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N80.
	16.	Group theoretical methods in image processing by Reiner Lenz. by Lenz, Reiner Series: Lecture notes in computer science ; 413 Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.36701512 N90. Place hold
	17.	Formal model of visualization in computer graphics systems by Tamiya Onodera, Satoru Kawai. by Onodera, Tamiya Kawai, Satoru Series: Lecture notes in computer science No.421 Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.6 N901.
	18.	Concepts, design and performance analysis of a parallel prolog machine by Joachim Beer. by Beer, Joachim Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8940.
	19.	Unified approach to interior point algorithms for linear complementarity problems by M. Kojima [et al] by Kojima, K.[et al] Series: Lecture notes in computer science 538 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7202855 N91.
	20.	Specifying message passing and time-critical systems with temporal logic by Ron Koymans by Koymans, Ron Series: Lecture notes in computer science ; 651 Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.66015113 N92.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1374 results.