Search Results
Results 441 - 450 of 922
(page 45 of 93)
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642245596 |
| Phys. Desc.: | XIV, 670p. online resource. |
| Electronic resource | Texto completo |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642169014 |
| Phys. Desc.: | XIV, 712p. 202 illus. online resource. |
| Electronic resource | Texto completo |
Instruction Sequences for Computer Science
E-book
E-book
| Publisher: | Paris : Atlantis Press : 2012. |
| ISBN: | 9789491216657 |
| Phys. Desc.: | XVI, 229 p. online resource. |
| Electronic resource | Texto completo |
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642143359 |
| Phys. Desc.: | IX, 313p. 73 illus. online resource. |
| Electronic resource | Texto completo |
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642393105 |
| Phys. Desc.: | X, 289 p. 56 illus. online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642452215 |
| Phys. Desc.: | XIV, 794 p. 178 illus. online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642287176 |
| Phys. Desc.: | XI, 446 p. online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642162428 |
| Phys. Desc.: | XII, 656p. 83 illus. online resource. |
| Electronic resource | Texto completo |
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642033513 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540716631 |
| Phys. Desc.: | X, 381 p. Also available online. online resource. |
| Electronic resource | Texto completo |
