Results of search for 'se,phr:"Lecture notes in computer science"'

Results
	1.	VLSI engineering beyond software engineering by Tosiyasu L. Kunii., by Kunii, Tosiyasu L Series: Lecture notes in computer science ; 163 Material type: Book Publication details: Berlin S-V 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N843.
	2.	Distributed sytems by M.W. Alford, ed. by M. Paul, H.J. Siegert by Alford, M.W Paul, M., ed Siegert, H.J., ed Series: Lecture notes in computer science ; 190 Material type: Book Publication details: Berlin S-V 1985 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N85.
	3.	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.
	4.	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.
	5.	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.
	6.	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.
	7.	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.
	8.	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.
	9.	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.
	10.	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.
	11.	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.
	12.	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.
	13.	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.
	14.	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.
	15.	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.
	16.	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.
	17.	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.
	18.	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
	19.	Loglan'88 - Report on the programming language by Antoni Kreczmar, Andry Sawicki, Marek Warpechowski. by Kreczmar, Antoni Sawicki, Andry Warpechowski, Marek Series: Lecture notes in computer science ; 414 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N902.
	20.	Categorical methods in computer science with aspects from topology ed. by H. Ehrig, H. Herrlich, H. J. Krewoski. by Ehrig, H., ed Herrlich, H., ed Kewoski, H. J., ed Series: Lecture notes in computer science ; 393 Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N892.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.