Search Results
Results 381 - 390 of 922
(page 39 of 93)
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642305986 |
| Phys. Desc.: | XII, 220p. 59 illus. online resource. |
| Electronic resource | Texto completo |
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642213380 |
| Phys. Desc.: | XIII, 227p. online resource. |
| Electronic resource | Texto completo |
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642135507 |
| Phys. Desc.: | XII, 277p. 65 illus. online resource. |
| Electronic resource | Texto completo |
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642385742 |
| Phys. Desc.: | XVI, 466 p. 95 illus. online resource. |
| Electronic resource | Texto completo |
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642305641 |
| Phys. Desc.: | XII, 195p. 66 illus. online resource. |
| Electronic resource | Texto completo |
Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642220456 |
| Phys. Desc.: | VIII, 181p. online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642005961 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642249334 |
| Phys. Desc.: | XX, 447 p. online resource. |
| Electronic resource | Texto completo |
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642217326 |
| Phys. Desc.: | XII, 229p. online resource. |
| Electronic resource | Texto completo |
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642173226 |
| Phys. Desc.: | XIV, 768p. 328 illus. online resource. |
| Electronic resource | Texto completo |
