Search Results
Results 351 - 360 of 922
(page 36 of 93)
Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2005. |
| ISBN: | 9780387261065 |
| Phys. Desc.: | X, 238 p. online resource. |
| Electronic resource | Texto completo |
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642405617 |
| Phys. Desc.: | XVIII, 321 p. 113 illus. online resource. |
| Electronic resource | Texto completo |
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642272691 |
| Phys. Desc.: | X, 305 p. online resource. |
| Electronic resource | Texto completo |
Handbook of Philosophical Logic
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2007. |
| ISBN: | 9781402063244 |
| Edition: | 2nd Edition. |
| Phys. Desc.: | XIV, 346 p. online resource. |
| Electronic resource | Texto completo |
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642390388 |
| Phys. Desc.: | XXII, 746 p. 206 illus. online resource. |
| Electronic resource | Texto completo |
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642310577 |
| Phys. Desc.: | Approx. 780 p. online resource. |
| Electronic resource | Texto completo |
Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540268772 |
| Phys. Desc.: | XX, 278 p. online resource. |
| Electronic resource | Texto completo |
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642307935 |
| Phys. Desc.: | XIII, 269p. 75 illus. online resource. |
| Electronic resource | Texto completo |
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642214615 |
| Phys. Desc.: | XIV, 349p. online resource. |
| Electronic resource | Texto completo |
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642134647 |
| Phys. Desc.: | XII, 233p. 40 illus. online resource. |
| Electronic resource | Texto completo |
