| 3011. |
Dybjer P. Smith J. |
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers | 1995 |
| 3012. |
Dybvig R.K. |
The Scheme Programming Language (3rd edition) | 2003 |
| 3013. |
Dyckhoff R. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 (1 edition) | 2000 |
| 3014. |
Dyckhoff R. Herre H. Schroeder-Heister P. |
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings | 1996 |
| 3015. |
Dyer-Witheford N. |
Cyber-Marx: Cycles and Circuits of Struggle in High Technology Capitalism | 1999 |
| 3016. |
Dyson P. Longshaw A. |
Architecting Enterprise Solutions: Patterns for High-Capability Internet-based Systems | 2004 |
| 3017. |
Dzeroski S. |
Inductive Logic Programming: 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings: International Workshop, ILP-99, Bled, ... 9th | 1999 |
| 3018. |
E. Bin A. Ziv |
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... Papers (Lecture Notes in Computer Science) | 2007 |
| 3019. |
E. Brown |
Web Development with Node and Express | 2020 |
| 3020. |
E. CantPaz J. A. Foster |
Genetic and Evolutionary Computation - GECCO 2003: Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I | 2003 |
| 3021. |
E. V. Valkenburg |
Reference Data for Engineers - Radio, Electronics, Computer, etc (9 edition) | 2001 |
| 3022. |
Eady F. |
Hands-On ZigBee: Implementing 802.15.4 with Microcontrollers | 2007 |
| 3023. |
Eason K.D. |
Information Technology And Organisational Change | 1989 |
| 3024. |
Easterbrook S. |
Cscw: Cooperation or Conflict? (Computer Supported Cooperative Work) | 1993 |
| 3025. |
Easttom C. Taylor D.J. |
Computer Crime, Investigation, and the Law | 2011 |
| 3026. |
Eberspaecher J. |
GSM: architecture, protocols and services (3rd edition) | 2009 |
| 3027. |
Ebert C. Jager G. Michaelis J. |
The Mathematics of Language | 2010 |
| 3028. |
Eccher C. |
Professional Web Design: Techniques and Templates, Fourth Edition (4 edition) | 2010 |
| 3029. |
Echtle K. Hammer D. |
Dependable Computing - EDCC-1: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings | 1994 |
| 3030. |
Eckel B. Isakova S. |
Atomic Kotlin | 2020 |
| 3031. |
Eckel B. |
Thinking in Java, 2nd edition, Revision 11 (издание 2-е изд.) | 2000 |
| 3032. |
Ecker W. (Editor) Müller W. (Editor) Dömer R. (Editor) |
Hardware-dependent Software: Principles and Practice (1 edition) | 2009 |
| 3033. |
Eckstein J. Baumeister H. |
Extreme Programming and Agile Processes in Software Engineering: 5th International Conference | 2004 |
| 3034. |
Ed Bott |
Windows 7. Inside out. | 2011 |
| 3035. |
Ed Brinksma (Ed.) |
Lecture Notes in Computer Science. 1217 | 1997 |
| 3036. |
Edelkamp S. |
Theoretische Informatik | 2001 |
| 3037. |
Edelkamp S.(ed.) Lomuscio A.(ed.) |
Model Checking and Artificial Intelligence, 4 conf | 2007 |
| 3038. |
Edelstein H.A. |
Introduction to Data Mining and Knowledge Discovery (Third edition) | 1999 |
| 3039. |
Eder E. |
Programmieren III: Logische Programmierung | 1999 |
| 3040. |
Eder J. Rozman I. Welzer T. |
Advances in Databases and Information Systems: Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings | 1999 |
| 3041. |
Edwards J. Bramante R. |
Networking. Self teaching guide | 2009 |
| 3042. |
Egerstedt M. |
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings | 2008 |
| 3043. |
Egger M. Rubel M. (ed.) |
Advanced Object Oriented Programming with Visual FoxPro 6.0 | 1999 |
| 3044. |
Eggers J. Bauml R. Tzschoppe R. |
Scalar Costa Scheme for Information Embedding | n/a |
| 3045. |
Egges A. Fokker J. D. Overmars M. H. |
Learning C# by Programming Games | 2013 |
| 3046. |
Ehrgott M. Fonseca C.M. Gandibleu X. |
Evolutionary Multi-Criterion Optimization: 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings | 2009 |
| 3047. |
Ehrig H. Floyd C. Nivat M. |
Mathematical Foundations of Software Development | 1986 |
| 3048. |
Ehrig H.(ed.) Horst Herrlich H.(ed.) Kreowski H.J.(ed.) |
Categorical Methods in Computer Science: With Aspects from Topology (1 edition) | 1989 |
| 3049. |
Eichfelder G. |
Adaptive Scalarization Methods In Multiobjective Optimization | 2008 |
| 3050. |
Eijkhout V. |
Introduction To High-Performance Scientific Computing | 2011 |
| 3051. |
Eijkhout V. |
The computer science of TeX and LaTeX | 2004 |
| 3052. |
Eilenberg S. |
Automata, languages, and machines. Volume A | 1974 |
| 3053. |
Eiselt H.A. Sandblom C.-L. |
Linear Programming and its Applications (1st edition) | 2007 |
| 3054. |
Eisenbach S. |
Functional Programming | 1987 |
| 3055. |
Eisinger N. (ed.) Matuszynski J. (ed.) |
Reasoning Web. First International Summer School 2005 Msida, Malta, July 25-29, 2005 Tutorial Lectures | 2005 |
| 3056. |
Eiter T. Libkin L. |
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, (1 edition) | 2005 |
| 3057. |
Eklundh J.-O. |
Computer Vision - ECCV '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings (2-nd edition) | 1994 |
| 3058. |
El-Rewini H. Abd-El-Barr M. |
Advanced computer architecture and parallel processing | 2005 |
| 3059. |
El-Rewini H. Abd-El-Barr M. |
Advanced Computer Architecture and Parallel Processing (Wiley Series on Parallel and Distributed Computing) (v. 2) | 2005 |
| 3060. |
Elangovan U. |
Smart Automation to Smart Manufacturing | 2019 |
| 3061. |
Elbert B.R. |
The Satellite Communication Applications Handbook (2-nd edition) | 2003 |
| 3062. |
Eleftherakis G. Kefalas P. Paun G. |
Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers | 2007 |
| 3063. |
Elia N. Dahleh M.A. |
Computational Methods for Controller Design | 1998 |
| 3064. |
Eliasmith C. Anderson C.H. |
Neural Engineering | 2003 |
| 3065. |
Elio R. |
Whose Norm? Common Sense, Reasoning, Rationality | 2002 |
| 3066. |
Elleithy K. |
Advanced Techniques in Computing Sciences and Software Engineering | 2010 |
| 3067. |
Elleithy Kh. |
Advances and Innovations in Systems, Computing Sciences and Software Engineering | 2007 |
| 3068. |
Elleithy Kh. (Ed) Sobh T. (Ed) Mahmood A. |
Advances in Computer, Information, and Systems Sciences, and Engineering: Proceedings of Ieta05, Tene05 and Eiae05 | 2006 |
| 3069. |
Ellis H. J. C. |
Software engineering: effective teaching and learning approaches and practices (illustrated edition) | 2008 |
| 3070. |
Ellis R. Peters T. |
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003: 6th International Conference, Montr?al, Canada, November 15-18, 2003, Proceedings, Part II | 2003 |
| 3071. |
Eltschinger C. |
Source Code China: The New Global Hub of IT Outsourcing | 2007 |
| 3072. |
Embury S.M. (ed.) Fiddian N.J. (ed.) Gray W.A. (ed.) |
Advances in Databases: 16th British National Conference on Databases | 1998 |
| 3073. |
Emerson A.E. Sistla A.P. |
Lecture Notes in Computer Science (1855). Computer Aided Verification | 2000 |
| 3074. |
Emmerich W. Wolf A.L. |
Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings | 2004 |
| 3075. |
Endres A. Weber H. |
Software Development Environments and CASE Technology | 1991 |
| 3076. |
Engelbrecht A.P. |
Computational Intelligence: An Introduction (2ed. edition) | 2007 |
| 3077. |
Engels G. Lewerentz C. Schafer W. |
Lecture Notes in Computer Science (5765). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday | 2010 |
| 3078. |
Enjalbert P. Finkel A. Wagner K.W. |
STACS 93, Theoretical Aspects of Computer Science 10 conf | 1993 |
| 3079. |
Enns R. McGuire G. |
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling (1 edition) | 2007 |
| 3080. |
Enokido T. |
Network-Based Information Systems: First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings | 2007 |
На уровень выше
AI, knowledge
|
|
О проекте