Feasible mathematics
: a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 / [Workshop on Feasible Mathematics]. Samuel R. Buss ; Philip J. Scott ed.. - Boston : Birkhäuser, 1990. - VIII, 350 S.; 24 cm - (Progress in computer science and applied logic; Vol. 9)
ISBN 978-3-7643-3483-3 / 3-7643-3483-5 Pp. : sfr 59.00
Literaturangaben
Quelle: DNB
Generalized quantifiers and computation
: revised lectures / 9th European Summer School in Logic, Language, and Information, ESSLLI '97, Aix-en-Provence, France, August 1997. J. Väänänen (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1754)
ISBN 978-3-540-46583-6
Lizenzpflichtig
Quelle: DNB
Group based cryptography
/ Alexei Myasnikov .... - Basel : Birkhäuser, 2008. - Online-Ressource - (Advanced courses in mathematics)
ISBN 978-3-7643-8827-0
Lizenzpflichtig
Quelle: DNB
Myasnikov, Alexei G.: Group based cryptography
/ Alexei Myasnikov ; Vladimir Shpilrain ; Alexander Ushakov. - Basel : Birkhäuser, 2008. - XV, 153 S.; 24 cm - (Advanced courses in mathematics)
ISBN 978-3-7643-8826-3 kart. : EUR 31.99 (freier Pr.), sfr 52.90 (freier Pr.)
Literaturverz. S. 169 - 178
Quelle: DNB Verlagsmeldungen
Demri, Stéphane: Incomplete information
: structure, inference, complexity / Stéphane P. Demri ; Ewa S. Orłowska. - Berlin : Springer, 2002. - XVIII, 405 S.; 24 cm - (Monographs on theoretical computer science)
ISBN 978-3-540-41904-4 / 3-540-41904-7 Pp. : EUR 69.50
Literaturverz. S. 379 - 398
Quelle: DNB
Rüthing, Oliver: Interacting code motion transformations
: their impact and their complexity / Oliver Rüthing. - Berlin : Springer, 1998. - XII, 225 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1539)
ISBN 978-3-540-65510-7 / 3-540-65510-7 kart. : DM 58.00
Literaturverz. S. 215 - 220
Quelle: DNB
Interacting code motion transformations
: their impact and their complexity / Oliver Rüthing. - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1539)
ISBN 978-3-540-49209-2
Lizenzpflichtig
Quelle: DNB
Kolmogorov complexity and computational complexity
/ Osamu Watanabe (ed.). - Berlin : Springer, 1992. - 105 S. : graph. Darst.; 24 cm - (EATCS monographs on theoretical computer science)
ISBN 978-3-540-55840-8 / 3-540-55840-3 : DM 48.00
Literaturangaben
Quelle: DNB
Logical approaches to computational barriers
: proceedings / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006. Arnold Beckmann ... (ed.). - Berlin : Springer, 2006. - Online-Ressoruce - (Lecture notes in computer science; 3988)
ISBN 978-3-540-35468-0
Lizenzpflichtig
Quelle: DNB
Logical foundations of computer science
: international symposium ; proceedings / LFCS 2007, New York, NY, USA, June 4 - 7, 2007. Sergei N. Artemov (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4514)
ISBN 978-3-540-72734-7
Lizenzpflichtig
Quelle: DNB
