| 199894 |
|
Kowalewski S., Philippou A. |
Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009 |
2009 • | •• |
| 154495 |
|
Kowalewski S., Roveri M. |
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering) |
2010 | •• |
| 198567 |
|
Kowalewski T.A., Gutkowski W. |
Mechanics of the 21st century: proceedings of the 21st International Congress of Theoretical and Applied Mechanics, Warsaw, Poland, 15 - 21 August 2004 |
2005 • | •• |
| 26544 |
|
Kowalick T. |
FATAL EXIT: The Automotive Black Box Debate |
2004 | •• |
| 176979 |
|
Kowalik J ., Gorski J., Sachenko A. |
Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues, ... II: Mathematics, Physics and Chemistry) |
2005 | •• |
| 9708 |
|
Kowalik J.S. (ed.) |
Parallel Computation Computers for Artificial Intelligence |
1988 | •• |
| 83313 |
|
Kowalik J.S., Gorski J., Sachenko A. |
Cyberspace security and defense: research issues. Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense, NATO Advanced Research Workshop |
2005 • | •• |
| 49435 |
|
Kowalska T. (ed.), Sherma J. (ed.) |
Thin Layer Chromatography in Chiral Separations and Analysis |
2007 | •• |
| 47488 |
|
Kowalski T. |
Calibration in the Pharmaceutical Laboratory |
2001 • | •• |
| 127809 |
|
Kowalski E. |
The Large Sieve and its Applications: Arithmetic Geometry, Random Walks and Discrete Groups |
2008 | •• |
| 165323 |
|
Kowalski E. |
The large sieve and its applications: Arithmetic geometry, random walks and discrete groups |
2008 | •• |
| 198117 |
|
Kowalski E. |
Un cours de theorie analytique des nombres |
2004 | •• |
| 193885 |
|
Kowalski G. |
Information Retrieval Architecture and Algorithms |
2011 | •• |
| 139996 |
|
Kowalski G. |
Information Retrieval Systems: Theory and Implementation (The Information Retrieval Series, 1) |
1997 | •• |
| 162318 |
|
Kowalski G.J., Maybury M.T. |
Information Storage and Retrieval Systems: Theory and Implementation (The Information Retrieval Series, Volume 8) |
2000 • | •• |
| 97691 |
|
Kowalski J.M. |
Simple inequality for the free energy of disordered systems |
1978 | •• |
| 126493 |
|
Kowalski M., Sikorski K.A., Stenger F. |
Selected topics in approximation and computation |
1995 • | •• |
| 142899 |
|
Kowalski M., Sikorski C., Stenger F. |
Selected Topics in Approximation and Computation (International Series of Monographs on Computer Science) |
1995 | •• |
| 150384 |
|
Kowalski M., Sikorski C., Stenger F. |
Selected topics in approximation and computation |
1995 | •• |
| 149505 |
|
Kowalski O., Musso E., Perrone D. |
Complex, Contact and Symmetric Manifolds: In Honor of L. Vanhecke |
2005 | •• |
| 151791 |
|
Kowalski O., Musso E., Perrone D. |
Complex, contact and symmetric manifolds: In honor of L. Vanhecke |
2005 | •• |
| 36346 |
|
Kowalski O. |
Generalized Symmetric Spaces |
1980 | •• |
| 47166 |
|
Kowalski R. |
Algorithm = Logic + Control |
1971 | •• |
| 14703 |
|
Kowalski R. |
Logic for problem solving |
1979 | •• |
| 51342 |
|
Kowalski S.J. |
Drying of Porous Materials |
2007 | •• |
| 155783 |
|
Kowalski T. |
An Artificial Intelligence Approach to VLSI Design |
1985 | •• |
| 129810 |
|
Kowalski W. |
Aerobiological Engineering Handbook: A Guide to Airborne Disease Control Technologies |
2006 • | •• |
| 6379 |
|
Kowalski-Glikman J. (Ed.) |
Towards Quantum Gravity |
1999 | •• |
| 9064 |
|
Kowalsky R. |
Algorithm = Logic + Control |
1979 | •• |
| 213862 |
|
Kowit B. A. |
Everything Chocolate |
2020 | •• |
| 49345 |
|
Kowl A. (ed.) |
High Times Encyclopedia of Recreational Drugs |
1978 • | •• |
| 175297 |
|
Kox A. |
The scientific correspondence of H. A. Lorentz. Volume 1 |
2008 | •• |
| 114512 |
|
Kox A.J. |
Albert Einstein and Walther Nernst's Heat Theorem |
2006 | •• |
| 134997 |
|
Koyama S. |
Comparative Analysis of Evaluation Methodologies in Weapon Collection Programmes |
2006 | •• |
| 147659 |
|
Koymans R. |
Specifying Message Passing and Time-Critical Systems with Temporal Logic |
1992 | •• |
| 116229 |
|
Koyuncugil A.S. |
Surveillance Technologies and Early Warning Systems: Data Mining Applications for Risk Detection |
2010 | •• |
| 162713 |
|
Koza J. |
Genetic programming |
1992 | •• |
| 143918 |
|
Koza J. |
Genetic Programming II: Automatic Discovery of Reusable Programs (Complex Adaptive Systems) |
1994 | •• |
| 171376 |
|
Koza J. |
Genetic Programming: On the Programming of Computers by Means of Natural Selection |
1992 | •• |
| 12010 |
|
Koza J.R. |
Genetic Programming. On the Programming of Computers by Means of Natural Selection |
1998 | •• |
| 28060 |
|
Koza J.R. |
Genetic programming IV |
2003 | •• |
| 124729 |
|
Koza Z. |
The Long-Time Behavior of Initially Separated A + B -> 0 Reaction-Diffusion Systems with Arbitrary Diffusion Constants |
1996 | •• |
| 124261 |
|
Kozak J., Hatlee M. |
Stochastic Flows, Reaction-Diffusion Processes, and Morphogenesis |
1983 | •• |
| 139479 |
|
Kozel S. |
Closer: Performance, Technologies, Phenomenology (Leonardo Books) |
2007 | •• |
| 140718 |
|
Kozen D. |
Logics of Programs 1981 |
1982 | •• |
| 150365 |
|
Kozen D. |
The design and analysis of algorithms(conservative) |
1992 | •• |
| 193838 |
|
Kozen D. |
Automata and Computability |
1997 | •• |
| 191293 |
|
Kozen D. |
Theory of Computation (Texts in Computer Science) |
2006 | •• |
| 109029 |
|
Kozen D., Landau S. |
Polynomial decomposition algorithms |
1989 | •• |
| 104776 |
|
Kozen D., Landau S., Zippel R. |
Decomposition of Algebraic Functions |
1996 | •• |
|
|
Î ïðîåêòå