• Angielski
  • Hiszpański
  • Francuski
  • Niemiecki
  • Portugalski
  • Włoski
  • Rosyjski
  • Chiński (uproszczony)
  • Chiński (Tradycyjny)
  • Japoński
  • Koreański
  • Holenderski
  • Szwedzki
  • Perski
  • Arabski
  • Polski
  • Strona główna
  • Odkryj
  • Artykuły
  • Zaloguj się
  • Zarejestruj się
  • Angielski
  • Hiszpański
  • Francuski
  • Niemiecki
  • Portugalski
  • Włoski
  • Rosyjski
  • Chiński (uproszczony)
  • Chiński (Tradycyjny)
  • Japoński
  • Koreański
  • Holenderski
  • Szwedzki
  • Perski
  • Arabski
  • Polski
Skaner kodów kreskowych ISBN
Dodaj książki w kilka sekund dzięki skanowaniu kodów kreskowych.

Wystarczy zeskanować ISBN, aby natychmiast dodać książkę do swojej biblioteki. Dostępne na iOS i Android.

App Store Google Play
Nikolaj Bjørner

Nikolaj Bjørner

Przegląd Książki
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

Nikolaj Bjørner

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019

Nikolaj Bjørner

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

Nikolaj Bjørner

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

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

Nikolaj Bjørner

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

Nikolaj Bjørner

Automated Deduction Cade23

Automated Deduction Cade23

Nikolaj Bjørner

Śledź swoją podróż czytelniczą, odkrywaj nowe książki i osiągaj swoje cele czytelnicze z BookPine.

App Store Google Play
Odkryj
  • Odkryj
Konto
  • Zaloguj się
  • Zarejestruj się
Wsparcie
  • FAQ
  • Prośby o funkcje
  • Kontakt
Warunki
  • Warunki korzystania z usługi
  • Polityka prywatności
  • Polityka cookies
  • Zarządzaj ciasteczkami

Prawa autorskie © 2026 BookPine. Wszelkie prawa zastrzeżone.

Wyślij opinię

Używamy ciasteczek, aby poprawić Twoje doświadczenia i analizować ruch na stronie. Możesz wybrać, które ciasteczka zaakceptować.

Niezbędne

Niezbędne do funkcjonowania strony. Nie można wyłączyć.

Analityka

Pomóż nam zrozumieć, jak odwiedzający wchodzą w interakcje z naszą stroną.

Marketing

Używane do dostarczania odpowiednich reklam i śledzenia kampanii.