[PDF] static analysis free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


65 books found   ►also search"static analysis" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
903503 Jess C Gehin A quasi-static polynomial nodal method for nuclear reactor analysis 1992 187 English 11 Mb pdf GET
1506813 Kéry, Marc; Royle, J. Andrew Applied Hierarchical Modeling in Ecology. Analysis of distribution, abundance and species richness in R and BUGS: Volume 1: Prelude and Static Models [1 ed.]
0128013788, 978-0-12-801378-6
Elsevier, Academic Press 2016 808 English 36 Mb pdf GET
1191263 Jaroslav Mackerle Finite element linear and nonlinear, static and dynamic analysis of structural elements – an addendum – A bibliography (1996-1999) 307 English 10 Mb pdf GET
1035796 Michael T. Todinov (Auth.) Flow Networks. Analysis and Optimization of Repairable Flow Networks, Networks with Disturbed Flows, Static Flow Networks and Reliability Networks
978-0-12-398396-1
Elsevier 2013 252 English 4 Mb pdf GET
1153688 Michael T. Todinov Flow Networks: Analysis and optimization of repairable flow networks, networks with disturbed flows, static flow networks and reliability networks [1 ed.]
0123983967, 978-0-12-398396-1
Elsevier 2013 320 English 8 Mb pdf GET
1378330 Petrova, Radostina V Introduction to Static Analysis Using SolidWorks Simulation
978-1-4822-3619-4, 1482236192
CRC Press 2014 348 English 38 Mb pdf GET
1016859 S.L. Chan and P.P.T. Chui (Auth.) Non-Linear Static and Cyclic Analysis of Steel Frames with Semi-Rigid Connections
978-0-08-042998-4
Elsevier 2000 335 English 5 Mb pdf GET
939953 James F. Doyle (auth.) Mechanical Engineering Series
Nonlinear Analysis of Thin-Walled Structures: Statics, Dynamics, and Stability [1 ed.]
978-1-4419-2910-5, 978-1-4757-3546-8
Springer-Verlag New York 2001 513 English 15 Mb pdf GET
787933 Rush D. Robinett III, David G. Wilson (auth.) Understanding Complex Systems
Nonlinear Power Flow Control Design: Utilizing Exergy, Entropy, Static and Dynamic Stability, and Lyapunov Analysis [1 ed.]
0857298224, 9780857298225
Springer-Verlag London 2011 346 English 16 Mb pdf GET
54777 Brian Chess, Jacob West Secure Programming with Static Analysis
0321424778, 9780321424778
Addison-Wesley Professional 2007 619 English 5 Mb pdf GET
1002260 Static Analysis of Software: The Abstract Interpretation
9781848213203, 9781118602867
Wiley-ISTE 2011 340 English 19 Mb pdf GET
1057475 Jean-Louis Boulanger ISTE
Static Analysis of Software: The Abstract Interpretation [1 ed.]
1848213204, 9781848213203
Wiley-ISTE 2011 331 English 19 Mb pdf GET
1528574 Jean-Louis Boulanger Static Analysis of Software: The Abstract Interpretation
978-1-84821-320-3
Wiley 2011 342 English 19 Mb pdf GET
342019 Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach (auth.), Radhia Cousot (eds.) Lecture Notes in Computer Science 2694
Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings [1 ed.]
3540403256, 9783540403258
Springer-Verlag Berlin Heidelberg 2003 510 English 7 Mb pdf GET
63043 Giocobazzi R. Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
3540278648
2008 406 English 8 Mb pdf GET
220658 Ehud Shapiro (auth.), Roberto Giacobazzi (eds.) Lecture Notes in Computer Science 3148
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings [1 ed.]
3540227911, 9783540227915, 9783540278641
Springer-Verlag Berlin Heidelberg 2004 396 English 4 Mb djvu GET
350000 Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.) Lecture Notes in Computer Science 3672 : Programming and Software Engineering
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings [1 ed.]
3540285849, 9783540285847
Springer-Verlag Berlin Heidelberg 2005 374 English 4 Mb pdf GET
350001 Manuvir Das (auth.), Kwangkeun Yi (eds.) Lecture Notes in Computer Science 4134 : Programming and Software Engineering
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings [1 ed.]
3540377565, 9783540377566
Springer-Verlag Berlin Heidelberg 2006 443 English 5 Mb pdf GET
350002 Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.) Lecture Notes in Computer Science 4634 : Programming and Software Engineering
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings [1 ed.]
3540740600, 9783540740605
Springer-Verlag Berlin Heidelberg 2007 469 English 6 Mb pdf GET
350003 Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.) Lecture Notes in Computer Science 5079 : Programming and Software Engineering
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings [1 ed.]
978-3-540-69163-1
Springer-Verlag Berlin Heidelberg 2008 379 English 4 Mb pdf GET
1134151 Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.) Lecture Notes in Computer Science 5079 Programming and Software Engineering
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings [1 ed.]
978-3-540-69163-1, 978-3-540-69166-2
Springer-Verlag Berlin Heidelberg 2008 379 English 8 Mb pdf GET
424530 Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.) Lecture Notes in Computer Science 5673 : Programming and Software Engineering
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings [1 ed.]
3642032362, 9783642032363
Springer-Verlag Berlin Heidelberg 2009 362 English 4 Mb pdf GET
917465 Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.) Lecture Notes in Computer Science 5673 : Programming and Software Engineering
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings [1 ed.]
9783642032363, 3642032362
Springer-Verlag Berlin Heidelberg 2009 362 English 4 Mb pdf GET
947247 E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.) Lecture Notes in Computer Science 6337
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings [1 ed.]
978-3-642-15768-4, 978-3-642-15769-1
Springer-Verlag Berlin Heidelberg 2011 473 English 8 Mb pdf GET
426458 E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.) Lecture Notes in Computer Science 6337 : Programming and Software Engineering
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings [1 ed.]
3642157688, 9783642157684
Springer-Verlag Berlin Heidelberg 2011 473 English 4 Mb pdf GET
  ►

If no results, Please search static analysis here Again

 Третьяков Ю.Д.
Jonathan Borwein, David Bailey
Karin Gatermann (eds.)
A.D. Thomas
Cvitanovic P.
E.J. Barbeau
Постников М.М.
Pittnauer F.
D. Drasin (auth.), Carlos A. Berenstein (eds.)
Steven G. Krantz
H. M. Srivastava, Shigeyoshi Owa
A. R. (Andrew Russell) Forsyth
K. E. Atkinson (auth.), Michael A. Golberg (eds.)
Gordon Mclelland
Stephen Abbott
Цветков А.Т.
Miroslav Gorbachuk, Valentina Gorbachuk
Массера Х., Шеффер Х.
Boris S. Mordukhovich
Michel Marie Deza, Elena Deza

kanjiloop spacehorizontal gene transfersupportenzyme activityexperimentbreast cancermagnetic fieldquantum statistical mechanicsdeveloping countryequilibriumhrdigital librarycritical resolved shear stresssecurityornamental plantselectrostaticsstrategic planningelectron transfercell linedata miningvalence bandformal specificationparallel programmingequation of statenucleophilic substitutionmagnetic fieldshealth scienceshybridizationcyclic amptime measurementstatistical samplingbehaviourfrequencystatisticshumanidadesspectrumgraphical modelmanagement systemdensityimpactginitial mass functionthreshold voltagematrix metalloproteinasesclinical trialsmathematical modelmonte carlo simulationpolymorphism