Filtre: Paperback

Cărți teoria matematică a calculului, pagina 21

1921-2016 din 2,366 rezultate

Autor Werner Burkhardt

9 dec 1994

Preț: 312^.17 lei 390^.21 lei

6-8 săpt.

-20%

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Workshops in Computing

Editat de Alban Ponse et al.

30 noi 1994

Preț: 323^.41 lei 404^.26 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%

Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings

Lecture Notes in Computer Science, nr. 1026

Editat de P.S. Thiagarajan

4 dec 1995

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Progress in Theoretical Computer Science

K. Aberer et al.

23 noi 2011

Preț: 613^.87 lei 767^.34 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Autor Loe M.G. Feijs et al.

19 oct 1994

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

6-8 săpt.

-20%

A Recursive Introduction to the Theory of Computation

Texts in Computer Science

Autor Carl Smith

22 noi 2012

Preț: 312^.92 lei 391^.15 lei

6-8 săpt.

-20%

Lambda Calculi: A Guide for Computer Scientists

Graduate Texts in Computer Science, nr. 3

Chris Hankin

13 oct 1994

Preț: 324^.80 lei 530^.11 lei

44-50 zile

-39%

Advanced Speech Applications: European Research on Speech Technology

Research Reports Esprit, nr. 1

Editat de Kadamula Varghese et al.

28 sep 1994

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Numerical Integration: on Advanced Computer Systems

Lecture Notes in Computer Science, nr. 848

Editat de Arnold R. Krommer et al.

28 sep 1994

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994. Proceedings

Lecture Notes in Computer Science, nr. 872

Editat de Setsuo Arikawa et al.

28 sep 1994

Preț: 334^.18 lei 417^.72 lei

6-8 săpt.

-20%

Evolutionary Computing: AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers

Lecture Notes in Computer Science, nr. 1143

Editat de Terence C. Fogarty

11 sep 1996

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

6-8 săpt.

-20%

Der Lebenssinn der Industriegesellschaft: Über die moralische Verfassung der wissenschaftlich-technischen Zivilisation

Edition Alcatel SEL Stiftung

Autor Hermann Lübbe

8 oct 2012

Preț: 178^.70 lei 223^.38 lei

3-5 săpt.

-20%

Parallel Problem Solving from Nature - PPSN III: International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings

Lecture Notes in Computer Science, nr. 866

Editat de Yuval Davidor et al.

21 sep 1994

Preț: 638^.14 lei 797^.67 lei

6-8 săpt.

-20%

Algorithms - ESA '94: Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 855

Editat de Jan van Leeuwen

14 sep 1994

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Distributed Algorithms: 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings

Lecture Notes in Computer Science, nr. 857

Editat de Gerard Tel et al.

14 sep 1994

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

6-8 săpt.

-20%

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Lecture Notes in Computer Science, nr. 859

Editat de Thomas F. Melham et al.

7 sep 1994

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

6-8 săpt.

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Lecture Notes in Computer Science, nr. 863

Editat de Hans Langmaack et al.

7 sep 1994

Preț: 644^.93 lei 806^.17 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%

Treewidth: Computations and Approximations

Lecture Notes in Computer Science, nr. 842

Autor Ton Kloks

26 aug 1994

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

3-5 săpt.

-20%

Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Lecture Notes in Computer Science, nr. 845

Editat de Jean-Pierre Jouannaud

24 aug 1994

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

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1994: 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings

Lecture Notes in Computer Science, nr. 841

Editat de Igor Privara et al.

3 aug 1994

Preț: 637^.18 lei 796^.48 lei

6-8 săpt.

-20%

Polynomial and Matrix Computations: Fundamental Algorithms

Progress in Theoretical Computer Science

Autor Dario Bini et al.

27 sep 2012

Preț: 955^.32 lei 1194^.15 lei

6-8 săpt.

-20%

Entity-Relationship Approach - ER '93: 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 823

