Nikolaj Bjørner: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (20)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 5.37 MB

0 / 0

english, 2007

2

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.17 MB

0 / 0

english, 2011

3

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 5.78 MB

0 / 0

english, 2011

4

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 3.56 MB

0 / 0

english, 2009

5

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 6.60 MB

0 / 0

english, 2007

6

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 7.82 MB

0 / 0

english, 2007

7

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Springer International Publishing

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

సంవత్సరం:

2019

భాష:

english

ఫైల్:

PDF, 17.03 MB

0 / 0

english, 2019

8

Integrating Decision Procedures for Temporal Verification

Integrating Decision Procedures for Temporal Verification

Stanford University

Nikolaj Skallerud Bjorner

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 1.07 MB

0 / 0

english, 1999

9

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 5.27 MB

0 / 0

english, 2012

10

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 12.26 MB

0 / 0

english, 2012

11

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Springer International Publishing

Nikolaj Bjørner, Frank de Boer (eds.)

సంవత్సరం:

2015

భాష:

english

ఫైల్:

PDF, 14.28 MB

0 / 0

english, 2015

12

Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

Springer International Publishing

Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (eds.)

సంవత్సరం:

2016

భాష:

english

ఫైల్:

PDF, 14.30 MB

0 / 0

english, 2016

13

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 4.24 MB

0 / 0

english, 2012

14

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 5.18 MB

0 / 0

english, 2011

15

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 17.38 MB

0 / 0

english, 2012

16

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 4.69 MB

0 / 0

english, 2012

17

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.29 MB

0 / 0

english, 2011

18

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 8.16 MB

0 / 0

english, 2012

19

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 4.35 MB

0 / 0

english, 2009

20

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 4.41 MB

0 / 0

english, 2009