| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910956061303321 |
|
|
Autore |
Vikander Edelman Diana |
|
|
Titolo |
The Origins of the Second Temple : Persion Imperial Policy and the Rebuilding of Jerusalem |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, : Taylor and Francis, 2014 |
|
|
|
|
|
|
|
ISBN |
|
1-315-71133-8 |
1-317-49163-7 |
1-281-74497-2 |
9786611744977 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (457 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Artaxerxes I, King of Persia, -425 B.C. or 424 B.C. -- Relations with Jews |
Bible. Ezra, I-VI -- History of Biblical events |
Bible. Haggai -- Chronology |
Bible. Nehemiah -- Chronology |
Bible. Zechariah -- Chronology |
Jerusalem -- History -- To 1500 |
Temple of Jerusalem (Jerusalem) -- History |
Yehud (Persian province) |
Middle East |
Regions & Countries - Asia & the Middle East |
History & Archaeology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Half Title; Series Page; Title Page; Copyright Page; Dedication; Table of Contents; Preface; List of Illustrations and Maps; Introduction; The Topic of Inquiry; A Brief Survey of Past Hypotheses; An Outline of Chapters; Chapter 1 When Generations Really Count: Dating Zerubbabel and Nehemiah Using Genealogical Information in the Book of Nehemiah; Introduction; Generation 1; Iddo; Kadmiel; Yeshua ben Yehozadak; Generation 2; Zerubbabel; Yehoiakim; Berekiah; Shekaniah |
|
|
|
|
|
|
|
|
|
|
|
ben Arah; Generation 3; Eliashiv; Meshullam, Son of Zerubbabel; Hananiah, Son of Zerubbabel; Shelomit; Elnatan; Zechariah |
Meshullam, Son of Berekiah and Brother of ZechariahShemaiah ben Shekaniah; Tobiah the Ammonite; Sanballat the Horonite/Sinuballit the Harrranite; Geshem the Arab; Generation 4; Yoiada/Yehoiada; The Daughter of Meshullam ben Berekiah; The Sons of Sanballat/Sinuballit; Bagohi; Generation 5; Yohanan ben Yehoiada; The Daughter of Sanballat/Sinuballit and the Son of Yehoiada; Yonatan ben Yehoiada; Generation 6; Yaddua; Chronological Implications of the Genealogies; Establishing Date Parameters; Nehemiah as a Member of Generation 3; Conclusion; Endnotes |
Chapter 2 What's in a Date? The Unreliable Nature of the Dates in Haggai and ZechariahIntroduction; Dating Formulae Used from the Seventh-Second Centuries bce; Judah; Neo-Assyria; Neo-Babylonia; Persia; The Ptolemies; The Seleucids; Section Summary; The Dates in Haggai and Zechariah 1-8; The Year Dates; Zechariah 7.1-7; The Seventy-Year Figure in Zechariah 7.4; The Date of the Destruction of the Temple by Nebuchadnezzar; Preliminary Considerations; Year 18 or 19 of Nebuchadnezzar?; Year 1 of Darius; The Seventy-Year Tradition Revisited; Why Year 2 of Darius and Not Year 1?; Section Summary |
Month and Day Elements in the Date Formulae in Haggai and Zechariah 1-8The Agricultural Cycles in Babylonia and Yehud; The Iqqur Ipush Almanac; Day and Month Elements in the Book of Haggai; Day 1, Month 6 (Haggai 1.1); Day 24, Month 6 (Haggai 1.15); Day 21, Month 7 (Haggai 2.1); Day 24, Month 9 (Haggai 2.10, 18); Section Summary; Day and Month Elements in Zechariah 1-8; Month 8 (Zechariah 1.1); Day 24, Month 11 (Zechariah 1.7); Day 4, Month 9 (Zechariah 7.1); Section Summary; The Internal Organization of Haggai and Zechariah 1-8 as Temple-Building Accounts |
Haggai as an Independent Account of Temple-BuildingZechariah 1-8 as an Independent Account of Temple-Building; Haggai-Zechariah 8 as a Single Account of Temple- Building; Chapter Summary and Conclusion; Endnotes; Chapter 3 It's all in the Sources: The Historicity of the Account of Temple-Rebuilding in Ezra 1-6; Introduction; Summary of Ezra 1-6 and Some Historical Problems It Raises; Summary; Historical Problems; Ezra 1-6 as an Account of Temple-Building; Sources Used to Compose Ezra 1-6; 2 Isaiah (Isaiah 40-55); Cyrus as the Temple's Rebuilder; Cyrus' Return of the Temple Vessels |
The Books of Chronicles |
|
|
|
|
|
|
Sommario/riassunto |
|
Darius I, King of Persia, claims to have accomplished many deeds in the early years of his reign, but was one of them the rebuilding of the temple in Jerusalem? The editor who added the date to the books of Haggai and Zechariah thought so, and the author of Ezra 1-6 then relied on his dates when writing his account of the rebuilding process. The genealogical information contained in the book of Nehemiah, however, suggests otherwise; it indicates that Zerubbabel and Nehemiah were either contemporaries, or a generation apart in age, not some 65 years apart. Thus, either Zerubabbel and the temple |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910447251303321 |
|
|
Titolo |
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings / / edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 317 p. 104 illus., 64 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 12543 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer engineering |
Computer networks |
Artificial intelligence |
Computers |
Computer science |
Software Engineering |
Computer Engineering and Networks |
Artificial Intelligence |
Computing Milieux |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Model-Based Testing -- Using Model Learning for the Generation of Mock Components -- Interrogating Virtual Agents: In Quest of Security Vulnerabilities -- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT -- Learning Abstracted Non-Deterministic Finite State Machines -- Security Testing -- APPregator: a large-scale platform for mobile security analysis -- Vulsploit: a module for semi-automatic exploitation of vulnerabilities -- About the Robustness and Looseness of Yara Rules -- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server -- Trust is in the air: a new adaptive method to evaluate mobile wireless |
|
|
|
|
|
|
|
|
|
|
|
networks -- Enabling Next-Generation Cyber Ranges with Mobile Security Components -- Testing Methods and Applications -- A Technique for Parallel GUI Testing of Android Applications -- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements -- Methods for Live Testing of Cloud Services -- Testing Methods and Automation -- Automated Transition Coverage in Behavioural Conformance Testing -- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm -- Automatic Fairness Testing of Machine Learning Models -- Inspecting Code Churns to Prioritize Test Cases -- Short Contributions -- Using an SMT solver for checking the completeness of FSM-based tests -- Hacking Goals: a goal-centric attack taxonomy in computer systems -- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems -- Architecture based on keyword driven testing with domain specific language for a testing system. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions. |
|
|
|
|
|
|
|
| |