نتایج جستجو
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.), 2011
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012
Advances in Artificial Life. Darwin Meets von Neumann: 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I
André Stauffer, Joël Rossier (auth.), George Kampis, István Karsai, Eörs Szathmáry (eds.), 2011
Advances in Artificial Life. Darwin Meets von Neumann: 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I
André Stauffer, Joël Rossier (auth.), George Kampis, István Karsai, Eörs Szathmáry (eds.), 2011
Advances in Artificial Life. Darwin Meets von Neumann: 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I
André Stauffer, Joël Rossier (auth.), George Kampis, István Karsai, Eörs Szathmáry (eds.), 2011
Carbonate Reservoir Characterization: A Geologic-Engineering Analysis, Part II
H.H. Rieke, S.J. Mazzullo, 1996
Comprehensive organic synthesis : selectivity, strategy & efficiency in modern organic chemistry / volume 1, Additions to C-X [pi]-bonds, part 1 / ed. Stuart L. Schreiber
Barry Martin Trost; Ian Fleming, chimiste.; Stuart L Schreiber, 1991
NMR Data for Carbon-13. Part 4: Natural Products
R. R. Gupta, M. D. Lechner, B. Mikhova (auth.), R.R. Gupta, M.D. Lechner (eds.), 2006
Analysis, Manifolds and Physics, Part II - Revised and Enlarged Edition
Y. Choquet-Bruhat, C. DeWitt-Morette, 2000
Analysis, Manifolds and Physics, Part II - Revised and Enlarged Edition
Choquet-Bruhat Y., DeWitt-Morette C., 2000
Analysis, Manifolds and Physics. Revised Edition (Part I)
Yvonne Choquet-Bruhat, Cecile Dewitt-Morette, 2004
Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part II
Pedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendonça, Jim Murray (auth.), Mohamed Kamel, Aurélio Campilho (eds.), 2011
Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part II
Pedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendonça, Jim Murray (auth.), Mohamed Kamel, Aurélio Campilho (eds.), 2011
Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part II
Pedro Quelhas, Jeroen Nieuwland, Walter Dewitte, Ana Maria Mendonça, Jim Murray (auth.), Mohamed Kamel, Aurélio Campilho (eds.), 2011
Biology: Nasta Edition (PART 1 of 2)
Campbell, Reece, 2009
Biology: Nasta Edition (PART 2 of 2)
Campbell, Reece, 2009
Chromosome Engineering in Plants: Genetics, Breeding, Evolution, Part A
P.K. Gupta and T. Tsuchiya (Eds.), 1991
Chromosome Engineering in Plants: Genetics, Breeding, Evolution, Part B
T. Tsuchiya and P.K. Gupta (Eds.), 1991
Biothermodynamics, Part 3
Melvin I. Simon, 2011
Computer Methods, Part 3
Melvin I. Simon, 2011
Constitutive Activity in Receptors and Other Proteins, Part 1
Melvin I. Simon, 2010
