Cărți din categoria teoria matematică a calculului, pagina 25 în limba Engleză

Automatic Verification of Sequential Infinite-State Processes

Autor Olaf Burkart

17 dec 1997

Paperback

Preț: 326^.64 lei 408^.30 lei

6-8 săpt.

-20%

SOFSEM '97: Theory and Practice of Informatics

Editat de Frantisek Plasil et al.

5 noi 1997

Paperback

Preț: 346^.90 lei 433^.62 lei

6-8 săpt.

-20%

Algorithmic Foundations of Geographic Information Systems

Editat de Marc van Kreveld et al.

12 noi 1997

Paperback

Preț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%

Foundations of Software Technology and Theoretical Computer Science

Editat de S. Ramesh et al.

28 noi 1997

Paperback

Preț: 335^.69 lei 419^.61 lei

6-8 săpt.

-20%

Editat de Hon Wai Leong et al.

21 noi 1997

Paperback

Preț: 339^.99 lei 424^.99 lei

6-8 săpt.

-20%

Spatial Information Theory A Theoretical Basis for GIS

Editat de Stephen C. Hirtle et al.

oct 1997

Paperback

Preț: 657^.02 lei 821^.27 lei

6-8 săpt.

-20%

Editat de Christian Freksa et al.

24 oct 1997

Paperback

Preț: 657^.34 lei 821^.68 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science

Editat de Rolf H. Möhring

29 oct 1997

Paperback

Preț: 337^.20 lei 421^.49 lei

6-8 săpt.

-20%

Editat de Constantine Polychronopoulos et al.

22 oct 1997

Paperback

Preț: 353^.66 lei 442^.07 lei

6-8 săpt.

-20%

Formal Methods in Human-Computer Interaction

Editat de Philippe Palanque et al.

29 oct 1997

Paperback

Preț: 339^.14 lei 423^.93 lei

6-8 săpt.

-20%

Editat de Marios Mavronicolas et al.

10 sep 1997

Paperback

Preț: 335^.18 lei 418^.98 lei

6-8 săpt.

-20%

Editat de Charles Nicholas et al.

17 sep 1997

Paperback

Preț: 328^.42 lei 410^.53 lei

6-8 săpt.

-20%

Editat de Bogdan S. Chlebus et al.

6 aug 1997

Paperback

Preț: 342^.28 lei 427^.85 lei

6-8 săpt.

-20%

Theoretical Aspects of Computer Software

Editat de Martin Abadi et al.

27 aug 1997

Paperback

Preț: 663^.45 lei 829^.32 lei

6-8 săpt.

-20%

Editat de Rainer Burkard et al.

27 aug 1997

Paperback

Preț: 344^.27 lei 430^.34 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1997

Editat de Igor Privara et al.

13 aug 1997

Paperback

Preț: 344^.27 lei 430^.34 lei

6-8 săpt.

-20%

Editat de Alberto Apostolico et al.

31 iul 1997

Hardback

Preț: 1114^.89 lei 1835^.30 lei

32-37 zile

-39%

Structures in Logic and Computer Science

Editat de Jan Mycielski et al.

23 iul 1997

Paperback

Preț: 337^.20 lei 421^.49 lei

6-8 săpt.

-20%

Editat de Frank Dehne et al.

23 iul 1997

Paperback

Preț: 341^.95 lei 427^.44 lei

6-8 săpt.

-20%

Editat de Tao Jiang et al.

30 iul 1997

Paperback

Preț: 344^.42 lei 430^.53 lei

6-8 săpt.

-20%

Editat de Panos Antsaklis et al.

30 iul 1997

Paperback

Preț: 338^.68 lei 423^.35 lei

6-8 săpt.

-20%

A Theory and Practice of Program Development

Autor Derek J. Andrews

4 iul 1997

Paperback

Preț: 341^.30 lei 426^.63 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets 1997

Editat de Pierre Azema et al.

4 iun 1997

Paperback

Preț: 341^.63 lei 427^.04 lei

6-8 săpt.

-20%

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Editat de Teo Mora et al.

