| 3571. |
Grotschel M. Katona G. |
Building bridges: Between mathematics and computer science | 2008 |
| 3572. |
Grout I.A. |
Integrated Circuit Test Engineering: Modern Techniques | 2005 |
| 3573. |
Groves P.D. |
Principles of GNSS, Inertial, and Multi-Sensor Integrated Navigation Systems | 2007 |
| 3574. |
GrSdel E. Libkin L. Kolaitis Ph.G. |
Finite Model Theory and Its Applications | 2004 |
| 3575. |
Grumberg O. |
Computer Aided Verification, 9 conf., CAV '97 (1 edition) | 1997 |
| 3576. |
Grumberg O. Kaminski M. Katz S. |
Languages, from formal to natural. (Essays dedicated to Nissim Francez on the occasion of his 65th birthday) | 2009 |
| 3577. |
Grumberg O. (ed.) Veith H. (ed.) |
25 years of model checking. Lecture notes in computer science 5000 | 2008 |
| 3578. |
Grun P. Nicolau A. Dutt N. |
Memory Architecture Exploration for Programmable Embedded Systems | 2002 |
| 3579. |
Grune D. Bal H. Jacobs J. |
Modern compiler design (1 edition) | 2000 |
| 3580. |
Gruska J. Rovan B. Wiedermann J. |
Lecture Notes in Computer Science. №233. Mathematical Foundations of Computer Science 1986 | 1986 |
| 3581. |
Gruska J. |
Mathematical Foundations of Computer Science 1977 | 1977 |
| 3582. |
Gschwind T. Assmann U. |
Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers | 2005 |
| 3583. |
Guan Y. Ahmed Sh. |
A branch-and-cut algorithm for the stochastic uncapacitated lot-sizing problem | 2006 |
| 3584. |
Guaraldo R. Zaker S. |
Marvel Super Heroes Computer Fun Book II | 1984 |
| 3585. |
Gudes E. (ed.) Vaidya J. (ed.) |
Data and Applications Security XXIII. 23rd Annual IFIPWG 11.3 Working Conference Montreal, Canada, July 12-15, 2009 Proceedings | 2009 |
| 3586. |
Gudwin R. (Ed) Queiroz J. (Ed) |
Semiotics and Intelligent Systems Development | 2006 |
| 3587. |
Guilfoyle E. |
Quake 4 Mods For Dummies | 2006 |
| 3588. |
Guillet F. (ed.) Hamilton H.J. (ed.) |
Quality Measures in Data Mining | 2007 |
| 3589. |
Guilpin C. |
Manuel de calcul numerique applique | 2000 |
| 3590. |
Guimaraes D.A. |
Digital Transmission | 2010 |
| 3591. |
Guin D. Ruthven K. Trouche L. |
The Didactical Challenge of Symbolic Calculators | 2010 |
| 3592. |
Gumley L.E. |
Practical IDL programming: creating effective data analysis and visualization applications | 2001 |
| 3593. |
Gunasekaran A. |
Modelling and Analysis of Enterprise Information Systems (1 edition) | 2007 |
| 3594. |
Gundavaram S. |
CGI programming on the World Wide Web | 1996 |
| 3595. |
Gunderloy M. Jerke N. |
.Net E Commerce Programming | 2002 |
| 3596. |
Guo H. |
Automotive Informatics and Communicative Systems: Principles in Vehicular Networks and Data Exchange | 2009 |
| 3597. |
Guo M. Yang L.T. |
Parallel and distributed processing and applications: international symposium, ISPA 2003, Aizu-Wakamatsu, Japan, July 2-4, 2003: proceedings | 2003 |
| 3598. |
Guo Y. Grossman R. (eds.) |
High Performance Data Mining: Scaling Algorithms, Applications and Systems | 2002 |
| 3599. |
Gupta A. Malik S. |
Computer Aided Verification, 20 conf., CAV 2008 | 2008 |
| 3600. |
Gupta A. Malik S. |
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings | 2008 |
| 3601. |
Gupta I. (ed.) Mascolo C. (ed.) |
Lecture Notes in Computer Science (6452). Middleware 2010 | 2010 |
| 3602. |
Gupta S.N. |
A Chance Constrained Approach to Fractional Programming with Random Numerator | 2009 |
| 3603. |
Gurari E.M. |
Writing With Tex (Mcgraw-Hill Programming Tools for Scientists and Engineers) | 1994 |
| 3604. |
Gurevich Y. (ed.) Kutter P.W. (ed.) Odersky M. (ed.) |
Abstract state machines. Theory and applications | 2000 |
| 3605. |
Guruswami V. |
List Decoding of Error-Correcting Codes Winning Thesis of the 2002 ACM Doctoral Dissertation Competition | 2008 |
| 3606. |
Gusfield G. |
Algorithms on Strings, Trees and Sequences - Computer Science and Computational Biology | 1997 |
| 3607. |
Gustafson D. |
Schaum's outline of theory and problems of software engineering (1 edition) | 2002 |
| 3608. |
Gutierrez J. Recio T. |
Advances in simplification of sin-cos polynomials | 1998 |
| 3609. |
Guting R.H. (ed.) Papadias D. (ed.) Lochovsky F. (ed.) |
Advances in Spatial Databases | 1999 |
| 3610. |
Gutmans A Bakken S. Rethans D. |
PHP 5 Power Programming (1 edition) | 2005 |
| 3611. |
Gyula O.H. Katona A. Schrijver T. Szonyi |
Fete of Combinatorics and Computer Science (1st Edition.) | 2010 |
| 3612. |
Hölldobler S. |
Lecture Notes in Artificial Intelligence (353). Foundations of Equational Logic Programming | 1989 |
| 3613. |
H. Fehske R. Schneider A. Weile |
Computational Many-Particle Physics | 2008 |
| 3614. |
H. Gellersen K. Schmidt |
ECSCW 2005: Proceedings of the Ninth European Conference on Computer-Supported Cooperative Work | 2005 |
| 3615. |
H. I Christensen H.Bunke H. Noltemeier |
Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, September 28 - October 2 | 1999 |
| 3616. |
H. Jin D.Reed W. Jiang |
Network and Parallel Computing: IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings | 2005 |
| 3617. |
H. Langmaack W.Roever J.Vytopil |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd | 1994 |
| 3618. |
H. Leopold N. Garcia |
Multimedia Applications, Services and Techniques - ECMAST'99: 4th European Conference, Madrid, Spain, May 26-28, 1999, Proceedings: ECMAST '99 ... 4th (1 edition) | 1999 |
| 3619. |
H. Liao Y. Guo A. G. Salvendy |
Content Preparation Guidelines for the Web and Information Appliances: Cross-Cultural Comparisons (Human Factors and Ergonomics) | 2009 |
| 3620. |
H. S. Wilf |
Combinatorial Algorithms : An Update (CBMS-NSF Regional Conference Series in Applied Mathematics) | 1987 |
| 3621. |
H. Schmitz |
Hi-Tech for Industrial Development: Lessons from the Brazilian Experience in Electronics and Automation | 1992 |
| 3622. |
H.F. Gaines |
Cryptanalysis | 1956 |
| 3623. |
Haase G. |
Parallelisierung und Vektorisierung numerischer Algorithmen | 1999 |
| 3624. |
Haber S.P. |
Supercritical fluid cleaning | 1999 |
| 3625. |
Hackl C. |
Programming Methodology: 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 (Lecture Notes in Computer Science) (English and German Edition) (1 edition) | 1975 |
| 3626. |
Hackworth J. Hackworth F. |
PLC Programming Methods and Applications | 2003 |
| 3627. |
Haddadi A. |
Communication and Cooperation in Agent Systems: A Pragmatic Theory | 2007 |
| 3628. |
Hadley G. |
Linear programming | 1962 |
| 3629. |
Haftka R.T. Gurdal Z. |
Elements of Structural Optimization | 2002 |
| 3630. |
Haghighat M.R. |
Symbolic analysis for parallelizing compilers (1 edition) | 1995 |
| 3631. |
Hagino J.-I.I. |
IPv6 Network Programming | 2004 |
| 3632. |
Hagiya M. (ed.) Wadler P. (ed.) |
Lecture Notes in Computer Science (3945). Functional and Logic Programming | 2006 |
| 3633. |
Hai-Jew S. |
Digital Imagery and Informational Graphics in E-learning: Maximizing Visual Technologies | 2009 |
| 3634. |
Haidar B. |
Professional ASP.NET 3.5 Security, Membership, and Role Management with C# and VB | 2008 |
| 3635. |
Hainaut J.-L. Rundensteiner E.A. Kirchberg M. |
Advances in Conceptual Modeling - Foundations and Applications, ER 2007 | 2007 |
| 3636. |
Halbwachs N. Zuck L. |
Tools and Algorithms for the Construction and Analysis of Systems, 11 conf., TACAS 2005 (1 edition) | 2005 |
| 3637. |
Hales D. Edmonds B. |
Multi-Agent-Based Simulation III: 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers | 2004 |
| 3638. |
Hales J. |
Access 2003: World's Quick Reference Software Guide | 2003 |
| 3639. |
Hall B. Wan S. |
Object-Oriented Programming with ActionScript | 2002 |
| 3640. |
Hall J. |
Management of Telecommunication Systems and Services | 1996 |
На уровень выше
AI, knowledge
|
|
О проекте