Your search returned 5 results.

1.
Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu.

by Heydon, Allan | Mann, Timothy | Levin, Roy | Yu, Yuan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer-Verlag US, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C69 H49 2006 (1).

2.
Geometric Fundamentals of Robotics [electronic resource] / by J. M. Selig.

by Selig, J. M | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TJ211 S43 2005 (1).

3.
Evolutionary Synthesis of Pattern Recognition Systems [electronic resource] / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec.

by Bhanu, Bir | Lin, Yingqiang | Krawiec, Krzysztof | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA1632 B48 2005 (1).

4.
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.

by Poernomo, Iman Hafiz | Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.54 .P64 2005 (1).

5.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.

by McIver, Annabelle | Morgan, Carroll | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA340 M43 2005 (1).

Powered by Koha