11 iun 1997

Paperback

Preț: 336^.21 lei 420^.26 lei

6-8 săpt.

-20%

Editat de Pierpaolo Degano et al.

18 iun 1997

Paperback

Preț: 674^.33 lei 842^.91 lei

6-8 săpt.

-20%

Editat de Orna Grumberg

4 iun 1997

Paperback

Preț: 342^.65 lei 428^.31 lei

6-8 săpt.

-20%

Editat de Alberto Apostolico et al.

18 iun 1997

Paperback

Preț: 332^.24 lei 415^.30 lei

6-8 săpt.

-20%

Randomization and Approximation Techniques in Computer Science

Editat de Jose Rolim

25 iun 1997

Paperback

Preț: 329^.76 lei 412^.21 lei

6-8 săpt.

-20%

Editat de Sergei Adian et al.

28 mai 1997

Paperback

Preț: 339^.80 lei 424^.75 lei

6-8 săpt.

-20%

Biological and Artificial Computation: From Neuroscience to Technology

Editat de Jose Mira et al.

14 mai 1997

Paperback

Preț: 417^.90 lei 522^.38 lei

39-44 zile

-20%

Data Structures for Computational Statistics

Autor Sigbert Klinke

20 mai 1997

Paperback

Preț: 651^.75 lei 814^.68 lei

6-8 săpt.

-20%

Autor Alexander Chagrov et al.

27 mar 1997

Hardback

Preț: 1481^.94 lei 2438^.39 lei

32-37 zile

-39%

Editat de Philippe de Groote et al.

12 mar 1997

Paperback

Preț: 338^.49 lei 423^.11 lei

6-8 săpt.

-20%

Logic Program Synthesis and Transformation

Editat de John Gallagher

12 mar 1997

Paperback

Preț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%

Editat de Fabrizio D'Amore et al.

12 feb 1997

Paperback

Preț: 338^.81 lei 423^.52 lei

6-8 săpt.

-20%

Editat de Giancarlo Bongiovanni et al.

26 feb 1997

Paperback

Preț: 333^.88 lei 417^.34 lei

6-8 săpt.

-20%

Editat de Rüdiger Reischuk et al.

21 feb 1997

Paperback

Preț: 662^.11 lei 827^.63 lei

6-8 săpt.

-20%

Concept copertă de L. Moroni et al.

4 feb 1997

Paperback

Preț: 328^.09 lei 410^.12 lei

6-8 săpt.

-20%

Editat de Stephen North

15 ian 1997

Paperback

Preț: 338^.81 lei 423^.52 lei

6-8 săpt.

-20%

Editat de Dines Bjørner et al.

4 dec 1996

Paperback

Preț: 340^.98 lei 426^.22 lei

6-8 săpt.

-20%

Editat de Manfred Broy et al.

6 noi 1996

Paperback

Preț: 345^.91 lei 432^.39 lei

6-8 săpt.

-20%

SOFSEM '96: Theory and Practice of Informatics

Editat de Keith G. Jeffery et al.

6 noi 1996

Paperback

Preț: 343^.29 lei 429^.11 lei

6-8 săpt.

-20%

Editat de Vijay Chandru et al.

27 noi 1996

Paperback

Preț: 337^.85 lei 422^.31 lei

6-8 săpt.

-20%

Editat de Tetsuo Asano et al.

27 noi 1996

Paperback

Preț: 340^.82 lei 426^.03 lei

6-8 săpt.

-20%

Editat de Stefano Berardi et al.

2 oct 1996

Paperback

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

6-8 săpt.

-20%

Editat de Kwangjo Kim et al.

16 oct 1996

Paperback

Preț: 338^.35 lei 422^.94 lei

6-8 săpt.

-20%

Autor Dov M. Gabbay

5 sep 1996

Hardback

Preț: 522^.27 lei 849^.25 lei

32-37 zile

-39%

Recent Trends in Data Type Specification

Editat de Magne Haveraaen et al.

4 sep 1996

Paperback

Preț: 345^.77 lei 432^.21 lei

6-8 săpt.

