| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996395776903316 |
|
|
Autore |
Owen John <1616-1683.> |
|
|
Titolo |
The nature, power, deceit, and prevalency of the remainders of indwelling-sin in believers [[electronic resource] ] : Together with the wayes of its working, and means of prevention. Opened, evinced and applyed with a resolution of sundry cases of conscience thereunto appertaining |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed for Thomas Cockerill, at the sign of the Atlas in Cornhil near the Royal Exchange, 1675 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Sin |
Conscience, Examination of |
Man (Theology) |
Title pages17th cent.England |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Attributed to John Owen by Wing. |
A fragment; title page only. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910427705203321 |
|
|
Titolo |
Systems Modelling and Management : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / / edited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 197 p. 28 illus., 1 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 1262 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Programming languages (Electronic computers) |
Computer systems |
Computer programming |
Artificial intelligence |
Microprogramming |
Software Engineering |
Programming Language |
Computer System Implementation |
Programming Techniques |
Artificial Intelligence |
Control Structures and Microprogramming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Verification and Validation -- Applications -- Methods, Techniques and Tools. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are |
|
|
|
|
|
|
|
|
|
|
organized according to the following topical sections: verification and validation; applications; methods, techniques and tools. |
|
|
|
|
|
| |