咨询与建议

限定检索结果

文献类型

  • 147 篇 会议
  • 13 册 图书
  • 1 篇 期刊文献

馆藏范围

  • 161 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 128 篇 工学
    • 127 篇 计算机科学与技术...
    • 75 篇 软件工程
    • 7 篇 电气工程
    • 3 篇 信息与通信工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 生物医学工程(可授...
  • 40 篇 理学
    • 38 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 6 篇 管理学
    • 5 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 38 篇 logic programmin...
  • 11 篇 semantics
  • 10 篇 logics and meani...
  • 9 篇 computer circuit...
  • 9 篇 program transfor...
  • 9 篇 artificial intel...
  • 8 篇 mathematical log...
  • 6 篇 program analysis
  • 6 篇 software enginee...
  • 6 篇 programming tech...
  • 5 篇 programming lang...
  • 4 篇 software enginee...
  • 4 篇 constraint handl...
  • 3 篇 program synthesi...
  • 3 篇 static analysis
  • 3 篇 source-to-source...
  • 2 篇 program debuggin...
  • 2 篇 floating-point n...
  • 2 篇 concurrent const...
  • 2 篇 types

机构

  • 4 篇 univ politecn va...
  • 3 篇 katholieke univ ...
  • 3 篇 nagoya inst tech...
  • 3 篇 imdea software i...
  • 2 篇 univ politecn ma...
  • 2 篇 dept. of compute...
  • 2 篇 spanish council ...
  • 2 篇 univ fed rio gra...
  • 2 篇 univ politecn va...
  • 2 篇 katholieke univ ...
  • 2 篇 univ southern de...
  • 2 篇 rhein westfal th...
  • 2 篇 imdea software
  • 2 篇 univ complutense...
  • 2 篇 univ north texas...
  • 2 篇 tech u madrid sc...
  • 2 篇 iremia universit...
  • 2 篇 univ new mexico ...
  • 2 篇 univ new mexico ...
  • 2 篇 ecole polytech l...

作者

  • 6 篇 vidal german
  • 6 篇 seki hirohisa
  • 4 篇 schneider-kamp p...
  • 4 篇 silva josep
  • 4 篇 falaschi moreno
  • 4 篇 abdennadher slim
  • 4 篇 giesl juergen
  • 3 篇 proietti maurizi...
  • 3 篇 hermenegildo man...
  • 3 篇 carro manuel
  • 3 篇 morales jose f.
  • 3 篇 de schreye danny
  • 3 篇 leuschel michael
  • 3 篇 lucas salvador
  • 3 篇 meseguer jose
  • 2 篇 puebla german
  • 2 篇 bruynooghe mauri...
  • 2 篇 senni valerio
  • 2 篇 michael hanus
  • 2 篇 gallagher john p...

语言

  • 158 篇 英文
  • 3 篇 中文
检索条件"任意字段=14th International Symposium on Logic Based Program Synthesis and Transformation"
161 条 记 录,以下是161-170 订阅
排序:
Low-Temperature Superconducting RF Integrated Filters for Multi-Band Cryogenic Applications
Low-Temperature Superconducting RF Integrated Filters for Mu...
收藏 引用
international symposium on Antennas, Propagation and EM theory (ISAPE)
作者: Xiaoshuang Zhao Jingguo Chen Yuxing He Liguo Sun School of Electronic Engineering and Information Science University of Science and Technology of China Hefei China School of Information Science and Technology Southwest Jiaotong University Sichuan China
this work discusses on-chip integrated low-temperature superconducting (LTS) filters that possess triple passbands with prescribed equiripple performance. based on a polynomial synthesis approach, equal ripple respons... 详细信息
来源: 评论