Your search returned 3 results.

Sort
Results
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday (e-book)

by Engels, G. ...[et al.] [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.5765 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Increasing the precision of static analysis of heap (R)

by Kanvar, Vini [Author] | Khedker, Uday P [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2018Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2018 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.07 Kan.

Java software development with event B : a practical guide (e-book)

by Collazos, Nestor Catano [Author].

Series: Synthesis lectures on software engineeringMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2020Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha