Knjige avtorja: Biere

Die Orientierungshilfen zur Dokumentation SIS und BI

Biere, Jens

ISBN: 9783000856877

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

31,46 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

How Business With AI Enlarges the Pie

Ferdinand Biere, Silvio Gerlach

ISBN: 9783936875539

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

39,12 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Die Formulierungshilfen für die Pflegeprozessplanung nach AEDL

Biere, Jens

ISBN: 9783000856860

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

30,11 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Theory and Applications of Satisfiability Testing - SAT 2006

SAT 2006, Armin Biere, Carla Gomes

Datum izdaje: 14. september 2006

ISBN: 9783540372066

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

57,34 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Biere, Armin

Datum izdaje: 19. julij 2013

ISBN: 9783642396106

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

51,09 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Biere, Armin

Datum izdaje: 4. avgust 2014

ISBN: 9783319088662

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

108,21 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Tools and Algorithms for the Construction and Analysis of Systems : 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,

Biere, Armin

Datum izdaje: 2020

ISBN: 9783030451899

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

49,25 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Tools and Algorithms for the Construction and Analysis of Systems : 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,

Biere, Armin

Datum izdaje: 2020

ISBN: 9783030452360

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

47,80 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Handbook of Satisfiability

Armin Biere

Datum izdaje: 2009

ISBN: 9781586039295

Razpoložljivost: Na zalogi

Vezava: Trda vezava

157,03 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Augustdorf

Biere, Olaf

ISBN: 9783910490048

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

38,84 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo