Search Results
Results 331 - 340 of 922
(page 34 of 93)
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642293207 |
| Phys. Desc.: | XII, 377 p. online resource. |
| Electronic resource | Texto completo |
Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642218347 |
| Phys. Desc.: | XII, 349p. online resource. |
| Electronic resource | Texto completo |
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642136757 |
| Phys. Desc.: | X, 329p. 129 illus. online resource. |
| Electronic resource | Texto completo |
Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642181238 |
| Phys. Desc.: | IX, 393p. online resource. |
| Electronic resource | Texto completo |
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642028465 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642396113 |
| Phys. Desc.: | XII, 281 p. 75 illus. online resource. |
| Electronic resource | Texto completo |
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642399923 |
| Phys. Desc.: | X, 283 p. 15 illus. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540797197 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540727880 |
| Phys. Desc.: | XI, 384 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540372073 |
| Phys. Desc.: | XII, 438 p. Also available online. online resource. |
| Electronic resource | Texto completo |
