Preface: Special Issue on Automatic Resource Bound Analysis

被引：0

|

作者：

Jürgen Giesl

Jan Hoffmann

机构：

[1] RWTH Aachen University,

[2] Carnegie Mellon University,undefined

来源：

Journal of Automated Reasoning | 2017年 / 59卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：1 / 2

页数：1

相关论文

共 50 条

[1] Preface: Special Issue on Automatic Resource Bound Analysis
Giesl, Juergen
Hoffmann, Jan
JOURNAL OF AUTOMATED REASONING, 2017, 59 (01) : 1 - 2
[2] Special issue: Automatic image orientation - Preface
Heipke, C
ISPRS JOURNAL OF PHOTOGRAMMETRY AND REMOTE SENSING, 1997, 52 (03) : 101 - 102
[3] Special issue: Pyrolysis in resource recovery - Preface
Day, M
JOURNAL OF ANALYTICAL AND APPLIED PYROLYSIS, 1999, 51 (1-2) : 1 - 2
[4] Special Issue: Microbial Resource Management preface
Verstraete, Willy
Boon, Nico
Van de Wiele, Tom
Vlaeminck, Siegfried E.
MICROBIAL BIOTECHNOLOGY, 2012, 5 (03) : 305 - 306
[5] Preface to the special issue on Stochastic Analysis
El Karoui, Nicole
Malliavin, Paul
Di Nunno, Giulia
Obata, Nobuaki
Oksendal, Bernt
Ouerdiane, Habib
STOCHASTICS-AN INTERNATIONAL JOURNAL OF PROBABILITY AND STOCHASTIC PROCESSES, 2009, 81 (3-4) : 199 - 199
[6] Special issue on 'Network Analysis' Preface
Ferligoj, Anuska
Batagelj, Vladimir
ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, 2011, 5 (02) : 77 - 79
[7] SPECIAL ISSUE ON FAILURE ANALYSIS - PREFACE
EISENBERG, PH
TAMBURRINO, AL
IEEE TRANSACTIONS ON RELIABILITY, 1980, 29 (03) : 194 - 195
[8] Special Issue: Nutraceuticals Analysis - Preface
Chankvetadze, Bezhan
Cifuentes, Alejandro
JOURNAL OF PHARMACEUTICAL AND BIOMEDICAL ANALYSIS, 2006, 41 (05) : 1485 - 1485
[9] Preface to the special issue on automatic sequences, number theory, and aperiodic order Preface
Berthe, Valerie
INDAGATIONES MATHEMATICAE-NEW SERIES, 2017, 28 (01): : 1 - 2
[10] Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011
Shkaravska, Olha
Della Rocca, Simona Ronchi
van Eekelen, Marko
SCIENCE OF COMPUTER PROGRAMMING, 2015, 111 : 363 - 364

← 1 2 3 4 5 →