Search Results
Results 1 - 10 of 280
(page 1 of 28)
Theory of Digital Automata
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands : 2013. |
| ISBN: | 9789400752283 |
| Phys. Desc.: | XII, 206 p. 229 illus., 59 illus. in color. online resource. |
| Electronic resource | Texto completo |
Logic Circuit Design Selected Methods
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642276576 |
| Phys. Desc.: | XIV, 258p. 207 illus. online resource. |
| Electronic resource | Texto completo |
Logic Synthesis for Compositional Microprogram Control Units
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540692850 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic Synthesis for FSM-Based Control Units
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642043093 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
A Roadmap for Formal Property Verification
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2006. |
| ISBN: | 9781402047589 |
| Phys. Desc.: | XIII, 251 p. online resource. |
| Electronic resource | Texto completo |
Modern Formal Methods and Applications
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2006. |
| ISBN: | 9781402042232 |
| Phys. Desc.: | XXIII, 197 p. online resource. |
| Electronic resource | Texto completo |
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642285257 |
| Phys. Desc.: | XIII, 217 p. online resource. |
| Electronic resource | Texto completo |
Inconsistency Tolerance
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540305972 |
| Phys. Desc.: | VII, 295 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642226007 |
| Phys. Desc.: | X, 329p. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642313653 |
| Phys. Desc.: | XIV, 568p. 90 illus. online resource. |
| Electronic resource | Texto completo |
