Related Books | Bookwire

1.

Formal Methods for Trustworthy Computer Systems

ISBN:: 978-3-540-19635-8

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Nov 1990

2.

Alpuk 91

ISBN:: 978-3-540-19734-8

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Jan 1992

3.

Music Education

An Artificial Intelligence Approach, Edinburgh 1993

Author:: Smith, M. R.

ISBN:: 978-3-540-19873-4

Book Format:: Paperback

List Price:: USD $109.00USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Feb 1994

4.

Specification and Verification of Concurrent Systems

ISBN:: 978-3-540-19581-8

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Jul 1990

5.

Interfaces to Database Systems, Glasgow 1992

ISBN:: 978-3-540-19802-4

Book Format:: Paperback

List Price:: USD $109.99

Publisher:: Springer London, Limited

Publication Date:: Jul 1993

6.

Z User Workshop

Proceedings of the Fourth Annual Z User...

Author:: Nicholls, J. E.

ISBN:: 978-3-540-19627-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Sep 1990

7.

AI and Cognitive Science '92

University of Limerick, 10-11 September 1992

ISBN:: 978-3-540-19799-7

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Aug 1993

8.

Software Re-Use, Utrecht 1989

Author:: Dusink, L. M.

ISBN:: 978-3-540-19652-5

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: May 1991

9.

Z User Workshop, York 1991

Proceedings of the Sixth Annual Z User...

ISBN:: 978-3-540-19780-5

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Aug 1992

10.

Functional Programming

Glasgow 1990

ISBN:: 978-3-540-19667-9

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Apr 1991

11.

Semantics for Concurrency

Leicester 1990

Author:: Kwiatkowska, M. Z.

ISBN:: 978-3-540-19625-9

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Jul 1990

12.

Persistent Object Systems

Proceedings of the 6th International Workshop...

ISBN:: 978-3-540-19912-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Mar 1995

13.

Z User Workshop, Cambridge 1994

Proceedings of the Eighth Z User Meeting,...

Author:: Bowen, J. P.
Hall, J. A.

ISBN:: 978-3-540-19884-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Jul 1994

14.

East - West Database Workshop

Proceedings of the Second International East...

ISBN:: 978-3-540-19946-5

Book Format:: Paperback

List Price:: USD $109.00USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Mar 1995

15.

Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User...

ISBN:: 978-3-540-19672-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Jul 1991

16.

Neural Computation and Psychology - Stirling 1994

Author:: Third Neural Computation and Psychology Workshop Staff

ISBN:: 978-3-540-19948-9

Book Format:: Paperback

List Price:: USD $109.00USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Apr 1995

17.

Incompleteness and Uncertainty in Information Systems

Proceedings of the SOFTEKS Workshop on...

ISBN:: 978-3-540-19897-0

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Aug 1994

18.

Functional Programming

Author:: Hughes, J. Ed

ISBN:: 978-3-540-19609-9

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Aug 1990

19.

Designing Correct Circuits

ISBN:: 978-3-540-19659-4

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Apr 1991

20.

Logic Program Synthesis and Transformation, Manchester 1991

ISBN:: 978-3-540-19742-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer London, Limited

Publication Date:: Feb 1992

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Formal Methods for Trustworthy Computer Systems ISBN: 978-3-540-19635-8 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Nov 1990 Quantity Note

2.		Alpuk 91 ISBN: 978-3-540-19734-8 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Jan 1992 Quantity Note

3.		Music Education An Artificial Intelligence Approach, Edinburgh 1993 Author: Smith, M. R. ISBN: 978-3-540-19873-4 Book Format: Paperback List Price: USD $109.00USD $54.99 Publisher: Springer London, Limited Publication Date: Feb 1994 Quantity Note

4.		Specification and Verification of Concurrent Systems ISBN: 978-3-540-19581-8 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Jul 1990 Quantity Note

5.		Interfaces to Database Systems, Glasgow 1992 ISBN: 978-3-540-19802-4 Book Format: Paperback List Price: USD $109.99 Publisher: Springer London, Limited Publication Date: Jul 1993 Quantity Note

6.		Z User Workshop Proceedings of the Fourth Annual Z User... Author: Nicholls, J. E. ISBN: 978-3-540-19627-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Sep 1990 Quantity Note

7.		AI and Cognitive Science '92 University of Limerick, 10-11 September 1992 ISBN: 978-3-540-19799-7 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Aug 1993 Quantity Note

8.		Software Re-Use, Utrecht 1989 Author: Dusink, L. M. ISBN: 978-3-540-19652-5 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: May 1991 Quantity Note

9.		Z User Workshop, York 1991 Proceedings of the Sixth Annual Z User... ISBN: 978-3-540-19780-5 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Aug 1992 Quantity Note

10.		Functional Programming Glasgow 1990 ISBN: 978-3-540-19667-9 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Apr 1991 Quantity Note

11.		Semantics for Concurrency Leicester 1990 Author: Kwiatkowska, M. Z. ISBN: 978-3-540-19625-9 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Jul 1990 Quantity Note

12.		Persistent Object Systems Proceedings of the 6th International Workshop... ISBN: 978-3-540-19912-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Mar 1995 Quantity Note

13.		Z User Workshop, Cambridge 1994 Proceedings of the Eighth Z User Meeting,... Author: Bowen, J. P. Hall, J. A. ISBN: 978-3-540-19884-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Jul 1994 Quantity Note

14.		East - West Database Workshop Proceedings of the Second International East... ISBN: 978-3-540-19946-5 Book Format: Paperback List Price: USD $109.00USD $54.99 Publisher: Springer London, Limited Publication Date: Mar 1995 Quantity Note

15.		Z User Workshop, Oxford 1990 Proceedings of the Fifth Annual Z User... ISBN: 978-3-540-19672-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Jul 1991 Quantity Note

16.		Neural Computation and Psychology - Stirling 1994 Author: Third Neural Computation and Psychology Workshop Staff ISBN: 978-3-540-19948-9 Book Format: Paperback List Price: USD $109.00USD $54.99 Publisher: Springer London, Limited Publication Date: Apr 1995 Quantity Note

17.		Incompleteness and Uncertainty in Information Systems Proceedings of the SOFTEKS Workshop on... ISBN: 978-3-540-19897-0 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Aug 1994 Quantity Note

18.		Functional Programming Author: Hughes, J. Ed ISBN: 978-3-540-19609-9 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Aug 1990 Quantity Note

19.		Designing Correct Circuits ISBN: 978-3-540-19659-4 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Apr 1991 Quantity Note

20.		Logic Program Synthesis and Transformation, Manchester 1991 ISBN: 978-3-540-19742-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer London, Limited Publication Date: Feb 1992 Quantity Note