-20%

Design and Implementation of Symbolic Computation Systems

Editat de Jacques Calmet et al.

4 sep 1996

Paperback

Preț: 336^.35 lei 420^.43 lei

6-8 săpt.

-20%

Parallel Problem Solving from Nature - PPSN IV

Editat de Werner Ebeling et al.

4 sep 1996

Paperback

Preț: 683^.90 lei 854^.87 lei

6-8 săpt.

-20%

Editat de Terence C. Fogarty

11 sep 1996

Paperback

Preț: 333^.72 lei 417^.15 lei

6-8 săpt.

-20%

Editat de Özalp Babaoglu et al.

25 sep 1996

Paperback

Preț: 337^.32 lei 421^.66 lei

6-8 săpt.

-20%

Applied Computational Geometry. Towards Geometric Engineering

Editat de Ming C. Lin et al.

25 sep 1996

Paperback

Preț: 329^.76 lei 412^.21 lei

6-8 săpt.

-20%

Autor Steven Vickers

21 aug 1996

Paperback

Preț: 389^.78 lei 487^.22 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1996

Editat de Wojciech Penczek et al.

7 aug 1996

Paperback

Preț: 660^.99 lei 826^.23 lei

6-8 săpt.

-20%

Editat de Henri Cohen

7 aug 1996

Paperback

Preț: 338^.68 lei 423^.35 lei

6-8 săpt.

-20%

Editat de Ugo Montanari et al.

7 aug 1996

Paperback

Preț: 668^.87 lei 836^.09 lei

6-8 săpt.

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems

Editat de Bengt Jonsson et al.

21 aug 1996

Paperback

Preț: 342^.46 lei 428^.07 lei

6-8 săpt.

-20%

Editat de Rajeev Alur et al.

17 iul 1996

Paperback

Preț: 341^.95 lei 427^.44 lei

6-8 săpt.

-20%

Editat de Christoph von der Malsburg et al.

10 iul 1996

Paperback

Preț: 677^.97 lei 847^.47 lei

6-8 săpt.

-20%

Parallel Algorithms for Irregularly Structured Problems

Editat de Alfonso Ferreira et al.

30 iul 1996

Paperback

Preț: 336^.35 lei 420^.43 lei

6-8 săpt.

-20%

Editat de Albert Prat

31 iul 1996

Paperback

Preț: 656^.69 lei 820^.86 lei

6-8 săpt.

-20%

Editat de Jin-Yi Cai et al.

5 iun 1996

Paperback

Preț: 339^.47 lei 424^.34 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets 1996

Editat de Jonathan Billington et al.

5 iun 1996

Paperback

Preț: 658^.65 lei 823^.32 lei

6-8 săpt.

-20%

Editat de Hans Kleine Buening

5 iun 1996

Paperback

Preț: 342^.65 lei 428^.31 lei

6-8 săpt.

-20%

Editat de Rolf Karlsson et al.

19 iun 1996

Paperback

Preț: 340^.98 lei 426^.22 lei

6-8 săpt.

-20%

Editat de Friedhelm Meyer auf der Heide et al.

26 iun 1996

Paperback

Preț: 665^.28 lei 831^.60 lei

6-8 săpt.

-20%

Algebraic Methodology and Software Technology

Editat de Martin Wirsing et al.

19 iun 1996

Paperback

Preț: 663^.45 lei 829^.32 lei

6-8 săpt.

-20%

Higher-Order Algebra, Logic, and Term Rewriting

Editat de Gilles Dowek et al.

8 mai 1996

Paperback

Preț: 332^.71 lei 415^.89 lei

6-8 săpt.

-20%

Editat de Dan Hirschberg et al.

8 mai 1996

Paperback

Preț: 337^.85 lei 422^.31 lei

6-8 săpt.

-20%

Advanced Information Systems Engineering

Editat de Panos Constantopoulos et al.

3 mai 1996

Paperback

Preț: 347^.40 lei 434^.26 lei

6-8 săpt.

-20%

Integer Programming and Combinatorial Optimization

Editat de William H. Cunningham et al.

