Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings Lecture Notes in Computer Science, nr. 827 Editat de Dov M. Gabbay et al. 29 iun 1994 Paperback Preț: 633.38 lei 791.72 lei 6-8 săpt. -20%
Software Engineering and Human-Computer Interaction: ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings Lecture Notes in Computer Science, nr. 896 Editat de Richard N. Taylor et al. 15 mar 1995 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Advances in Artificial Life: Third European Conference on Artificial Life, Granada, Spain, June 4 - 6, 1995 Proceedings Lecture Notes in Computer Science, nr. 929 Editat de Federico Moran et al. 24 mai 1995 Paperback Preț: 652.88 lei 816.09 lei 6-8 săpt. -20%
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95Heidelberg, Germany, Septem Lecture Notes in Computer Science, nr. 977 Editat de Heinz Beilner et al. 13 sep 1995 Paperback Preț: 326.42 lei 408.02 lei 6-8 săpt. -20%
Database and Expert Systems Applications: 6th International Conference, DEXA'95, London, United Kingdom, September 4 - 8, 1995, Proceedings Lecture Notes in Computer Science, nr. 978 Editat de Norman Revell et al. 23 aug 1995 Paperback Preț: 638.44 lei 798.05 lei 6-8 săpt. -20%
Progress in Case-Based Reasoning: First United Kingdom Workshop, Salford, UK, January 12, 1995. Proceedings Lecture Notes in Computer Science, nr. 1020 Editat de Ian D. Watson 23 noi 1995 Paperback Preț: 316.59 lei 395.75 lei 6-8 săpt. -20%
Euro-Par '96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I Lecture Notes in Computer Science, nr. 1123 Editat de Luc Bougé et al. 14 aug 1996 Paperback Preț: 648.26 lei 810.33 lei 6-8 săpt. -20%
Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings Lecture Notes in Computer Science, nr. 1126 Editat de Jose Julio Alferes et al. 28 aug 1996 Paperback Preț: 326.42 lei 408.02 lei 6-8 săpt. -20%
Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text Lecture Notes in Computer Science, nr. 1129 Editat de John Launchbury et al. 14 aug 1996 Paperback Preț: 317.68 lei 397.10 lei 6-8 săpt. -20%
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers Lecture Notes in Computer Science, nr. 1130 Editat de Magne Haveraaen et al. 4 sep 1996 Paperback Preț: 332.60 lei 415.75 lei 6-8 săpt. -20%
Database and Expert Systems Applications: 7th International Conference, DEXA '96, Zurich, Switzerland, September 9 - 13 , 1996. Proceedings Lecture Notes in Computer Science, nr. 1134 Editat de Roland Wagner et al. 28 aug 1996 Paperback Preț: 651.14 lei 813.92 lei 6-8 săpt. -20%
Security Protocols: International Workshop Cambridge, United Kingdom April 10-12, 1996 Proceedings Lecture Notes in Computer Science, nr. 1189 Editat de Mark Lomas 15 ian 1997 Paperback Preț: 369.16 lei 6-8 săpt.
TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings Lecture Notes in Computer Science, nr. 1214 Editat de Michel Bidoit et al. 2 apr 1997 Paperback Preț: 649.52 lei 811.90 lei 6-8 săpt. -20%
Combinatorial Pattern Matching Editat de Maxime Crochemore et al. 11 mai 1994 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
FM8501: A Verified Microprocessor Autor Warren A. Jr. Hunt 20 mai 1994 Paperback Preț: 325.03 lei 406.29 lei 6-8 săpt. -20%
Practical Reasoning Editat de Dov M. Gabbay et al. 21 mai 1996 Paperback Preț: 646.63 lei 808.29 lei 6-8 săpt. -20%
Reasoning with Logic Programming Autor Jose Julio Alferes et al. 25 iul 1996 Paperback Preț: 325.25 lei 406.56 lei 6-8 săpt. -20%
Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing Editat de Stefan Wermter et al. 15 mar 1996 Paperback Preț: 331.59 lei 414.49 lei 6-8 săpt. -20%
Trees in Algebra and Programming - CAAP '96 Editat de Helene Kirchner 3 apr 1996 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Editat de Alan Borning 12 oct 1994 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -20%
Foundations of Knowledge Representation and Reasoning Editat de Gerhard Lakemeyer et al. 28 iun 1994 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Distributed Programming Paradigms with Cryptography Applications Autor Jonathan S. Greenfield 26 oct 1994 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Database Issues for Data Visualization Editat de John P. Lee et al. 5 oct 1994 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%
Computers for Handicapped Persons Editat de Wolfgang L. Zagler et al. 7 sep 1994 Paperback Preț: 340.17 lei 425.22 lei 6-8 săpt. -20%
KI-94: Advances in Artificial Intelligence Editat de Bernhard Nebel et al. 7 sep 1994 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%
Parallel Computer Routing and Communication Editat de Kevin Bolding et al. 28 sep 1994 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
Towards a Pan-European Telecommunication Service Infrastructure - IS&N '94 Editat de Hans-Jürgen Kugler et al. 30 aug 1994 Paperback Preț: 394.37 lei 6-8 săpt.
Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering Editat de Pericles Loucopoulos 30 noi 1994 Paperback Preț: 639.25 lei 799.06 lei 6-8 săpt. -20%
Disconnected Operation in a Distributed File System Editat de James J. Kistler 13 dec 1995 Paperback Preț: 320.93 lei 401.17 lei 6-8 săpt. -20%
Logic Program Synthesis and Transformation - Meta-Programming in Logic Editat de Laurent Fribourg et al. 30 noi 1994 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%
Image Analysis Applications and Computer Graphics Editat de Roland Chin et al. 28 noi 1995 Paperback Preț: 335.26 lei 419.08 lei 6-8 săpt. -20%
Formal Development of Reactive Systems Editat de Claus Lewerentz et al. 26 ian 1995 Paperback Preț: 327.92 lei 409.89 lei 6-8 săpt. -20%
Time Structures Autor Elzbieta Hajnicz 20 mar 1996 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%
Languages and Compilers for Parallel Computing Editat de Keshav Pingali et al. 26 ian 1995 Paperback Preț: 333.24 lei 416.55 lei 6-8 săpt. -20%
Studies of Software Design Editat de David Alex Lamb 15 mai 1996 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Software Engineering Education Editat de Rosalind L. Ibrahim 17 feb 1995 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%
Advances in Databases Editat de Ronald Morrison et al. 19 iun 1996 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%
Orders, Algorithms and Applications Editat de Vincent Bouchitte et al. 23 iun 1994 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
Conceptual Structures: Knowledge Representations as Interlingua Editat de Peter W. Eklund et al. 30 iul 1996 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
Theorem Provers in Circuit Design: Theory, Practice and Experience Editat de Ramayya Kumar et al. 6 mar 1995 Paperback Preț: 323.17 lei 403.96 lei 6-8 săpt. -20%
Parallel and Distributed Computing: Theory and Practice Editat de Michel Cosnard et al. 2 mai 1994 Paperback Preț: 321.94 lei 402.43 lei 6-8 săpt. -20%
Theory and Practice of Parallel Programming Editat de Takayasu Ito et al. 21 apr 1995 Paperback Preț: 332.39 lei 415.48 lei 6-8 săpt. -20%
Distributed Algorithms Editat de Özalp Babaoglu et al. 25 sep 1996 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. -20%
Digital Libraries: Current Issues Editat de Nabil R. Adam et al. 19 apr 1995 Paperback Preț: 378.84 lei 6-8 săpt.
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems Editat de Madhu Sudan 13 dec 1995 Paperback Preț: 312.33 lei 390.42 lei 6-8 săpt. -20%
Advanced Functional Programming Editat de Johan Jeuring et al. 15 mai 1995 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%
Automated Modeling of Physical Systems Autor P. Pandurang Nayak 13 dec 1995 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%
Artificial Social Systems Editat de Cristiano Castelfranchi et al. 13 iul 1994 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Functional Programming Languages in Education Editat de Pieter Hartel 23 noi 1995 Paperback Preț: 323.60 lei 404.50 lei 6-8 săpt. -20%
Artificial Intelligence in Medicine Editat de Pedro Barahona et al. 14 iun 1995 Paperback Preț: 366.93 lei 386.25 lei 6-8 săpt. -5%
Partial-Order Methods for the Verification of Concurrent Systems Editat de Patrice Godefroid 24 ian 1996 Paperback Preț: 314.81 lei 393.51 lei 6-8 săpt. -20%
Combinatorial Pattern Matching Editat de Zvi Galil et al. 21 iun 1995 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Logic Program Synthesis and Transformation Editat de Maurizio Proietti 6 mar 1996 Paperback Preț: 321.36 lei 401.70 lei 6-8 săpt. -20%
Efficient Graph Rewriting and Its Implementation Autor Heiko Dörr 14 iul 1995 Paperback Preț: 321.36 lei 401.70 lei 6-8 săpt. -20%
Communication and Cooperation in Agent Systems Editat de Afsaneh Haddadi 17 apr 1996 Paperback Preț: 315.40 lei 394.24 lei 6-8 săpt. -20%
Distributed Algorithms Editat de Jean-Michel Helary et al. 30 aug 1995 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%
Theorem Proving with Analytic Tableaux and Related Methods Editat de Pierangelo Miglioli et al. 24 apr 1996 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%
Higher Order Logic Theorem Proving and Its Applications Editat de E. Thomas Schubert et al. 23 aug 1995 Paperback Preț: 328.10 lei 410.13 lei 6-8 săpt. -20%
Evaluating Natural Language Processing Systems Autor Karen Sparck Jones et al. 15 mai 1996 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%
Algorithm Theory - SWAT '94 Editat de Erik M. Schmidt et al. 22 iun 1994 Paperback Preț: 327.48 lei 409.36 lei 6-8 săpt. -20%
Reliable Software Technologies - Ada Europe 96 Editat de Alfred Strohmeier 29 mai 1996 Paperback Preț: 334.04 lei 417.55 lei 6-8 săpt. -20%
Broadband Network Traffic Editat de James Roberts et al. 9 oct 1996 Paperback Preț: 394.87 lei 6-8 săpt.
Over-Constrained Systems Editat de Michael Jampel et al. 24 iul 1996 Paperback Preț: 323.60 lei 404.50 lei 6-8 săpt. -20%
Formal Methods for Industrial Applications Editat de Jean-Raymond Abrial et al. 30 oct 1996 Paperback Preț: 635.35 lei 794.19 lei 6-8 săpt. -20%
PRICAI '96: Topics in Artificial Intelligence Editat de Norman Foo et al. 30 iul 1996 Paperback Preț: 643.97 lei 804.96 lei 6-8 săpt. -20%
Optimization of SQL Queries for Parallel Machines Autor Wagar Hasan 4 dec 1996 Paperback Preț: 315.22 lei 394.02 lei 6-8 săpt. -20%
Combinatorics and Computer Science Editat de Michel M. Deza et al. 7 aug 1996 Paperback Preț: 384.36 lei 6-8 săpt.
Logic Programming and Automated Reasoning Editat de Frank Pfenning 22 iun 1994 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Types for Proofs and Programs Editat de Henk Barendregt et al. 20 mai 1994 Paperback Preț: 327.48 lei 409.36 lei 6-8 săpt. -20%
Trees in Algebra and Programming - CAAP '94 Editat de Sophie Tison 23 mar 1994 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Multiagent Systems Autor Munidar P. Singh 28 iun 1994 Paperback Preț: 219.35 lei 274.18 lei 6-8 săpt. -20%
Case-Based Reasoning Research and Development Editat de Manuela Veloso et al. 16 oct 1995 Paperback Preț: 639.03 lei 798.79 lei 6-8 săpt. -20%
Parallel Computation Editat de Laszlo Böszörmenyi 4 sep 1996 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms Editat de Takeshi Furuhashi 15 noi 1995 Paperback Preț: 319.10 lei 398.88 lei 6-8 săpt. -20%
Software Process Technology Editat de Carlo Montangero 25 sep 1996 Paperback Preț: 322.59 lei 403.23 lei 6-8 săpt. -20%
Turing Machines with Sublogarithmic Space Autor Andrzej Szepietowski 29 aug 1994 Paperback Preț: 313.56 lei 391.95 lei 6-8 săpt. -20%
Algorithmic Learning Theory Editat de Setsuo Arikawa et al. 9 oct 1996 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Parallel Algorithms for Irregularly Structured Problems Editat de Afonso Ferreira et al. 25 aug 1995 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Fuzzy Logic, Neural Networks, and Evolutionary Computation Editat de Takeshi Furuhashi et al. 6 noi 1996 Paperback Preț: 373.86 lei 6-8 săpt.
Memory Management Editat de Henry G. Baker 11 sep 1995 Paperback Preț: 329.14 lei 411.42 lei 6-8 săpt. -20%
Database Issues for Data Visualization Editat de Andreas Wierse et al. 11 dec 1996 Paperback Preț: 319.10 lei 398.88 lei 6-8 săpt. -20%
Types for Proofs and Programs Editat de Peter Dybjer et al. 18 oct 1995 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
Information Systems and Data Management Editat de Subhash Bhalla 25 oct 1995 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
The Newton-Cauchy Framework Autor John L. Nazareth 28 feb 1994 Paperback Preț: 312.94 lei 391.18 lei 6-8 săpt. -20%