Results of search for 'ccl=su:"Software Engineering."'

Results
	1.	Persistent Object Systems [electronic resource] : Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994 / edited by Malcolm Atkinson, David Maier, Veronique Benzaken. by Atkinson, Malcolm [editor.] Maier, David [editor.] Benzaken, Veronique [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1995 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	4th Refinement Workshop [electronic resource] : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge / edited by Joseph M. Morris, Roger C. Shaw. by Morris, Joseph M [editor.] Shaw, Roger C [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1991 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Formal Methods for Trustworthy Computer Systems (FM89) [electronic resource] : Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada / edited by Dan Craigen. by Craigen, Dan [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1990 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Algebraic Methodology and Software Technology (AMAST’93) [electronic resource] : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993 / edited by Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo. by Nivat, Maurice [editor.] Rattray, Charles [editor.] Rus, Teodor [editor.] Scollo, Giuseppe [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1994 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Z User Workshop, London 1992 [electronic resource] : Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992 / edited by J.P. Bowen, J.E. Nicholls. by Bowen, J.P [editor.] Nicholls, J.E [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1993 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Theory and Formal Methods 1993 [electronic resource] : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993 / edited by Geoffrey Burn, Simon Gay, Mark Ryan. by Burn, Geoffrey [editor.] Gay, Simon [editor.] Ryan, Mark [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1993 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Functional Programming, Glasgow 1994 [electronic resource] : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 / edited by Kevin Hammond, David N. Turner, Patrick M. Sansom. by Hammond, Kevin [editor.] Turner, David N [editor.] Sansom, Patrick M [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1995 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Building Interactive Systems [electronic resource] : Architectures and Tools / edited by Philip Gray, Roger Took. by Gray, Philip [editor.] Took, Roger [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1992 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Z User Workshop, Oxford 1990 [electronic resource] : Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990 / edited by J.E. Nicholls. by Nicholls, J.E [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1991 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Functional Programming, Glasgow 1990 [electronic resource] : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland / edited by Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst. by Peyton Jones, Simon L [editor.] Hutton, Graham [editor.] Kehler Holst, Carsten [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1991 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Semantics of Specification Languages (SoSL) [electronic resource] : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993 / edited by Derek J. Andrews, Jan F. Groote, C.A. Middelburg. by Andrews, Derek J [editor.] Groote, Jan F [editor.] Middelburg, C.A [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1994 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Functional Programming, Glasgow 1992 [electronic resource] : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992 / edited by John Launchbury, Patrick Sansom. by Launchbury, John [editor.] Sansom, Patrick [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1993 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Functional Programming [electronic resource] : Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland / edited by Kei Davis, John Hughes. by Davis, Kei [editor.] Hughes, John [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1990 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	14.	NAPAW 92 [electronic resource] : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 / edited by S. Purushothaman, Amy Zwarico. by Purushothaman, S [editor.] Zwarico, Amy [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1993 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	First International Workshop on Larch [electronic resource] : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 / edited by Ursula Martin, Jeannette M. Wing. by Martin, Ursula [editor.] Wing, Jeannette M [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1993 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Formal Methods in Databases and Software Engineering [electronic resource] : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 / edited by V.S. Alagar, Laks V.S. Lakshmanan, F. Sadri. by Alagar, V.S [editor.] Lakshmanan, Laks V.S [editor.] Sadri, F [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1993 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Semantics for Concurrency [electronic resource] : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK / edited by Marta Z. Kwiatkowska, Michael W. Shields, Richard M. Thomas. by Kwiatkowska, Marta Z [editor.] Shields, Michael W [editor.] Thomas, Richard M [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1990 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	18.	5th Refinement Workshop [electronic resource] : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 / edited by Cliff B. Jones, Roger C. Shaw, Tim Denvir. by Jones, Cliff B [editor.] Shaw, Roger C [editor.] Denvir, Tim [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1992 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Asynchronous Digital Circuit Design [electronic resource] / edited by Graham Birtwistle, Alan Davis. by Birtwistle, Graham [editor.] Davis, Alan [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1995 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	20.	IV Higher Order Workshop, Banff 1990 [electronic resource] : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990 / edited by Graham Birtwistle. by Birtwistle, Graham [editor.] SpringerLink (Online service) Series: Workshops in Computing Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 1991 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Your search returned 35 results.

Home | IITHLibrary |RAIITH |Catalog

A service provided by IITHLibrary

© Copyright 2022-2023. IITHLibrary, IIT Hyderabad