Filters








18,933 Hits in 3.3 sec

Preface

Alessandro Aldini, Franck van Breugel
2007 Electronical Notes in Theoretical Computer Science  
The proceedings appeared as volume 112 of ENTCS. Based on QAPL 2004, a special issue of the journal Theoretical Computer Science was published as volume 346(1).  ...  Quantitative aspects of computation are important and sometimes essential in characterizing the behaviour and determining the properties of systems.  ... 
doi:10.1016/j.entcs.2007.08.012 fatcat:ivhut7c3prgmxpfbocr4zv6j24

Preface

Alessandro Aldini, Christel Baier
2008 Electronical Notes in Theoretical Computer Science  
Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems.  ...  Based on QAPL 2004, a special issue of the journal Theoretical Computer Science was published in volume 346(1).  ...  Alessandro Aldini Christel Baier Preface/ Electronic Notes in Theoretical Computer Science 220 (2008) 1-3  ... 
doi:10.1016/j.entcs.2008.11.015 fatcat:ql2lpwyuxzd7bhibjkairdis7m

Bibliography

2001 Electronical Notes in Theoretical Computer Science  
To appear in Theoretical Computer Science. Available as technical report CS-R9636, CWI, Amsterdam, 1996. 36] M.M. Bonsangue, B. Jacobs, and J.N. Kok.  ...  Theoretical Computer Science, 151(1):79 124, 1995. 37] M.M. Bonsangue and J.N. Kok. Semantics, orderings and recursion in the weakest precondition calculus. In J.W. de Bakker, W.  ... 
doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse

Author index volume 275 (2002)

2002 Theoretical Computer Science  
., Monadic second-order logic on tree-like structures (1-2) 311-346 Ying, M., Bisimulation indexes and their applications  ... 
doi:10.1016/s0304-3975(02)00057-9 fatcat:z5a273xjufajzalf4w7ad27yma

Master index

2003 Theoretical Computer Science  
Durand 299 (1-3) (2003) 523-535 Master index volumes 291-300 / Theoretical Computer Science 300(2003) 507-519  ...  Santoro, Sense of direction in distributed computing 291 (1) (2003) 29-53 Focardi, R., R. Gorrieri and F.  ... 
doi:10.1016/s0304-3975(03)00257-3 fatcat:go2i65dmindnlgs66d3bis4ttu

Page 2773 of Psychological Abstracts Vol. 87, Issue 7 [page]

2000 Psychological Abstracts  
Lawrence Erlbaum Associates, Inc., Publishers: Mahwah, NJ, 2000. xii, 346 pp. ISBN 0-8058-3046-4 (paperback), volume 2; ISBN 0-8058-3048-0 (paperback), set.] pp. 315-329.  ...  Lawrence Erlbaum Associ- ates, Inc., Publishers: Mahwah, NJ, 2000. xii, 346 pp. ISBN 0-8058-3046-4 (paperback), volume 2; ISBN 0-8058-3048-0 (paperback), set.] pp. 175-188.  ... 

MSC volume 22 issue 1 Cover and Back matter

2011 Mathematical Structures in Computer Science  
1 $65.00: Pb: 978-0-521-14976-1: 346 pp Volume 2 $65.00: Pb: 978-1-107-64881-4: 262 pp.  ...  Instructions for contributors Editorial policy Mathematical Structures in Computer Science (MSCS) is a journal of theoretical computer science which focuses on the application of ideas from the structural  ... 
doi:10.1017/s0960129511000727 fatcat:n76bozanx5cmvhupzskukacb24

Page 1682 of The Journal of Neuroscience Vol. 15, Issue 3 [page]

1995 The Journal of Neuroscience  
Technical Report OGI-CSE-93-003, Oregon Graduate Institute of Science & Technology, Department of Computer Science and Engineering, Beaverton, Oregon.  ...  Rall W (1967) Distinguishing theoretical synaptic potentials computed for different somadendritic distributions of synaptic inputs. J Neu- rophysiol 30:1138-1168.  ... 

Page 249 of Computational Linguistics Vol. 16, Issue 4 [page]

1990 Computational Linguistics  
TR 346 Semantic Nets Are in the Eye of the Beholder Schubert, L. K.  ...  That many connectionists are attempting to address this issue suggests that a commitment to the need for structured representation does not separate connectionist and Computational Linguistics Volume 16  ... 

Ambitious Japanese Target for FSU Collaboration

1992 EurophysicsNews  
A volume of 320 pages of topical information. Orders to Physica Scripta at the address shown below.  ...  An international journal for experimental and theoretical physics Vol. T45 1992  ...  POB 641, 1211 Geneva 3, Switzerland Tel. +41 (22) 346 52 60 Fax +41 (22) 346 59 39 Scripta Proceeedings of the 12th General Conference of the Condensed Matter Division of the European Physical Society  ... 
doi:10.1051/epn/19922310199 fatcat:jx5w6nrc3jby7ghj3kmxfg2hha

Page 4983 of Psychological Abstracts Vol. 86, Issue 12 [page]

1999 Psychological Abstracts  
This volume is intended for an audi- ence of English-language curricularists and teacher educators.  ...  Lawrence Erlbaum Associates, Inc., Publishers: Mahwah, NJ, 2000. xi, 346 pp. ISBN 0-8058-2920-2 (hardcover). ] pp. 3-11.  ... 

8th International Colloquium on Automata, Languages and Programming (ICALP 81)

1981 IEEE Transactions on Software Engineering  
We thank the School of Computer Science (Charles University, Faculty of Mathematics and Physics) and Center of Excellence -Institute for Theoretical Computer Science (project P202/12/G061 of Czech Science  ...  The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science.  ... 
doi:10.1109/tse.1981.234528 fatcat:ob65j2ybgzbgba6y6ar7bczb6a

Bulletin

1987 International Journal of Approximate Reasoning  
Ras at Computer Science Dept., University of North Carolina, Charlotte, NC 28223, (704) 547-4880.  ...  Send abstracts/papers to Keh-Hsun Chen, ISMIS'87, UNC-Charlotte, Dept. of Computer Science, Charlotte, NC 28223.  ... 
doi:10.1016/0888-613x(87)90011-9 fatcat:mgasy7hoyrbjblgj6edpwfd57a

Page 10 of Contemporary Psychology Vol. 43, Issue 1 [page]

1998 Contemporary Psychology  
- sive tool for engaging in this necessary kind of inquiry that was already so pro- ductively carried out by the six volumes of Psychology: A Study of a Science.  ...  I recall a late afternoon seminar con- ducted by Clarence Graham at the time various volumes of Psychology: A Study of a Science were in preparation and produc- tion.  ... 

Page 2811 of Mathematical Reviews Vol. , Issue 93e [page]

1993 Mathematical Reviews  
, Miklés (H-AOS) The mixing rate of Markov chains, an isoperimetric inequality, and computing the volume. 31st Annual Symposium on Foundations of Computer Science, Vol.  ...  Louis, MO, 1990), 346-354, IEEE Comput. Soc. Press, Los Alamitos, CA, 1990.  ... 
« Previous Showing results 1 — 15 out of 18,933 results