登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

All About Maude - A High-Performance Logical Framework
EISBN：9783540719991
PISBN：9783540719403
出版社：Springer Berlin Heidelberg
出版类型：Graduate/advanced undergraduate textbook
出版时间：2007
作者：Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott
主题词：Programming Techniques,Software Engineering,Programming Languages,Compilers,Interpreters,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

A Practical Approach to High-Performance Computing
  • 作者：Sergei Kurgalin,Sergei Borzunov
  • EISBN：9783030275587
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

High-Performance D/A-Converters
  • 作者：Martin Clara
  • EISBN：9783642312298
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013
...

High-Performance Liquid Chromatography
  • 作者：Horváth,Csaba
  • PISBN：9780123122049
  • 出版时间：Legacy
...

A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
  • 作者：Ian N. Dunn,Gerard G.L. Meyer
  • EISBN：9781441986504
  • 出版社：Springer US
  • 出版时间：2003
...

High-Performance Computing and Networking
  • 作者：Wolfgang Gentzsch,Uwe Harms
  • EISBN：9783540484080
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
  • 作者：Ian N. Dunn,Gerard G. L. Meyer
  • EISBN：9781441986504
  • 出版社：Springer US
  • 出版时间：2003