Editat de Ramez A. Elmasri et al.

28 iul 1994

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 828

Autor Lawrence C. Paulson et al.

28 iul 1994

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Algorithms and Computation: 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings

Lecture Notes in Computer Science, nr. 834

Editat de Ding-Zhu Du et al.

27 iul 1994

Preț: 640^.19 lei 800^.24 lei

6-8 săpt.

-20%

CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings

Lecture Notes in Computer Science, nr. 836

Editat de Bengt Jonsson et al.

27 iul 1994

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Lecture Notes in Computer Science, nr. 832

Editat de Egon Börger et al.

20 iul 1994

Preț: 322^.74 lei 403^.43 lei

6-8 săpt.

-20%

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

Workshops in Computing

Editat de David Till

19 iul 1994

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings

Lecture Notes in Computer Science, nr. 809

Editat de Ross Anderson

28 iun 1994

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

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%

Automata, Languages, and Programming: 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings

Lecture Notes in Computer Science, nr. 820

Editat de Serge Abiteboul et al.

15 iun 1994

Preț: 637^.96 lei 797^.45 lei

6-8 săpt.

-20%

Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Lecture Notes in Computer Science, nr. 813

Editat de Anil Nerode et al.

8 iun 1994

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

6-8 săpt.

-20%

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings

Lecture Notes in Computer Science, nr. 815

Editat de Robert Valette

iun 1994

Preț: 334^.34 lei 417^.93 lei

6-8 săpt.

-20%

Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Lecture Notes in Computer Science, nr. 818

Editat de David L. Dill

iun 1994

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

6-8 săpt.

-20%

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings

Lecture Notes in Computer Science, nr. 812

Editat de Juliani Karhumäki et al.

26 mai 1994

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

Finite Automata, Formal Logic, and Circuit Complexity

Progress in Theoretical Computer Science

Autor Howard Straubing

10 oct 2012

Preț: 673^.60 lei 842^.00 lei

6-8 săpt. | 4-10 zile

-20%

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Lecture Notes in Computer Science, nr. 780

Editat de Jeffrey J. Joyce et al.

28 apr 1994

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings

Lecture Notes in Computer Science, nr. 781

Editat de Gerard Cohen et al.

28 apr 1994

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

6-8 săpt.

-20%

Mechanical Theorem Proving in Geometries: Basic Principles

Texts & Monographs in Symbolic Computation

Autor Wen-tsün Wu et al.

14 apr 1994

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Lecture Notes in Computer Science, nr. 792

Editat de Neil Jones et al.

30 mar 1994

Preț: 319^.60 lei 399^.50 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%

Shape in Picture: Mathematical Description of Shape in Grey-level Images

NATO ASI Subseries F:, nr. 126

Editat de Ying-Lie O et al.

dec 2010

Preț: 1842^.51 lei 2303^.14 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%

Algorithms and Complexity: Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings

Lecture Notes in Computer Science, nr. 778

Editat de Maurizio Bonuccelli et al.

11 feb 1994

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

6-8 săpt.

-20%

STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings

Lecture Notes in Computer Science, nr. 775

Editat de Patrice Enjalbert et al.

9 feb 1994

Preț: 343^.68 lei 429^.60 lei

6-8 săpt.

-20%

An Extended Entity-Relationship Model: Fundamentals and Pragmatics

Lecture Notes in Computer Science, nr. 767

Autor Martin Gogolla

28 ian 1994

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

6-8 săpt.

-20%

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

Progress in Computer Science and Applied Logic, nr. 12

Editat de John N. Crossley et al.

14 feb 2013

Preț: 1004^.28 lei 1255^.35 lei

38-44 zile

-20%

Neuronale Netze und Fuzzy-Systeme: Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden

Künstliche Intelligenz

Autor Detlef D. Nauck

1994

Preț: 410^.64 lei 513^.31 lei

6-8 săpt.

-20%

