DELNET     HELINET         N-LIST        ACHARYA PUBLICATIONS        REMOTE ACCESS

Your search returned 798 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
561.
Verification, Model Checking, and Abstract Interpretation by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
562.
Agent-Oriented Software Engineering XI by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
563.
Practical Aspects of Declarative Languages by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
564.
Trends in Functional Programming by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

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

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

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

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

Place hold Add to cart
569.
Hardware and Software: Verification and Testing by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

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

Place hold Add to cart
571.
Declarative Agent Languages and Technologies VIII by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

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

Place hold Add to cart
573.
Recent Advances in Constraints by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
574.
Automated Technology for Verification and Analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
575.
System Analysis and Modeling: About Models by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

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

Place hold Add to cart
577.
Hardware and Software: Verification and Testing by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

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

Place hold Add to cart
579.
Dependable and Historic Computing by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
Online access:
Availability: Items available for loan: Acharya Institute of Technology (1).

Place hold Add to cart
580.
Model Driven Engineering Languages and Systems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: 2011
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