🚀 We’re in Beta!

Meet our new design. Everything works as usual, but if anything feels off, give us a ping.

Elevate Your Lifestyle with Baier Christel Products

Embrace the perfect mix of comfort and innovation with Baier Christel.

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

33,717 ₸
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

25,187 ₸
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

70,500 ₸
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10803)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10803)

4.5
FREE
Baier Schneider &plan, schools, display, calendar A-Z-Regis (Unclassified Accessories)

Baier Schneider &plan, schools, display, calendar A-Z-Regis (Unclassified Accessories)

20,699 ₸
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

56,435 ₸
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006: 4137 (Lecture Notes in Computer Science, 4137)

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006: 4137 (Lecture Notes in Computer Science, 4137)

56,715 ₸
Baier Schneider &glass surface cartridge Pad (297 MM x 420 MM x A3 / 150 g/M ² 20 Sheets

Baier Schneider &glass surface cartridge Pad (297 MM x 420 MM x A3 / 150 g/M ² 20 Sheets

112,749 ₸
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International ... Notes in Computer Science Book 10854)

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International ... Notes in Computer Science Book 10854)

26,935 ₸
Christel 2020 Planer: A5 Minimalistischer Kalender Terminplaner Jahreskalender Terminkalender Taschenkalender mit Wochenübersicht

Christel 2020 Planer: A5 Minimalistischer Kalender Terminplaner Jahreskalender Terminkalender Taschenkalender mit Wochenübersicht

32,419 ₸
Christel

Christel

22,179 ₸
Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press)

4.5
195,759 ₸
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings

32,896 ₸
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10803)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10803)

FREE
Principles of Model Checking by Christel Baier (2008-06-03)

Principles of Model Checking by Christel Baier (2008-06-03)

64,901 ₸
Baier Schneider SpitzenTape & 100% Cotton Red

Baier Schneider SpitzenTape & 100% Cotton Red

5,082 ₸
[(Validation of Stochastic Systems: A Guide to Current Research )] [Author: Christel Baier] [Oct-2004]

[(Validation of Stochastic Systems: A Guide to Current Research )] [Author: Christel Baier] [Oct-2004]

369,739 ₸
Principles of Model Checking

Principles of Model Checking

4.5
51,691 ₸
Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT) (German Edition)

Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT) (German Edition)

11,242 ₸
[(Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings)] [Edited by Christel Baier ] published on (April, 2015)

[(Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings)] [Edited by Christel Baier ] published on (April, 2015)

FREE
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

81,939 〒