DELNET     HELINET         N-LIST        ACHARYA PUBLICATIONS        REMOTE ACCESS

Your search returned 798 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Rigorous Development of Complex Fault-Tolerant Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
102.
Term Rewriting and Applications by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
103.
Transactions on Aspect-Oriented Software Development I by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
104.
Foundations of Software Science and Computational Structures by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
105.
Ada 2005 Reference Manual. Language and Standard Libraries by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
106.
FM 2006: Formal Methods by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
107.
Variations on Constants by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
108.
Defence Applications of Multi-Agent Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
109.
Formal Modeling and Analysis of Timed Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
110.
Model Driven Engineering Languages and Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
111.
Leveraging Applications of Formal Methods by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
112.
Fundamental Approaches to Software Engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
113.
Architecting Systems with Trustworthy Components by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
114.
Principles and Practice of Constraint Programming - CP 2006 by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
115.
Coordination Models and Languages by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
116.
Computer Science Logic by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
117.
Generative and Transformational Techniques in Software Engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
118.
Software Composition by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
119.
Implementation and Application of Functional Languages by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
120.
Types for Proofs and Programs by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2006
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
Pages
Copyrights © 2022 Acharya. All rights reserved

Powered by Koha