| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910449675003321 |
|
|
Titolo |
30 years of IJSE [[electronic resource] ] : festschrift in honour of Professor John O'Brien . Part 1 / / guest editor, Barrie Pettman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Bradford, England], : Emerald Group Pub., 2004 |
|
|
|
|
|
|
|
ISBN |
|
1-280-51567-8 |
9786610515677 |
1-84544-740-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
International journal of social economics ; ; v. 31, no. 5/6, 2004 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Investments |
Economics |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
CONTENTS; EDITORIAL ADVISORY BOARD; Abstracts and keywords; What determines private investment in Iran?; Politics of race and poverty in Fiji; The foundations of marriage: are they crumbling?; A reconsideration on the method of economic and social sciences; Edge cities, urban corridors and beyond; Prices and subsidies for Australian psychiatric services; Motivational needs and interdependent utilities; The relationship between religion and earnings: recent evidence from the NLS Youth Cohort; Moral considerations in outsourcing to foreign labor |
Factors explaining the choice of an economics major |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Iran's third five-year development (2000/2001-2004/2005) has been considered a pivotal role for private investment in creating 700,000-800,000 jobs per annum to stabilise the rate of unemployment. This paper examines the long- and short-run determinants of the private investment function by employing the Johansen multivariate cointegration technique and a short-run dynamic model. Using annual data for the period 1960-2000, this paper finds, inter alia, that private investment is cointegrated with non-oil gross domestic product and the rate of inflation. It is found that a 1 per cent increase i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466208503316 |
|
|
Titolo |
Automated Technology for Verification and Analysis [[electronic resource] ] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / / edited by Madhavan Mukund, Supratik Chakraborty |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 438 p. 106 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7561 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer communication systems |
Computer logic |
Programming languages (Electronic computers) |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Software Engineering/Programming and Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
International conference proceedings. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic |
|
|
|
|
|
|
|
|
|
|
verification, constraint solving and applications, and probabilistic systems. |
|
|
|
|
|
| |