MPG.eBooks - Search Results

Cover Image

61

Computational Methods for SNPs and Haplotype Inference : DIMACSRECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers

by Istrail, Sorin
Published 2004

Springer Berlin Heidelberg

Cover Image

62

Active Networks : IFIP TC6 5th International Workshop, IWAN 2003, Kyoto, Japan, December 10-12, 2003, Revised Papers

by Wakamiya, Naoki
Published 2004

Springer Berlin Heidelberg

Cover Image

63

LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings

by Farach-Colton, Martin
Published 2004

Springer Berlin Heidelberg

Cover Image

64

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

65

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

by Alt, René
Published 2004

Springer Berlin Heidelberg

Cover Image

66

Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

by Blackwell, Alan
Published 2004

Springer Berlin Heidelberg

Cover Image

67

Compiler Construction : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...

by Duesterwald, Evelyn
Published 2004

Springer Berlin Heidelberg

Cover Image

68

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Cover Image

69

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...

by Jensen, Kurt
Published 2004

Springer Berlin Heidelberg

Cover Image

70

Data Integration in the Life Sciences : First International Workshop, DILS 2004, Leipzig, Germany, March 25-26, 2004, proceedings

by Rahm, Erhard
Published 2004

Springer Berlin Heidelberg

Cover Image

71

CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Cover Image

72

Fundamental Approaches to Software Engineering : 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

by Wermelinger, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

73

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

74

Trust Management : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings

by Jensen, Christian
Published 2004

Springer Berlin Heidelberg

Cover Image

75

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004...

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

76

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Graf, Susanne
Published 2004

Springer Berlin Heidelberg

Cover Image

77

Finite Fields and Applications : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

by Mullen, Gary L
Published 2004

Springer Berlin Heidelberg

Cover Image

78

Genetic Programming : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings

by Keijzer, Maarten
Published 2004

Springer Berlin Heidelberg

Cover Image

79

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

80

Evolutionary Computation in Combinatorial Optimization : 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings

by Gottlieb, Jens
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11