Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Mathematics - Numerical Analysis"" wg kryterium: Temat


Wyświetlanie 1-4 z 4
Tytuł:
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
Autorzy:
Svetlana Selivanova
Victor Selivanov
Pokaż więcej
Temat:
computer science - numerical analysis
mathematics - numerical analysis
03d78, 58j45, 65m06, 65m25
f.1.1
g.1.8
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/4062/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/4d72aaa884f64d5f861afeb43f8d9393  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Type classes for efficient exact real arithmetic in Coq
Autorzy:
Robbert Krebbers
Bas Spitters
Pokaż więcej
Temat:
computer science - logic in computer science
mathematics - numerical analysis
d.2.4
f.4.1
g.1
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/958/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/e587b13c8b32433e9e29bd40ab7d843d  Link otwiera się w nowym oknie
Czasopismo naukowe
    Wyświetlanie 1-4 z 4

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies