Beispielbild für diese ISBNTools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference,…
Verlag: Springer
2017 Kartoniert, 636 Seiten, 235mm x 155mm x 34mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNTools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference,…
Verlag: Springer
2017 Kartoniert, 436 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNConceptual Structures: Common Semantics for Sharing Knowledge - 13th International Conference on C…
Verlag: Springer
2005 Kartoniert, 484 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNArtificial Immune Systems - 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10…
Verlag: Springer
2008 Kartoniert, 452 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNImplementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Swede…
Verlag: Springer
2015 Kartoniert, 344 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNWeb and Internet Economics - 12th International Conference, WINE 2016, Montreal, Canada, December…
Verlag: Springer
2016 Kartoniert, 496 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNComputational Logistics - 8th International Conference, ICCL 2017, Southampton, UK, October 18-20,…
Verlag: Springer
2017 Kartoniert, 604 Seiten, 235mm x 155mm x 33mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNCooperative Bug Isolation - Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
von Ben Liblit Verlag: Springer
2007 Kartoniert, 124 Seiten, 235mm x 155mm x 8mm, Sprache(n): eng Reconsiders two common assumptions about how software should be analyzed Arrives at some striking new results Presents an algorithm for isolating multiple bugs from sparsely sampled data taken from many thousands of program exe…
60,88 EUR
Beispielbild für diese ISBNEfficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
Verlag: Springer
1995 Kartoniert, 108 Seiten, 235mm x 155mm x 7mm, Sprache(n): eng Winning Thesis of the 1993 ACM Doctoral Dissertation Competition
60,88 EUR
Beispielbild für diese ISBNAlgorithmic Learning Theory - 17th International Conference, ALT 2006, Barcelona, Spain, October 7…
Verlag: Springer
2006 Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
