Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.). by SAT 2006 (2006 : Seattle, Wash.) Biere, Armin Gomes, Carla Series: Lecture notes in computer science ; 4121. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006 Other title: SAT 2006 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Biere, Amir Nahir, Tanja Vos (eds.). by International Haifa Verification Conference (8th : 2012 : Haifa, Israel) Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] Series: Lecture notes in computer science ; 7857. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New York : Springer, [2013]Copyright date: ©2013 Other title: HVC 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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 / Armin Biere, Roderick Bloem (Eds.). by CAV (Conference) (26th : 2014 : Vienna, Austria) Biere, Armin [editor.] Bloem, Roderick P [editor.] Series: Lecture notes in computer science ; 8559. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014 Other title: CAV 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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. Part II / Armin Biere, David Parker (eds.). by TACAS (Conference) (26th : 2020 : Dublin, Ireland) Biere, Armin [editor.] Parker, David [editor.] ETAPS (Conference) (23rd : 2020 : Dublin, Ireland) Series: Lecture notes in computer science ; 12079. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020 Other title: TACAS 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	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. Part I / Armin Biere, David Parker (eds.). by TACAS (Conference) (26th : 2020 : Dublin, Ireland) Biere, Armin [editor.] Parker, David [editor.] ETAPS (Conference) (23rd : 2020 : Dublin, Ireland) Series: Lecture notes in computer science ; 12078. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer Open, 2020 Other title: TACAS 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Handbook of Satisfiability [electronic resource] : Second Edition. by Biere, Armin Heule, Marijn, 1979- Maaren, Hans van Series: Frontiers in Artificial Intelligence and Applications Ser Material type: Text; Format: available online ; Literary form: Not fiction Publication details: : IOS Press, Incorporated, 2021 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	7.	Handbook of satisfiability [electronic resource] / edited by Armin Biere [and others]. by Biere, Armin Series: Frontiers in artificial intelligence and applications ; v. 185. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam ; Washington, DC : IOS Press, ©2009 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha