Filtre: Engleză

Lecture Notes in Computer Science

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Lecture Notes in Computer Science, nr. 651

Autor Ron Koymans

14 dec 1992

Preț: 314^.54 lei 393^.17 lei

6-8 săpt.

-20%

Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings

Lecture Notes in Computer Science, nr. 652

Editat de Rudrapatna Shyamasundar

26 noi 1992

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

Lecture Notes in Computer Science, nr. 665

Editat de Patrice Enjalbert et al.

19 feb 1993

Preț: 641^.77 lei 802^.21 lei

6-8 săpt.

-20%

Machine Learning: ECML-93: European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993. Proceedings

Lecture Notes in Computer Science, nr. 667

Editat de Pavel B. Brazdil

23 mar 1993

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 668

Editat de Marie-Claude Gaudel et al.

6 apr 1993

Preț: 643^.33 lei 804^.17 lei

6-8 săpt.

-20%

Resolution Methods for the Decision Problem

Lecture Notes in Computer Science, nr. 679

Autor C. Fermüller et al.

29 iul 1993

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Ada-Europe '93: 12th Ada-Europe International Conference,

Lecture Notes in Computer Science, nr. 688

Editat de Michel Gauthier

7 iun 1993

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Lecture Notes in Computer Science, nr. 693

Editat de Peter E. Lauer

16 iun 1993

Preț: 325^.61 lei 407^.00 lei

6-8 săpt.

-20%

PARLE '93 Parallel Architectures and Languages Europe: 5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 694

Editat de Arndt Bode et al.

7 iun 1993

Preț: 644^.13 lei 805^.17 lei

6-8 săpt.

-20%

Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Lecture Notes in Computer Science, nr. 697

Editat de Costas Courcoubetis

16 iun 1993

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Ray Shooting, Depth Orders and Hidden Surface Removal

Lecture Notes in Computer Science, nr. 703

Autor Mark de Berg

30 aug 1993

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

The Design of an Extendible Graph Editor

Lecture Notes in Computer Science, nr. 704

Autor Frances N. Paulisch

30 aug 1993

Preț: 315^.80 lei 394^.74 lei

6-8 săpt.

-20%

Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping: Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers

Lecture Notes in Computer Science, nr. 705

Editat de Herbert Grünbacher et al.

30 aug 1993

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Experimental Software Engineering Issues:: Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings

Lecture Notes in Computer Science, nr. 706

Editat de H.Dieter Rombach et al.

30 aug 1993

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Lecture Notes in Computer Science, nr. 721

Editat de John Fitch

2 sep 1993

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993. Proceedings

Lecture Notes in Computer Science, nr. 723

Editat de Nathalie Aussenac et al.

25 aug 1993

Preț: 327^.99 lei 409^.99 lei

6-8 săpt.

-20%

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Lecture Notes in Computer Science, nr. 724

Editat de Patrick Cousot et al.

8 sep 1993

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Foundations of Data Organization and Algorithms: 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings

Lecture Notes in Computer Science, nr. 730

Editat de David B. Lomet

29 sep 1993

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 736

Editat de Robert L. Grossman et al.

5 oct 1993

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings

Lecture Notes in Computer Science, nr. 742

Editat de Shojiro Nishio et al.

7 oct 1993

Preț: 332^.29 lei 415^.36 lei

6-8 săpt.

-20%

Intelligent Perceptual Systems: New Directions in Computational Perception

Lecture Notes in Computer Science, nr. 745

Editat de Vito Roberto

10 noi 1993

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Artificial Perception and Music Recognition

Lecture Notes in Computer Science, nr. 746

Autor Andranick S. Tanguiane

20 oct 1993

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Parallel Symbolic Computing: Languages, Systems, and Applications: US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings

Lecture Notes in Computer Science, nr. 748

Editat de Robert H.Jr. Halstead et al.

3 noi 1993

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Spatio-Temporal Image Processing: Theory and Scientific Applications

Lecture Notes in Computer Science, nr. 751

Autor Bernd Jähne

10 noi 1993

Preț: 369^.74 lei

6-8 săpt.

Human-Computer Interaction: Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers

Lecture Notes in Computer Science, nr. 753

Editat de Leonard J. Bass et al.

10 noi 1993

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Conceptual Structures: Theory and Implementation: 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings

Lecture Notes in Computer Science, nr. 754

Editat de Heather D. Pfeiffer et al.

12 noi 1993

Preț: 322^.11 lei 402^.64 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

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Towards Dynamic Randomized Algorithms in Computational Geometry

Lecture Notes in Computer Science, nr. 758

Autor Monique Teillaud

23 noi 1993

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%

Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation

Lecture Notes in Computer Science, nr. 764

Autor Gerd Wagner

28 ian 1994

Preț: 313^.87 lei 392^.34 lei

6-8 săpt.

-20%

The Dynamics of Concepts: A Connectionist Model

Lecture Notes in Computer Science, nr. 766

Autor Philip R.van Loocke

28 ian 1994

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization

Lecture Notes in Computer Science, nr. 769

Autor John L. Nazareth

28 feb 1994

Preț: 311^.67 lei 389^.59 lei

6-8 săpt.

-20%

Management and Processing of Complex Data Structures: Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. Proceedings

Lecture Notes in Computer Science, nr. 777

Editat de Kai v. Luck et al.

16 feb 1994

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Machine Learning: ECML-94: European Conference on Machine Learning, Catania, Italy, April 6-8, 1994. Proceedings

Lecture Notes in Computer Science, nr. 784

Editat de Francesco Bergadano et al.

22 mar 1994

Preț: 329^.35 lei 411^.69 lei

6-8 săpt. | 5-11 zile

-20%

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Lecture Notes in Computer Science, nr. 785

Editat de Hartmut Ehrig et al.

28 apr 1994

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Trees in Algebra and Programming - CAAP '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Lecture Notes in Computer Science, nr. 787

Editat de Sophie Tison

23 mar 1994

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 795

Autor Warren A. Jr. Hunt

20 mai 1994

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-20%

Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications

Lecture Notes in Computer Science, nr. 799

Autor Munidar P. Singh et al.

28 iun 1994

Preț: 217^.76 lei 272^.19 lei

6-8 săpt.

-20%

Parallel and Distributed Computing: Theory and Practice: Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings

Lecture Notes in Computer Science, nr. 805

Editat de Michel Cosnard et al.

2 mai 1994

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Lecture Notes in Computer Science, nr. 806

Editat de Henk Barendregt et al.

20 mai 1994

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Combinatorial Pattern Matching: Fifth Annual Symposium, CPM '94, Asilomar, CA, USA, June 5 - 8, 1994. Proceedings

Lecture Notes in Computer Science, nr. 807

Editat de Maxime Crochemore et al.

11 mai 1994

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Foundations of Knowledge Representation and Reasoning

Lecture Notes in Computer Science, nr. 810

Editat de Gerhard Lakemeyer et al.

28 iun 1994

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Lecture Notes in Computer Science, nr. 822

Editat de Frank Pfenning

22 iun 1994

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Algorithm Theory - SWAT '94: 4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings

Lecture Notes in Computer Science, nr. 824

Editat de Erik M. Schmidt et al.

22 iun 1994

Preț: 324^.99 lei 406^.23 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

Preț: 633^.38 lei 791^.72 lei

6-8 săpt.

-20%

Artificial Social Systems: 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29 - 31, 1992. Selected Papers

Lecture Notes in Computer Science, nr. 830

Editat de Cristiano Castelfranchi et al.

13 iul 1994

Preț: 334^.98 lei 418^.71 lei

6-8 săpt.

-20%

Orders, Algorithms and Applications: International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings

Lecture Notes in Computer Science, nr. 831

Editat de Vincent Bouchitte et al.

23 iun 1994

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Turing Machines with Sublogarithmic Space

Lecture Notes in Computer Science, nr. 843

Autor Andrzej Szepietowski

29 aug 1994

Preț: 311^.98 lei 389^.98 lei

6-8 săpt.

-20%

Towards a Pan-European Telecommunication Service Infrastructure - IS&N '94: Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7 - 9, 1994. Proceedings

Lecture Notes in Computer Science, nr. 851

Editat de Hans-Jürgen Kugler et al.

30 aug 1994

Preț: 390^.61 lei

6-8 săpt.

Parallel Computer Routing and Communication: First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994. Proceedings

Lecture Notes in Computer Science, nr. 853

Editat de Kevin Bolding et al.

28 sep 1994

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Computers for Handicapped Persons: 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994. Proceedings

Lecture Notes in Computer Science, nr. 860

Editat de Wolfgang L. Zagler et al.

7 sep 1994

Preț: 339^.55 lei 424^.44 lei

6-8 săpt.

-20%

KI-94: Advances in Artificial Intelligence: 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings

Lecture Notes in Computer Science, nr. 861

Editat de Bernhard Nebel et al.

7 sep 1994

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

Lecture Notes in Computer Science, nr. 864

Editat de Baudouin LeCharlier

14 sep 1994

Preț: 344^.30 lei 430^.38 lei

6-8 săpt.

-20%

Distributed Programming Paradigms with Cryptography Applications

Lecture Notes in Computer Science, nr. 870

Autor Jonathan S. Greenfield

26 oct 1994

Preț: 315^.16 lei 393^.95 lei

6-8 săpt.

-20%

Database Issues for Data Visualization: IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993. Proceedings

Lecture Notes in Computer Science, nr. 871

Editat de John P. Lee et al.

5 oct 1994

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings

Lecture Notes in Computer Science, nr. 874

Editat de Alan Borning

12 oct 1994

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering: 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13 - 16, 1994 Proceedings

Lecture Notes in Computer Science, nr. 881

Editat de Pericles Loucopoulos

30 noi 1994

Preț: 635^.12 lei 793^.91 lei

6-8 săpt.

-20%

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings

Lecture Notes in Computer Science, nr. 883

Editat de Laurent Fribourg et al.

30 noi 1994

Preț: 327^.84 lei 409^.80 lei

6-8 săpt.

-20%

Formal Development of Reactive Systems: Case Study Production Cell

Lecture Notes in Computer Science, nr. 891

Editat de Claus Lewerentz et al.

26 ian 1995

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings

Lecture Notes in Computer Science, nr. 892

Editat de Keshav Pingali et al.

26 ian 1995

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Software Engineering Education: 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995. Proceedings

Lecture Notes in Computer Science, nr. 895

Editat de Rosalind L. Ibrahim

17 feb 1995

Preț: 327^.99 lei 409^.99 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

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 901

Editat de Ramayya Kumar et al.

6 mar 1995

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Theory and Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings

Lecture Notes in Computer Science, nr. 907

Editat de Takayasu Ito et al.

21 apr 1995

Preț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%

Machine Learning: ECML-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings

Lecture Notes in Computer Science, nr. 912

Editat de Nada Lavrač et al.

5 apr 1995

Preț: 324^.03 lei 405^.04 lei

6-8 săpt.

-20%

Digital Libraries: Current Issues: Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers

Lecture Notes in Computer Science, nr. 916

Editat de Nabil R. Adam et al.

19 apr 1995

Preț: 376^.17 lei

6-8 săpt.

Efficient Graph Rewriting and Its Implementation

Lecture Notes in Computer Science, nr. 922

Autor Heiko Dörr

14 iul 1995

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text

Lecture Notes in Computer Science, nr. 925

Editat de Johan Jeuring et al.

15 mai 1995

Preț: 322^.11 lei 402^.64 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

Preț: 652^.88 lei 816^.09 lei

6-8 săpt.

-20%

Artificial Intelligence in Medicine: 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25 - 28, 1995. Proceedings

Lecture Notes in Computer Science, nr. 934

Editat de Pedro Barahona et al.

14 iun 1995

Preț: 363^.70 lei 382^.85 lei

6-8 săpt.

-5%

Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings

Lecture Notes in Computer Science, nr. 937

Editat de Zvi Galil et al.

21 iun 1995

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Advances in Cryptology – EUROCRYPT '94: Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9 - 12, 1994. Proceedings

Lecture Notes in Computer Science, nr. 950

Editat de Alfredo DeSantis

9 aug 1995

Preț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Lecture Notes in Computer Science, nr. 971

Editat de E. Thomas Schubert et al.

23 aug 1995

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Distributed Algorithms: 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings

Lecture Notes in Computer Science, nr. 972

Editat de Jean-Michel Helary et al.

30 aug 1995

Preț: 322^.61 lei 403^.26 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

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

Preț: 638^.44 lei 798^.05 lei

6-8 săpt.

-20%

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings

Lecture Notes in Computer Science, nr. 980

Editat de Afonso Ferreira et al.

25 aug 1995

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

Lecture Notes in Computer Science, nr. 982

Editat de Manuel Hermenegildo et al.

11 sep 1995

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

Memory Management: International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings

Lecture Notes in Computer Science, nr. 986

Editat de Henry G. Baker

11 sep 1995

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Lecture Notes in Computer Science, nr. 996

Editat de Peter Dybjer et al.

18 oct 1995

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

Lecture Notes in Computer Science, nr. 1001

Editat de Madhu Sudan

13 dec 1995

Preț: 310^.87 lei 388^.59 lei

6-8 săpt.

-20%

Disconnected Operation in a Distributed File System

Lecture Notes in Computer Science, nr. 1002

Editat de James J. Kistler

13 dec 1995

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 1003

Autor P. Pandurang Nayak

13 dec 1995

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Information Systems and Data Management: 6th International Conference, CISMOD '95, Bombay, India, November 15-17, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1006

Editat de Subhash Bhalla

25 oct 1995

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Case-Based Reasoning Research and Development: First International Conference, ICCBR-95, Sesimbra, Portugal, October 23 - 26, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1010

Editat de Manuela Veloso et al.

16 oct 1995

Preț: 634^.64 lei 793^.31 lei

6-8 săpt.

-20%

Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms: IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9 - 10, 1994. Selected Papers

Lecture Notes in Computer Science, nr. 1011

Editat de Takeshi Furuhashi

15 noi 1995

Preț: 317^.05 lei 396^.31 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

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Functional Programming Languages in Education: 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1022

Editat de Pieter Hartel

23 noi 1995

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Image Analysis Applications and Computer Graphics: Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings

Lecture Notes in Computer Science, nr. 1024

Editat de Roland Chin et al.

28 noi 1995

Preț: 349^.86 lei 437^.33 lei

6-8 săpt.

-20%

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Lecture Notes in Computer Science, nr. 1032

Editat de Patrice Godefroid

24 ian 1996

Preț: 313^.10 lei 391^.37 lei

6-8 săpt.

-20%

Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, The Netherlands, January 22 - 25, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1038

Editat de Walter van de Velde et al.

17 ian 1996

Preț: 317^.68 lei 397^.10 lei

6-8 săpt.

-20%

Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing

Lecture Notes in Computer Science, nr. 1040

Editat de Stefan Wermter et al.

15 mar 1996

Preț: 328^.62 lei 410^.77 lei

6-8 săpt.

-20%

Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science: Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1041

Editat de Jack Dongarra et al.

27 feb 1996

Preț: 333^.22 lei 416^.53 lei

6-8 săpt.

-20%

Time Structures: Formal Description and Algorithmic Representation

Lecture Notes in Computer Science, nr. 1047

Autor Elzbieta Hajnicz

20 mar 1996

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Lecture Notes in Computer Science, nr. 1048

Editat de Maurizio Proietti

6 mar 1996

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Communication and Cooperation in Agent Systems: A Pragmatic Theory

Lecture Notes in Computer Science, nr. 1056

Editat de Afsaneh Haddadi

17 apr 1996

Preț: 313^.74 lei 392^.17 lei

6-8 săpt.

-20%

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1059

Editat de Helene Kirchner

3 apr 1996

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Lecture Notes in Computer Science