Interaktive Systeme: Software-Entwicklung und Software-Ergonomie

Autor Christian Stary

1994

Preț: 348^.06 lei 435^.08 lei

6-8 săpt.

-20%

Information verstehen: Facetten eines neuen Zugangs zur Welt

Autor Horst Völz

1994

Preț: 397^.19 lei 496^.49 lei

6-8 săpt.

-20%

Mathematik mit dem PC: Der effektive Einsatz von Computeralgebra-Programmen in Schule, Studium und Praxis

Autor Hans Benker

1994

Preț: 399^.89 lei 499^.86 lei

6-8 săpt.

-20%

Algorithms and Computation: 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 762

Editat de Kam W. Ng et al.

26 noi 1993

Preț: 633^.38 lei 791^.72 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%

Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 761

Editat de Rudrapatna K. Shyamasundar

23 noi 1993

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Higher Order Logic and Hardware Verification

Cambridge Tracts in Theoretical Computer Science, nr. 31

Autor T. F. Melham

iul 2009

Preț: 272^.99 lei 341^.24 lei

6-8 săpt.

-20%

NATO ASI Subseries F:, nr. 118

Editat de Manfred Broy

7 dec 2010

Preț: 1228^.27 lei 1535^.34 lei

6-8 săpt.

-20%

Monographs in Computer Science

Autor David Gries et al.

dec 2010

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

6-8 săpt.

-20%

Advances in Cryptology - ASIACRYPT '91: International Conference on the Theory and Application of Cryptology, Fujiyoshida, Japan, November 11-14, 1991. Proceedings

Lecture Notes in Computer Science, nr. 739

Editat de Hideki Imai et al.

13 oct 1993

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

6-8 săpt.

-20%

Autor Clemens H. Cap

4 oct 1993

Preț: 352^.15 lei 440^.18 lei

6-8 săpt.

-20%

Fundamentals and Standards in Hardware Description Languages

NATO Science Series E:, nr. 249

Editat de Jean Mermet

5 oct 2012

Preț: 1991^.04 lei 2488^.80 lei

6-8 săpt.

-20%

Data Fusion Applications: Workshop Proceedings Brussels, November 25, 1992

Research Reports Esprit, nr. 1

Editat de S. Pfleger et al.

29 sep 1993

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Advances in Cryptology - AUSCRYPT '92: Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-16, 1992. Proceedings

Lecture Notes in Computer Science, nr. 718

Editat de Jennifer Seberry et al.

29 sep 1993

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

Informatik als Schlüssel zur Qualifikation: GI-Fachtagung „Informatik und Schule 1993“ Koblenz, 11.–13. Oktober 1993

Informatik aktuell

Editat de Klaus G. Troitzsch

29 sep 1993

Preț: 350^.44 lei 438^.05 lei

6-8 săpt.

-20%

Autor Konrad Zuse et al.

dec 2010

Preț: 287^.71 lei 359^.64 lei

3-5 săpt.

-20%

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Workshops in Computing

Editat de Geoffrey Burn et al.

24 sep 1993

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

6-8 săpt.

-20%

Algorithms - ESA '93: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings

Lecture Notes in Computer Science, nr. 726

Editat de Thomas Lengauer

21 sep 1993

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

6-8 săpt.

-20%

Performance Evaluation of Computer and Communication Systems: Joint Tutorial Papers of Performance '93 and Sigmetrics '93

Lecture Notes in Computer Science, nr. 729

Editat de Lorenzo Donatiello et al.

15 sep 1993

Preț: 639^.38 lei 799^.23 lei

6-8 săpt.

-20%

Distributed Algorithms: 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings

Lecture Notes in Computer Science, nr. 725

Editat de Andre Schiper

8 sep 1993

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

6-8 săpt.

-20%

Spatial Information Theory: A Theoretical Basis for GIS: A Theoretical Basis for GIS. European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993. Proceedings

Lecture Notes in Computer Science, nr. 716