15 mai 1996

Paperback

Preț: 343^.77 lei 429^.71 lei

6-8 săpt.

-20%

Editat de Claude Frasson et al.

29 mai 1996

Paperback

Preț: 665^.93 lei 832^.42 lei

6-8 săpt.

-20%

Editat de Stephen J. Goldsack et al.

26 apr 1996

Paperback

Preț: 649^.93 lei 812^.42 lei

6-8 săpt.

-20%

Trees in Algebra and Programming - CAAP '96

Editat de Helene Kirchner

3 apr 1996

Paperback

Preț: 334^.86 lei 418^.57 lei

6-8 săpt.

-20%

Editat de Eduardo Sanchez et al.

10 apr 1996

Paperback

Preț: 331^.74 lei 414^.67 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ț: 334^.86 lei 418^.57 lei

6-8 săpt.

-20%

Algorithms & Data Structures in C++ (Paper only)

Autor L Ammeraal

12 mar 1996

Paperback

Preț: 652^.28 lei 815^.35 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Tiziana Margaria et al.

20 mar 1996

Paperback

Preț: 340^.32 lei 425^.40 lei

6-8 săpt.

-20%

Autor Kevin T. Kelly

15 feb 1996

Hardback

Preț: 1086^.81 lei 1787^.88 lei

32-37 zile

-39%

Editat de Giovanni DeMicheli et al.

29 feb 1996

Paperback

Preț: 2191^.27 lei 2739^.08 lei

6-8 săpt.

-20%

Editat de Dieter Gollmann

8 feb 1996

Paperback

Preț: 329^.44 lei 411^.80 lei

6-8 săpt.

-20%

Editat de Claude Puech et al.

14 feb 1996

Paperback

Preț: 665^.75 lei 832^.19 lei

6-8 săpt.

-20%

Performance Engineering of Computer and Telecommunications Systems

Editat de Madjid Merabti et al.

16 feb 1996

Paperback

Preț: 650^.27 lei 812^.83 lei

6-8 săpt.

-20%

Partial-Order Methods for the Verification of Concurrent Systems

Editat de Patrice Godefroid

24 ian 1996

Paperback

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

6-8 săpt.

-20%

Autor John M. Howie

7 dec 1995

Hardback

Preț: 940^.44 lei 1546^.93 lei

32-37 zile

-39%

Critical Issues in User Interface Systems Engineering

Editat de David Benyon et al.

dec 1995

Paperback

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

6-8 săpt.

-20%

Editat de P.S. Thiagarajan

4 dec 1995

Paperback

Preț: 344^.27 lei 430^.34 lei

6-8 săpt.

-20%

Editat de Colin Boyd

6 dec 1995

Paperback

Preț: 333^.04 lei 416^.30 lei

6-8 săpt.

-20%

Deontic Logic, Agency and Normative Systems

Editat de Mark A. Brown et al.

dec 1995

Paperback

Preț: 643^.30 lei 804^.13 lei

6-8 săpt.

-20%

Autor Harley Flanders

29 noi 1995

Paperback

Preț: 357^.15 lei 446^.44 lei

6-8 săpt.

-20%

Editat de John Staples et al.

15 noi 1995

Paperback

Preț: 340^.64 lei 425^.81 lei

6-8 săpt.

-20%

SOFSEM '95: Theory and Practice of Informatics

Editat de Miroslav Bartosek et al.

8 noi 1995

Paperback

Preț: 343^.44 lei 429^.30 lei

6-8 săpt.

-20%

Editat de Kanchana Kanchanasut et al.

28 noi 1995

Paperback

Preț: 338^.81 lei 423^.52 lei

6-8 săpt.

-20%

Selected Topics in Approximation and Computation

Autor Marek A. Kowalski et al.

19 oct 1995

Hardback

Preț: 311^.06 lei 502^.02 lei

32-37 zile

-38%

Editat de Jan van Leeuwen

18 oct 1995

Paperback

Preț: 432^.79 lei 540^.98 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Cărți teoria matematică a calculului, pagina 25 în limba Engleză