Conclog: A Methodological Approach to Concurrent Logic Programming Lecture Notes in Computer Science, nr. 556 Autor Jean-Marie Jacquet 27 noi 1991 Paperback Preț: 644.45 lei 805.57 lei 6-8 săpt. -20%
The Nested Universal Relation Database Model Lecture Notes in Computer Science, nr. 595 Autor Mark Levene 20 mai 1992 Paperback Preț: 315.62 lei 394.52 lei 6-8 săpt. -20%
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report Lecture Notes in Computer Science, nr. 755 Editat de Bernhard Möller et al. 29 noi 1993 Paperback Preț: 324.35 lei 405.44 lei 6-8 săpt. -20%
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%
Hybrid Systems Editat de Robert L. Grossman et al. 5 oct 1993 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping Editat de Herbert Grünbacher et al. 30 aug 1993 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Functional Programming, Concurrency, Simulation and Automated Reasoning Editat de Peter E. Lauer 16 iun 1993 Paperback Preț: 328.10 lei 410.13 lei 6-8 săpt. -20%
Machine Learning: ECML-93 Editat de Pavel B. Brazdil 23 mar 1993 Paperback Preț: 332.01 lei 415.02 lei 6-8 săpt. -20%
Algorithms and Computation Editat de Toshihide Ibaraki et al. 26 noi 1992 Paperback Preț: 334.04 lei 417.55 lei 6-8 săpt. -20%
Memory Management Editat de Yves Bekkers et al. 3 sep 1992 Paperback Preț: 334.63 lei 418.29 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%
Advanced Information Systems Engineering Editat de Rudolf Andersen et al. 30 apr 1991 Paperback Preț: 337.13 lei 421.41 lei 6-8 săpt. -20%
Concurrency: Theory, Language, and Architecture Editat de Akinori Yonezawa et al. 10 apr 1991 Paperback Preț: 327.42 lei 409.27 lei 6-8 săpt. -20%
Advances in Petri Nets 1990 Editat de Grzegorz Rozenberg 13 mar 1991 Paperback Preț: 333.62 lei 417.03 lei 6-8 săpt. -20%
STACS 91 Editat de Christian Choffrut et al. 8 feb 1991 Paperback Preț: 637.42 lei 796.77 lei 6-8 săpt. -20%
Logics in AI Editat de Jan van Eijck 26 feb 1991 Paperback Preț: 638.22 lei 797.77 lei 6-8 săpt. -20%
The Logic of Theory Change Editat de Andre Fuhrmann et al. 30 ian 1991 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%
Database Systems of the 90s Editat de Albrecht Blaser 26 oct 1990 Paperback Preț: 297.18 lei 371.47 lei 6-8 săpt. -20%
Expert Systems in Engineering: Principles and Applications Editat de Georg Gottlob et al. 12 sep 1990 Paperback Preț: 320.93 lei 401.17 lei 6-8 săpt. -20%
Ada: The Choice for '92 Editat de Dimitris Christodoulakis 30 apr 1991 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Parallel Database Systems Editat de Pierre America 26 iun 1991 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Next Generation Information System Technology Editat de Joachim W. Schmidt et al. 26 iun 1991 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%
Compiler Construction Editat de Uwe Kastens et al. 23 sep 1992 Paperback Preț: 323.81 lei 404.76 lei 6-8 săpt. -20%
Software Development Environments and Case Technology Editat de Albert Endres et al. 10 iun 1991 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Foundations of Software Technology and Theoretical Computer Science Editat de Rudrapatna Shyamasundar 26 noi 1992 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Automata, Languages and Programming Editat de Javier Leach Albert et al. 20 iun 1991 Paperback Preț: 648.46 lei 810.58 lei 6-8 săpt. -20%
Resolution Methods for the Decision Problem Autor C. Fermüller et al. 29 iul 1993 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
ECOOP '91 European Conference on Object-Oriented Programming Editat de Pierre America 3 iul 1991 Paperback Preț: 327.92 lei 409.89 lei 6-8 săpt. -20%
Computer Aided Verification Editat de Costas Courcoubetis 16 iun 1993 Paperback Preț: 333.41 lei 416.76 lei 6-8 săpt. -20%
Temporally Distributed Symptoms in Technical Diagnosis Autor Klaus Nökel 24 iul 1991 Paperback Preț: 316.03 lei 395.04 lei 6-8 săpt. -20%
Design and Implementation of Symbolic Computation Systems Editat de John Fitch 2 sep 1993 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Conditional and Typed Rewriting Systems Editat de Stephane Kaplan et al. 7 aug 1991 Paperback Preț: 331.59 lei 414.49 lei 6-8 săpt. -20%
Intelligent Perceptual Systems Editat de Vito Roberto 10 noi 1993 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
Functional Programming Languages and Computer Architecture Editat de John Hughes 7 aug 1991 Paperback Preț: 643.34 lei 804.18 lei 6-8 săpt. -20%
Conceptual Structures: Theory and Implementation Editat de Heather D. Pfeiffer et al. 12 noi 1993 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
Advances in Petri Nets 1991 Editat de Grzegorz Rozenberg 28 aug 1991 Paperback Preț: 638.43 lei 798.03 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%
Advances in Spatial Databases Editat de Oliver Günther et al. 14 aug 1991 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
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%
Recent Trends in Data Type Specification Editat de Hartmut Ehrig et al. 11 sep 1991 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
SWAT '90 Editat de John R. Gilbert et al. 2 iul 1990 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Attribute Grammars, Applications and Systems Editat de Henk Alblas et al. 23 oct 1991 Paperback Preț: 333.82 lei 417.28 lei 6-8 săpt. -20%
Software Engineering Education Editat de Carol Sledge 15 oct 1992 Paperback Preț: 330.96 lei 413.70 lei 6-8 săpt. -20%
Text Understanding in LILOG Editat de Otthein Herzog et al. 25 sep 1991 Paperback Preț: 345.50 lei 431.88 lei 6-8 săpt. -20%
Database Theory - ICDT '92 Editat de Joachim Biskup et al. 5 oct 1992 Paperback Preț: 330.58 lei 413.22 lei 6-8 săpt. -20%
Computational Geometry - Methods, Algorithms and Applications Editat de Hanspeter Bieri et al. 13 noi 1991 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
Specifying Message Passing and Time-Critical Systems with Temporal Logic Autor Ron Koymans 14 dec 1992 Paperback Preț: 316.03 lei 395.04 lei 6-8 săpt. -20%
Algorithms Editat de Tetsuo Asano et al. 2 aug 1990 Paperback Preț: 332.01 lei 415.02 lei 6-8 săpt. -20%
STACS 93 Editat de Patrice Enjalbert et al. 19 feb 1993 Paperback Preț: 646.63 lei 808.29 lei 6-8 săpt. -20%
Deductive and Object-Oriented Databases Editat de Claude Delobel et al. 4 dec 1991 Paperback Preț: 337.72 lei 422.14 lei 6-8 săpt. -20%
TAPSOFT '93: Theory and Practice of Software Development Editat de Marie-Claude Gaudel et al. 6 apr 1993 Paperback Preț: 648.46 lei 810.58 lei 6-8 săpt. -20%
Parallel Execution of Logic Programs Editat de Anthony Beaumont et al. 11 dec 1991 Paperback Preț: 317.47 lei 396.84 lei 6-8 săpt. -20%
Ada-Europe '93 Editat de Michel Gauthier 7 iun 1993 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
STACS 92 Editat de Alain Finkel et al. 4 feb 1992 Paperback Preț: 641.51 lei 801.90 lei 6-8 săpt. -20%
PARLE '93 Parallel Architectures and Languages Europe Editat de Arndt Bode et al. 7 iun 1993 Paperback Preț: 649.29 lei 811.62 lei 6-8 săpt. -20%
ESOP '92 Editat de Bernd Krieg-Brückner 19 feb 1992 Paperback Preț: 332.60 lei 415.75 lei 6-8 săpt. -20%
The Design of an Extendible Graph Editor Autor Frances N. Paulisch 30 aug 1993 Paperback Preț: 317.66 lei 397.08 lei 6-8 săpt. -20%
Advances in Database Technology - EDBT '92 Editat de Alain Pirotte et al. 11 mar 1992 Paperback Preț: 637.63 lei 797.04 lei 6-8 săpt. -20%
Knowledge Acquisition for Knowledge-Based Systems Editat de Nathalie Aussenac et al. 25 aug 1993 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%
Computer Algebra and Parallelism Editat de Richard E. Zippel 25 mar 1992 Paperback Preț: 313.36 lei 391.71 lei 6-8 săpt. -20%
Foundations of Data Organization and Algorithms Editat de David B. Lomet 29 sep 1993 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%
Parallel Execution of Parlog Autor Andrew Cheese 20 mai 1992 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Object Technologies for Advanced Software Editat de Shojiro Nishio et al. 7 oct 1993 Paperback Preț: 335.48 lei 419.35 lei 6-8 săpt. -20%
Artificial Perception and Music Recognition Autor Andranick S. Tanguiane 20 oct 1993 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Recent Trends in Data Type Specification Editat de Hartmut Ehrig et al. 28 apr 1994 Paperback Preț: 325.44 lei 406.80 lei 6-8 săpt. -20%
Human-Computer Interaction Editat de Leonard J. Bass et al. 10 noi 1993 Paperback Preț: 327.48 lei 409.36 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%
Parallel Computation Editat de Hans P. Zima 6 mai 1992 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%
Attribute Grammars and their Applications Editat de Pierre Deransart et al. 7 sep 1990 Paperback Preț: 325.83 lei 407.29 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%
Advanced Information Systems Engineering Editat de Pericles Loucopoulos 29 apr 1992 Paperback Preț: 642.75 lei 803.43 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%
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Editat de Fevzi Belli et al. 3 iun 1992 Paperback Preț: 645.59 lei 806.98 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%
ECOOP '92. European Conference on Object-Oriented Programming Editat de Ole Lehrmann Madsen 16 iun 1992 Paperback Preț: 329.35 lei 411.69 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%
Algorithm Theory - SWAT '92 Editat de Otto Nurmi et al. 24 iun 1992 Paperback Preț: 329.51 lei 411.90 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%
Software Process Technology Editat de Jean-Claude Derniame 25 aug 1992 Paperback Preț: 320.50 lei 400.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%
Logic Programming in Action Editat de Gerard Comyn et al. 25 aug 1992 Paperback Preț: 324.22 lei 405.27 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%
Termination Proofs for Logic Programs Autor Lutz Plümer 24 iul 1990 Paperback Preț: 314.81 lei 393.51 lei 6-8 săpt. -20%