Editat de Andrew U. Frank et al.

2 sep 1993

Preț: 329^.60 lei 412^.00 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%

Theoretische Informatik: Eine algorithmenorientierte Einführung

Leitfäden und Monographien der Informatik

Autor Ingo Wegener

sep 1993

Preț: 468^.48 lei

6-8 săpt.

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Lecture Notes in Computer Science, nr. 702

Editat de Egon Börger et al.

11 aug 1993

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

The Springer International Series in Engineering and Computer Science, nr. 242

Autor René Leermakers

28 sep 2012

Preț: 615^.00 lei 768^.74 lei

6-8 săpt.

-20%

Computer Simulation and Computer Algebra: Lectures for Beginners

Autor Dietrich Stauffer et al.

29 iul 1993

Preț: 620^.69 lei 775^.87 lei

6-8 săpt.

-20%

Algorithms and Data Structures: Third Workshop, WADS '93, Montreal, Canada, August 11-13, 1993. Proceedings

Lecture Notes in Computer Science, nr. 709

Editat de Frank Dehne et al.

28 iul 1993

Preț: 637^.34 lei 796^.67 lei

6-8 săpt.

-20%

NATO ASI Subseries F:, nr. 94

Editat de Friedrich L. Bauer et al.

14 apr 2014

Preț: 959^.26 lei 1199^.08 lei

6-8 săpt.

-20%

The Graph Isomorphism Problem: Its Structural Complexity

Progress in Theoretical Computer Science

Autor J. Kobler et al.

9 oct 2012

Preț: 621^.19 lei 776^.49 lei

6-8 săpt. | 4-10 zile

-20%

Application-Driven Architecture Synthesis

The Springer International Series in Engineering and Computer Science, nr. 228

Editat de Francky Catthoor et al.

11 oct 2012

Preț: 946^.90 lei 1183^.63 lei

6-8 săpt.

-20%

Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings

Lecture Notes in Computer Science, nr. 700

Editat de Andrzej Lingas et al.

23 iun 1993

Preț: 640^.50 lei 800^.63 lei

6-8 săpt.

-20%

Editat de Peter Ryan et al.

16 iun 1993

Preț: 315^.62 lei 394^.52 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%

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%

Specification and Proof in Real Time CSP

Distinguished Dissertations in Computer Science, nr. 6

Autor Jim Davies

11 ian 2012

Preț: 361^.87 lei 452^.34 lei

6-8 săpt.

-20%

Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

Lecture Notes in Computer Science, nr. 683

Editat de George J. Milne et al.

12 mai 1993

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

6-8 săpt.

-20%

C-XSC: A C++ Class Library for Extended Scientific Computing

Autor Rudi Klatte et al.

23 apr 1993

Preț: 620^.20 lei 775^.26 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 21

Autor D. A. Wolfram

29 iul 2009

Preț: 199^.02 lei 248^.78 lei

6-8 săpt.

-20%

Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Lecture Notes in Computer Science, nr. 663

Editat de Gregor von Bochmann et al.

30 mar 1993

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

Lecture Notes in Computer Science, nr. 664

Editat de Marc Bezem et al.

3 mar 1993

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Cooperation Among Organizations: The Potential of Computer Supported Cooperative Work

Research Reports Esprit, nr. 1

Editat de Richard J.D. Power

26 feb 1993

Preț: 312^.92 lei 391^.15 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings

Lecture Notes in Computer Science, nr. 657

Editat de Ernst W. Mayr

26 feb 1993

Preț: 323^.10 lei 403^.87 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%

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Editat de Peter Aczel et al.

20 ian 2008

Preț: 279^.17 lei 348^.96 lei

6-8 săpt.

-20%

Algorithms for Random Generation and Counting: A Markov Chain Approach

Progress in Theoretical Computer Science

Autor A. Sinclair

noi 2012

Preț: 614^.03 lei 767^.53 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Cărți teoria matematică a calculului, pagina 21