Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Serenell Cerrito, Serenella Cerrito, Popescu, Popescu, Andrei Popescu - Automated Reasoning with Analytic Tableaux and Related Methods
Serenell Cerrito, Serenella Cerrito, Popescu, Popescu, Andrei Popescu Automated Reasoning with Analytic Tableaux and Related Methods Englisch 01.08.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Simon Colton - Automated Theory Formation in Pure Mathematics
Simon Colton Automated Theory Formation in Pure Mathematics Englisch 01.01.2002 Fester Einband Fr. 158.00 6-7 Wochen
Peter Comninos - Mathematical and Computer Programming Techniques for Computer Graphics
Peter Comninos Mathematical and Computer Programming Techniques for Computer Graphics Englisch 28.11.2005 Fester Einband Fr. 193.00 6-7 Wochen
Kun I Park, Kun I. Park - QoS in Packet Networks
Kun I Park, Kun I. Park QoS in Packet Networks Englisch 01.01.2004 Fester Einband Fr. 179.00 6-7 Wochen
Yi Lin, Yi-Tien Lin, Sifen Liu, Sifeng Liu - Grey Information
Yi Lin, Yi-Tien Lin, Sifen Liu, Sifeng Liu Grey Information Englisch 09.01.2006 Fester Einband Fr. 203.00 6-7 Wochen
S. G. Krantz, Steven G Krantz, Steven G. Krantz - Handbook of Logic and Proof Techniques for Computer Science
S. G. Krantz, Steven G Krantz, Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science Englisch 19.05.2009 Fester Einband Fr. 124.00 6-7 Wochen
J M Selig, J. M. Selig, J.M. Selig - Geometric Fundamentals of Robotics
J M Selig, J. M. Selig, J.M. Selig Geometric Fundamentals of Robotics Englisch 02.03.2005 Fester Einband Fr. 124.00 6-7 Wochen
J. Cagnol, Joh Cagnol, John Cagnol, Paul Zolesio, Paul Zolesio, Jean Paul Zolesio... - System Modeling and Optimization
J. Cagnol, Joh Cagnol, John Cagnol, Paul Zolesio, Paul Zolesio, Jean Paul Zolesio... System Modeling and Optimization Englisch 01.04.2005 Fester Einband Fr. 174.00 6-7 Wochen
Benedikt Lc6we, Benedikt Lowe, Benedikt Löwe, Bori Piwinger, Boris Piwinger, Thoralf Rasch... - Classical and New Paradigms of Computation and their Complexity Hierarchies
Benedikt Lc6we, Benedikt Lowe, Benedikt Löwe, Bori Piwinger, Boris Piwinger, Thoralf Rasch... Classical and New Paradigms of Computation and their Complexity Hierarchies Englisch 14.04.2009 Fester Einband Fr. 260.00 6-7 Wochen
Mario Alemi - The Amazing Journey of Reason
Mario Alemi The Amazing Journey of Reason Englisch 07.12.2019 Taschenbuch Fr. 30.50 6-7 Wochen
Hors Bunke, Horst Bunke, Peter Dickinson, Peter J Dickinson, Peter J. Dickinson, Miro Kraetzl... - A Graph-Theoretic Approach to Enterprise Network Dynamics
Hors Bunke, Horst Bunke, Peter Dickinson, Peter J Dickinson, Peter J. Dickinson, Miro Kraetzl... A Graph-Theoretic Approach to Enterprise Network Dynamics Englisch 10.01.2007 Fester Einband Fr. 169.00 6-7 Wochen
Iain D Craig, Iain D. Craig - Formal Models of Operating System Kernels
Iain D Craig, Iain D. Craig Formal Models of Operating System Kernels Englisch 01.01.2006 Fester Einband Fr. 169.00 6-7 Wochen
Bernd Heidergott, Bernd F Heidergott, Bernd F. Heidergott - Max-Plus Linear Stochastic Systems and Perturbation Analysis
Bernd Heidergott, Bernd F Heidergott, Bernd F. Heidergott Max-Plus Linear Stochastic Systems and Perturbation Analysis Englisch 14.11.2006 Fester Einband Fr. 203.00 6-7 Wochen
Vladimir D Liseikin, Vladimir D. Liseikin - A Computational Differential Geometry Approach to Grid Generation
Vladimir D Liseikin, Vladimir D. Liseikin A Computational Differential Geometry Approach to Grid Generation Englisch 14.04.2009 Fester Einband Fr. 207.00 6-7 Wochen
F. Ceragioli, Dontchev, A Dontchev, A. Dontchev, H. Furuta, H Furuta et al... - System Modeling and Optimization
F. Ceragioli, Dontchev, A Dontchev, A. Dontchev, H. Furuta, H Furuta et al... System Modeling and Optimization Englisch 26.05.2009 Fester Einband Fr. 158.00 6-7 Wochen
Dua Li, Duan Li, Xiaoling Sun - Nonlinear Integer Programming
Dua Li, Duan Li, Xiaoling Sun Nonlinear Integer Programming Englisch 01.01.2006 Fester Einband Fr. 179.00 6-7 Wochen
Ivo Nowak - Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Ivo Nowak Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming Englisch 23.08.2005 Fester Einband Fr. 135.00 6-7 Wochen
V. G. Ganzha, V.G. Ganzha, Victor G. Ganzha, E. W. Mayr, E.W. Mayr, Ernst W. Mayr... - Computer Algebra in Scientific Computing
V. G. Ganzha, V.G. Ganzha, Victor G. Ganzha, E. W. Mayr, E.W. Mayr, Ernst W. Mayr... Computer Algebra in Scientific Computing Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Joa Daemen, Joan Daemen, Rijmen, Rijmen, Vincent Rijmen - Fast Software Encryption
Joa Daemen, Joan Daemen, Rijmen, Rijmen, Vincent Rijmen Fast Software Encryption Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Jun Liu, Keyun Qin, Keyun et al Qin, D Ruan, Da Ruan, Yan Xu... - Lattice-Valued Logic
Jun Liu, Keyun Qin, Keyun et al Qin, D Ruan, Da Ruan, Yan Xu... Lattice-Valued Logic Englisch 01.01.2003 Fester Einband Fr. 189.00 6-7 Wochen