Kanäle - Tests and Proofs : :: Biblioteca ITESO

Ähnliche Einträge: Tests and Proofs :

Vorschau
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
Vorschau
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Vorschau
Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
Vorschau
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
Vorschau
Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Vorschau
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Vorschau
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
Vorschau
Software Composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /
Vorschau
Multicore Software Engineering, Performance and Tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings /
Vorschau
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
Vorschau
Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings /
Vorschau
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II /
Vorschau
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I /
Vorschau
Testing of Communicating Systems : 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings /
Vorschau
Theory and Practice of Model Transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Vorschau
Research and Education in Robotics - EUROBOT 2011 : International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings /
Vorschau
Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings /
Vorschau
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings /
Vorschau
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /
Vorschau
NETWORKING 2012 Workshops : International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012, Proceedings /
Vorschau
Progress in VLSI Design and Test : 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings /
Vorschau
Advances in Cryptology . EUROCRYPT '99 : International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999, Proceedings /
Vorschau
Proofs and Algorithms : An Introduction to Logic and Computability /
Vorschau
Human Interactive Proofs : Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings /

Verfasser: Achim D. Brucker, Jacques Julliand

Vorschau
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0