• 欢迎光临科研迷图书馆!
logo

讲座专著

英国数据科学报告写作

  • Roger D. Peng |
  • 2015 |
  • pdf |
  • 7.73MB |
  • 120页

Report Writing for Data Science in R

计算系统的测量、建模和评估以及可靠性和容错:第15届国际地理信息/信息技术小组会议,2010年MMB和DFT,德国埃森,2010年3月15 - 17日。诉讼(第1版)

  • Philip Koopman, Justin Ray (auth.), Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (eds.) |
  • 2010 |
  • pdf |
  • 5.82MB |
  • 323页

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings (1st Edition)

理论计算机科学

  • Juraj Hromkovič |
  • 2010 |
  • rar |
  • 159.70MB |
  • 313页

Theoretical computer science

理论计算机科学:纪念西蒙·偶数的论文(第1版)

  • Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum (auth.), Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (eds.) |
  • 2006 |
  • pdf |
  • 2.82MB |
  • 399页

Theoretical Computer Science: Essays in Memory of Shimon Even (1st Edition)

计算机科学中的线性逻辑

  • Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott |
  • 2004 |
  • djvu |
  • 2.28MB |
  • 392页

Linear logic in computer science

构建可靠系统2(第1版)

  • Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.) |
  • 2004 |
  • rar |
  • 21.26MB |
  • 350页

Architecting Dependable Systems II (1st Edition)

计算机科学论文选编(第1版)

  • Donald E. Knuth |
  • 2004 |
  • djvu |
  • 3.13MB |
  • 285页

Selected papers on computer science (1st Edition)

计算科学及其应用——国际计算机科学学会2003 :加拿大蒙特利尔国际会议,2003年5月18 - 21日,会议录,第一部分(第1版)

  • Richard P. Brent, Paul Zimmermann (auth.), Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer (eds.) |
  • 2003 |
  • pdf |
  • 168.75KB |
  • 1062页

Computational Science and Its Applications — ICCSA 2003: International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I (1st Edition)

计算机科学中的逻辑:系统的建模和推理

  • Michael Huth, Mark Ryan, M. Huth, M. Ryan |
  • 1999 |
  • pdf |
  • 65.36MB |
  • 407页

Logic in computer science: modelling and reasoning about systems (0)

符号计算系统的设计和实现:国际研讨会,英国DISCO '92巴斯,1992年4月13 - 15日(第1版)

  • Ken Rimey (auth.), John Fitch (eds.) |
  • 1993 |
  • djvu |
  • 88.20KB |
  • 223页

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings (1st Edition)