Kroen: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (24)
Más populares
Lista
- Lista
- Tabla

1

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Año:

2018

Idioma:

english

Archivo:

EPUB, 15.52 MB

0 / 5.0

english, 2018

2

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Año:

2018

Idioma:

english

Archivo:

EPUB, 13.56 MB

0 / 0

english, 2018

3

Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830 (Studies on the History of Society and Culture)

Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830 (Studies on the History of Society and Culture)

Año:

2000

Idioma:

english

Archivo:

PDF, 1.92 MB

0 / 0

english, 2000

4

Analysis of Chemical Warfare Degradation Products

Analysis of Chemical Warfare Degradation Products

Karolin K. Kroening, Renee N. Easter, Douglas D. Richardson, Stuart A. Willison, Joseph A. Caruso

Año:

2011

Idioma:

english

Archivo:

PDF, 5.36 MB

0 / 0

english, 2011

5

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Año:

2008

Idioma:

german

Archivo:

PDF, 1.63 MB

0 / 0

german, 2008

6

พระบรมราชฉายาลักษณ์ พระบาทสมเด็จพระปรมมินทรมหาประชาธิปก พระปกเกล้าเจ้าอยู่หัวแลพระราชพิธี บรมราชาภิเษก พระพุทธศักราช ๒๔๖๘ / THE ROYAL PORTRAITS OF H. M, King Paramindr Maha Prajadhipok Pra Pokklao Chowyoohua And Containing His Coronation Year B. E. 2468

พระบรมราชฉายาลักษณ์ พระบาทสมเด็จพระปรมมินทรมหาประชาธิปก พระปกเกล้าเจ้าอยู่หัวแลพระราชพิธี บรมราชาภิเษก พระพุทธศักราช ๒๔๖๘ / THE ROYAL PORTRAITS OF H. M, King Paramindr Maha Prajadhipok Pra Pokklao Chowyoohua And Containing His Coronation Year B. E. 2468

Thailand Postage Stamp Co.

Kroen Silpaphet

Año:

1926

Idioma:

thai

Archivo:

PDF, 7.99 MB

0 / 5.0

thai, 1926

7

Politics and theater: the crisis of legitimacy in restoration France, 1815-1830

Politics and theater: the crisis of legitimacy in restoration France, 1815-1830

University of California Press

American Council of Learned Societies., Kroen, Sheryl

Año:

2000

Idioma:

english

Archivo:

PDF, 2.01 MB

0 / 0

english, 2000

8

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Springer International Publishing

Daniel Kroening, Corina S. Păsăreanu (eds.)

Año:

2015

Idioma:

english

Archivo:

PDF, 16.66 MB

0 / 0

english, 2015

9

Digitaltechnik — Eine praxisnahe Einfuhrung

Digitaltechnik — Eine praxisnahe Einfuhrung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Año:

2008

Idioma:

german

Archivo:

PDF, 2.45 MB

0 / 0

german, 2008

10

Golf: How Good Do You Want to Be?

Golf: How Good Do You Want to Be?

Andrews McMeel Publishing

Año:

2009

Idioma:

english

Archivo:

EPUB, 2.92 MB

0 / 5.0

english, 2009

11

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)

Año:

2011

Idioma:

english

Archivo:

PDF, 3.37 MB

0 / 0

english, 2011

12

Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830

Politics and Theater: The Crisis of Legitimacy in Restoration France, 1815-1830

University of California Press

Año:

2000

Idioma:

english

Archivo:

PDF, 1.77 MB

0 / 0

english, 2000

13

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 3.55 MB

0 / 5.0

english, 2009

14

Decision Procedures_ An Algorithmic Point

Decision Procedures_ An Algorithmic Point

Kroening, Daniel

Archivo:

PDF, 3.72 MB

0 / 0

15

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Año:

2008

Idioma:

german

Archivo:

PDF, 1.59 MB

0 / 5.0

german, 2008

16

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 7.15 MB

0 / 0

english, 2009

17

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Springer-Verlag Berlin Heidelberg

Daniel Kroening, Ofer Strichman (auth.)

Año:

2016

Idioma:

english

Archivo:

PDF, 3.72 MB

0 / 0

english, 2016

18

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman

Año:

2016

Idioma:

english

Archivo:

PDF, 2.43 MB

0 / 0

english, 2016

19

Validation of Evolving Software

Validation of Evolving Software

Springer International Publishing

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)

Año:

2015

Idioma:

english

Archivo:

PDF, 7.14 MB

0 / 0

english, 2015

20

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman

Año:

2008

Idioma:

english

Archivo:

PDF, 3.45 MB

0 / 0

english, 2008

21

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)

Año:

2011

Idioma:

english

Archivo:

PDF, 3.24 MB

0 / 0

english, 2011

22

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Springer International Publishing

Daniel Kroening, Corina S. Păsăreanu (eds.)

Año:

2015

Idioma:

english

Archivo:

PDF, 34.03 MB

0 / 0

english, 2015

23

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

Daniel Kroening, Ofer Strichman, R.E. Bryant

Año:

2008

Idioma:

english

Archivo:

PDF, 2.20 MB

0 / 0

english, 2008

24

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Springer International Publishing

Dimitra Giannakopoulou, Daniel Kroening (eds.)

Año:

2014

Idioma:

english

Archivo:

PDF, 15.10 MB

0 / 0

english, 2014