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

Results
	21.	SIL A simulation language:User's guide. by Niels Houbak. by Houbak, Niels Series: Lecture notes in computer science, 426 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 N907.
	22.	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.
	23.	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.
	24.	Cray X-MP/Model 24 a case study in pipelined architecture and vector processing by Kay A. Robbins, Steve Robbins. by Robbins, Kay A Robbins, Steve Series: Lecture notes in computer science ; 374 Material type: Book Publication details: New York S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.397 N895.
	25.	Advances in petri nets 1989 ed. by Grzegorz Rozenberg. by Rozenberg, Grzegorz., ed Series: Lecture notes in computer science ; 424 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N90.
	26.	Modern cryptology a tutorial by Gilles Brassard by Brassard, Gilles Series: Lecture notes in computer science ; 325 Material type: Book Publication details: New York S-V 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N88. Place hold
	27.	CAAP '86 proceedings ed. by P. Franchi-Zannettacci by Franchi-Zannettacci, P., ed Series: Lecture notes in computer science ; 214. Material type: Book Publication details: Berlin S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N86.
	28.	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.
	29.	Advances in petrinets 1992 ed. by G. Rozenberg by rozenberg, G., ed Series: Lecture notes in computer science V.609 Material type: Book Publication details: Berlin Spriner-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N923.
	30.	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.
	31.	Design of hashing algorithms /Josef Pieprzyk, Babak Sadeghiyan by Pieprzyk, Josef Sadeghiyan, Babak Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1993 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N93. Place hold
	32.	Towards dynamic randomized algorithm in computational geometry /Monique Teillaud by Teillaud, Monique m Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 516.0028551 N93.
	33.	Algebraic specification techniques in object-oriented programming environments /R. Breu by Breu, R Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9111.
	34.	Formal program development: IFIP TC2 / WG 2.1 state of the art report /ed. by Bernhard Moller, Helmut Partsch, Steve Schuman by Moller, Bernhard Partsch, Helmut Schuman, Steve Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9313.
	35.	Graph transformations in computer science - Proceedings ed. by Hans Jurgen Schneider, Hartmut Ehrig by Schneider, Hans Jurgen., ed Ehrig, Hartmut., ed Series: Lecture Notes in Computer Science ; 776 Material type: Book Publication details: Berlin Springer-Verlag 1994 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.6 N944.
	36.	Program development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,.. by Hoffman, Berthold Krieg-Bruckner, Bernd Series: Lecture Notes in Computer Science Material type: Book Publication details: Berlin S-V 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9316.
	37.	No cover image available Program development by specification & trasformation: the prospectra methodology, language family & system /Berthold Hoffman, (...) by Hoffman, Berthold Series: Lecture Notes in Computer Science-680 Material type: Book Publication details: Berlin S-V 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9316;1.
	38.	Treewidth: computation and approximation /Ton Kloks by Kloks, Ton Series: Lecture Notes in Computer Science, 842 Material type: Book Publication details: Berlin S-V 1994 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.60151 N94.
	39.	Turing machines with sublogarithmic space /Andrzej Szepietowski by Szepietowski, Andrez Series: Lecture Notes in Computer Science, 843 Material type: Book Publication details: Berlin S-V 1994 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.015113 N94.
	40.	Methods and tools for computer integrated manufacturing . ed. by U. Rembold and R. Dillmann. by Rembold, U Dillmann, R Advanced CREST Course on Computer Integrated Manufacturing. ( Karlsruhe : 1983 ) Series: Lecture notes in computer science ; 168 Material type: Book Publication details: Berlin S-V 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 670.285 N841. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1546 results.