Results
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker. by Series: Theoretical Computer Science and General Issues ; 12078
Edition: 1st ed. 2020.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer eBooks
Availability: No items available.
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker. by Series: Theoretical Computer Science and General Issues ; 12079
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer eBooks
Availability: No items available.
|
|
|
|
Commentaries, Catenae and Biblical Tradition : Papers from the Ninth Birmingham Colloquium on the Textual Criticism of the New Testament, in association with the COMPAUL project. by
- Allen, Garrick V
- Boodts, Shari
- Dorfbauer, Lukas J
- Dorival, Gilles
- Falluomini, Carla
- Gram, John
- Griffith, Susan B
- Kreinecker, Christina M
- Lamb, William
- Lorrain, Agnès
- MacLachlan, Rosalind
- Morrill, Bruce
- Panella, Theodora
- Parker, David C
- Partoens, Gert
- Schulz, Matthias
Series: Texts and Studies
Material type: Text; Format:
available online
; Audience:
Specialized;
Language: English Publisher: Piscataway, NJ : Gorgias Press, [2016]Copyright date: ©2016Title is part of eBook package: Gorgias eBook Package 2016
Availability: No items available.
|
|
|
|
|