Result 1 to 20 from 47 total
FIESTA 2: parallelizeable multiloop numerical calculations (English)
Computer Physics Communications 182, No. 3, 790-803 (2011).
1
A traceability attack against e-passports. (English)
Sion, Radu (ed.), Financial cryptography and data security. 14th international conference, FC 2010, Tenerife, Canary Islands, January 25‒28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14576-6/pbk). Lecture Notes in Computer Science 6052, 20-34 (2010).
2
A traceability attack against e-passports (English)
Financial Cryptography, 20-34 (2010).
3
Multiloop Feynman integrals (English)
Scholarpedia 4, No. 6, 8507 (2009).
4
Methods and algorithms for verification of knowledge bases in integrated expert systems. (English)
J. Comput. Syst. Sci. Int. 46, No. 4, 590-601 (2007); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2007, No. 4, 91-102 (2007).
5
A generalized addressing concept for correlative memory and neural networks. (English)
Neurocomputing 69, No. 13-15, 1637-1644 (2006).
6
Logic and computer. 2. Logic languages, meaningful reasonings and proof search methods. (Logika i komp’yuter. 2. Logicheskie yazyki, soderzhatel’nye rassuzhdeniya i metody poiska dokazatel’stv.) (Russian)
Kibernetika: Neogranichennye Vozmozhnosti i Vozmozhnye Ogranicheniya. Moskva: Nauka. 131 p. (1995).
7
Logic and computer. No. 3. The proof and its search. A course in logic and computer practice. Disk incl. (Logika i komp’yuter. Vyp. 3. Dokazatel’stvo i ego poisk. Kurs logiki i komp’yuternyj praktikum.) (Russian)
Kibernetika: Neogranichennye Vozmozhnosti i Vozmozhnye Ogranicheniya. Moskva: Nauka. 256 p. (1995).
8
Higher mathematics. Ordinary differential equations. Series. General scheme for constructing integrals. Field theory. Equations of mathematical physics. Textbook for problem solution. (Vysshaya matematika. Obyknovennye differentsial’nye uravneniya. Ryady. Obshchaya skhema postroeniya integralov. Teoriya polya. Uravneniya matematicheskoj fiziki. Posobie po resheniyu zadach.) (Russian)
Leningrad: Severo-Zapadnyj Zaochnyj Politekhnicheskij Institut, 80 p. R. 0.60 (1991).
9
Logical methods in computer sciences. Proceedings of the scientific research seminar on logic of the Institute of Philosophy of the Academy of Sciences of the USSR. Collection of articles. (Logicheskie metody v komp’yuternykh naukakh. Trudy nauchno-issledovatel’skogo seminara po logike Instituta filosofii AN SSSR. Sbornik statej.) (Russian)
Moskva: Institut Filosofii AN SSSR. 199 p. R. 1.65 (1991).
10
Renormalization and asymptotic expansions. (English)
Progress in Physics. 14. Basel etc.: Birkhäuser Verlag. x, 380 p. (1991).
11
Lehrgang der höheren Mathematik. Teil V. Übers. aus dem Russischen, hrsgg. von Renate Helle und Brigitte Mai. 11. Aufl. (German)
Hochschulbücher für Mathematik, 6. Berlin: Deutscher Verlag der Wissenschaften. 545 S. DM 58.00 (1991).
12
Logic and computer. Modelling of reasonings and control of the correctness of programs. (Logika i komp’yuter. Modelirovanie rassuzhdenij i proverka pravil’nosti programm.) (Russian)
Kibernetika: Neogranichennye Vozmozhnosti i Vozmozhnye Ogranicheniya. Moskva: Nauka. 240 p. R. 0.65 (1990).
13
Course in higher mathematics. (Lehrgang der höheren Mathematik. Teil II. Aus dem Russ. übers. nach der 19. Aufl.) 17. Aufl. (German)
Hochschulbücher für Mathematik. 2. Berlin: Deutscher Verlag der Wissenschaften. 618 S. (1990).
14
Assertion and predication. Combined calculi of propositions and events. (Russian)
Syntactical and semantical investigations of non-extensional logics, Moskva, 27-35 (1989).
15
The logical ideas of N. A. Vasiliev and modern logic. (English)
Logic, methodology and philosophy of science VIII, Proc. 8th Int. Congr., Moscow/USSR 1987, Stud. Logic Found. Math. 126, 625-640 (1989).
16
Investigations in nonclassical logics. Papers from the Fourth Soviet- Finnish logic colloquium held in Telavi (USSR), May 1985. (Issledovaniya po neklassicheskim logikam.) (Russian)
Moskva: Nauka. 352 p. (1989).
17
Syntactical and semantical investigations of non-extensional logics. (Sintaksicheskie i semanticheskie issledovaniya neehkstensional’nykh logik.) (Russian)
Moskva: Nauka. 311 p. R. 2.90 (1989).
18
Cours de mathématiques supérieures. (En cinq tomes). Tome IV, première partie. (Course in higher mathematics. (In five volumes). Vol. IV, part one). Trad. du russe par Djilali Embarek. Réimpression. (Cours de mathématiques supérieures. (En cinq tomes). Tome IV, première partie.) Trad. du russe par Djilali Embarek. Réimpression. (French)
Moscow: Éditions Mir. 341 p. (1989).
19
A survey of garbage collection methods. (Obzor metodov sborki musora). (Obzor metodov sborki musora.) (Russian)
Moskva: Institut Prikladnoj Matematiki AN SSSR. 50 p. R. 0.15 (1989).
20
Result 1 to 20 from 47 total
Start
Contact
Print
General Help
