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

VDM '90. VDM and Z - Formal Methods in Software Development

Editat de Dines Bjørner et al.

4 apr 1990

Paperback

Preț: 347^.58 lei 434^.48 lei

6-8 săpt.

-20%

Advanced Information Systems Engineering

Editat de Bo Steinholtz et al.

25 apr 1990

Paperback

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

6-8 săpt.

-20%

Computer Aided Systems Theory - EUROCAST '89

Editat de Franz Pichler et al.

7 feb 1990

Paperback

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

6-8 săpt.

-20%

Editat de Christian Choffrut et al.

7 feb 1990

Paperback

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

6-8 săpt.

-20%

Editat de Per Martin-Löf et al.

21 feb 1990

Paperback

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

6-8 săpt.

-20%

Automatic Verification Methods for Finite State Systems

Editat de Joseph Sifakis

10 ian 1990

Paperback

Preț: 337^.52 lei 421^.90 lei

6-8 săpt.

-20%

Autor Rolf Klein

20 dec 1989

Paperback

Preț: 326^.46 lei 408^.07 lei

6-8 săpt.

-20%

Editat de Achim Sydow et al.

noi 1989

Paperback

Preț: 654^.87 lei 818^.59 lei

6-8 săpt.

-20%

Editat de Hartmut Ehrig et al.

11 oct 1989

Paperback

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

6-8 săpt.

-20%

Editat de Patrizia Gianni

23 aug 1989

Paperback

Preț: 345^.44 lei 431^.80 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1989

Editat de Antoni Kreczmar et al.

9 aug 1989

Paperback

Preț: 348^.39 lei 435^.49 lei

6-8 săpt.

-20%

Editat de James H. Davenport

9 aug 1989

Paperback

Preț: 342^.96 lei 428^.70 lei

6-8 săpt.

-20%

Editat de Janos Csirik et al.

31 iul 1989

Paperback

Preț: 342^.96 lei 428^.70 lei

6-8 săpt.

-20%

Editat de Erich Kaltofen et al.

6 iun 1989

Paperback

Preț: 647^.79 lei 809^.73 lei

6-8 săpt.

-20%

Editat de Albert R. Meyer et al.

7 iun 1989

Paperback

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

6-8 săpt.

-20%

Editat de Giorgio Ausiello et al.

28 iun 1989

Paperback

Preț: 670^.37 lei 837^.96 lei

6-8 săpt.

-20%

Editat de Burkhard Monien et al.

8 feb 1989

Paperback

Preț: 345^.26 lei 431^.57 lei

6-8 săpt.

-20%

Compositionality, Concurrency, and Partial Correctness

Autor Job Zwiers

22 feb 1989

Paperback

Preț: 331^.74 lei 414^.67 lei

6-8 săpt.

-20%

Implementing Networks in Banking and Financial Services

Autor Dimitris N. Chorafas et al.

15 ian 1989

Hardback

Preț: 647^.45 lei 809^.32 lei

6-8 săpt.

-20%

Editat de Grzegorz Rozenberg

7 dec 1988

Paperback

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

6-8 săpt.

-20%

Advances in Object-Oriented Database Systems

Editat de Klaus R. Dittrich

21 sep 1988

Paperback

Preț: 336^.86 lei 421^.08 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1988

Editat de Michal P. Chytil et al.

10 aug 1988

Paperback

Preț: 659^.17 lei 823^.97 lei

6-8 săpt.

-20%

Editat de Stephane Kaplan et al.

22 iun 1988

Paperback

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

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science

Editat de Herbert Göttler et al.

8 iun 1988

Paperback

Preț: 330^.75 lei 413^.44 lei

6-8 săpt.

-20%

Editat de C. Choffrut

22 iun 1988

Paperback

Preț: 324^.64 lei 405^.80 lei

6-8 săpt.

-20%

Editat de Rolf Karlsson et al.

22 iun 1988

Paperback

Preț: 331^.25 lei 414^.07 lei

6-8 săpt.

-20%

Editat de Timo Lepistö et al.

22 iun 1988

Paperback

Preț: 668^.22 lei 835^.28 lei

6-8 săpt.

-20%

Parallel Computing in Science and Engineering

Editat de Rüdiger Dierstein et al.

11 mai 1988

Paperback

Preț: 327^.44 lei 409^.30 lei

6-8 săpt.

-20%

The Architectural Logic of Database Systems

Autor Emmanuel J. Yannakoudakis

18 mai 1988

Paperback

Preț: 336^.67 lei 420^.84 lei

6-8 săpt.

-20%

Editat de Joachim Biskup et al.

apr 1988

Paperback

Preț: 330^.56 lei 413^.21 lei

6-8 săpt.

-20%

Editat de Max Dauchet et al.

9 mar 1988

Paperback

Preț: 333^.40 lei 416^.75 lei

6-8 săpt.

-20%

Advances in Database Technology - EDBT '88

Editat de Joachim W. Schmidt et al.

29 feb 1988

Paperback

Preț: 349^.04 lei 436^.30 lei

6-8 săpt.

-20%

Autor J. H. Wilkinson

21 ian 1988

Paperback

Preț: 872^.99 lei 1358^.21 lei

32-37 zile

-36%

Editat de Andreas Albrecht et al.

9 dec 1987

Paperback

Preț: 299^.81 lei 374^.76 lei

6-8 săpt.

-20%

Editat de Lothar Budach et al.

9 dec 1987

Paperback

Preț: 343^.62 lei 429^.52 lei

6-8 săpt.

-20%

Autor G. Mirkowska et al.

30 noi 1987

Hardback

Preț: 1282^.50 lei 1603^.13 lei

6-8 săpt.

-20%

Mathematical Models for the Semantics of Parallelism

Editat de Marisa Venturini Zilli

7 oct 1987

Paperback

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

6-8 săpt.

-20%

Trends, Techniques, and Problems in Theoretical Computer Science

Editat de Alica Kelemenova et al.

21 oct 1987

Paperback

Preț: 329^.11 lei 411^.39 lei

6-8 săpt.

-20%

Editat de A. Nico Habermann et al.

23 sep 1987

Paperback

Preț: 333^.40 lei 416^.75 lei

6-8 săpt.

-20%

Autor Dominique Snyers et al.

12 aug 1987

Paperback

Preț: 324^.49 lei 405^.62 lei

6-8 săpt.

-20%

A Connotational Theory of Program Structure

Autor James S. Royer

26 aug 1987

Paperback

Preț: 327^.44 lei 409^.30 lei

6-8 săpt.

-20%

Editat de Egon Börger

29 iul 1987

Paperback

Preț: 340^.49 lei 425^.62 lei

6-8 săpt.

-20%

Database Machine Performance: Modeling Methodologies and Evaluation Strategies

Editat de Francesca Cesarini et al.

24 iun 1987

Paperback

Preț: 330^.75 lei 413^.44 lei

6-8 săpt.

-20%

Editat de Pierre Lescanne

14 mai 1987

Paperback

Preț: 303^.93 lei 379^.91 lei

6-8 săpt.

-20%

Editat de Gottfried Tinhofer et al.

8 apr 1987

Paperback

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

6-8 săpt.

-20%

Editat de Franz J. Brandenburg et al.

11 feb 1987

Paperback

Preț: 427^.83 lei 534^.80 lei

6-8 săpt.

-20%

A Practical Introduction to Denotational Semantics

Autor L. Allison

29 ian 1987

Paperback

Preț: 292^.28 lei 365^.35 lei

6-8 săpt.

-20%

Autor Wolfgang Bibel

1987

Paperback

Preț: 647^.93 lei 809^.92 lei

6-8 săpt.

-20%

Parle ’91 Parallel Architectures and Languages Europe

Editat de Emile H.L. Aarts et al.

1987

Paperback

Preț: 373^.63 lei 467^.04 lei

39-44 zile

-20%

Autor Lee Naish

oct 1986

Paperback

Preț: 324^.49 lei 405^.62 lei

6-8 săpt.

-20%

Mathematical Foundation of Programming Semantics

Editat de Austin Melton

oct 1986

Paperback

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

6-8 săpt.

-20%

Category Theory and Computer Programming

Editat de David Pitt et al.

oct 1986

Paperback

Preț: 343^.95 lei 429^.93 lei

6-8 săpt.

-20%

Applied Algebra, Algorithmics and Error-Correcting Codes

Editat de Alain Poli

iul 1986

Paperback

Preț: 331^.58 lei 414^.48 lei

6-8 săpt.

-20%

Third International Conference on Logic Programming

Editat de Ehud Shapiro

iun 1986

Paperback

Preț: 354^.03 lei 442^.53 lei

6-8 săpt.

-20%

Editat de Laurent Kott

iun 1986

Paperback

Preț: 427^.18 lei 533^.98 lei

6-8 săpt.

-20%

Editat de Alan L. Selman

mai 1986

Paperback

Preț: 338^.16 lei 422^.70 lei

6-8 săpt.

-20%

Editat de Hugh C. Williams

apr 1986

Paperback

Preț: 345^.59 lei 431^.98 lei

6-8 săpt.

-20%

Editat de Paul Franchi-Zannettacci

mar 1986

Paperback

Preț: 333^.40 lei 416^.75 lei

6-8 săpt.

-20%

Editat de Harald Ganzinger et al.

mar 1986

Paperback

Preț: 306^.08 lei 382^.59 lei

6-8 săpt.

-20%

Editat de B. Monien et al.

dec 1985

Paperback

Preț: 308^.22 lei 385^.27 lei

6-8 săpt.

-20%

Editat de Jean-Pierre Jouannaud

oct 1985

Paperback

Preț: 368^.45 lei 460^.56 lei

6-8 săpt.

-20%

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Editat de Bruno Buchberger

oct 1985

Paperback

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

6-8 săpt.

-20%

Editat de Bob F. Caviness

oct 1985

Paperback

Preț: 664^.11 lei 830^.14 lei

6-8 săpt.

-20%

New Topics in Learning Automata Theory and Applications

Autor Norio Baba

iul 1985

Paperback

Preț: 326^.13 lei 407^.66 lei

6-8 săpt.

-20%

Editat de G.R. Blakely et al.

iul 1985

Paperback

Preț: 342^.78 lei 428^.48 lei

6-8 săpt.

-20%

Editat de M. Nivat et al.

iun 1985

Paperback

Preț: 329^.26 lei 411^.57 lei

6-8 săpt.

-20%

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Editat de Hartmut Ehrig et al.

mar 1985

Paperback

Preț: 367^.79 lei 459^.74 lei

6-8 săpt.

-20%

Recent Mathematical Methods in Dynamic Programming

Editat de Italo Capuzzo Dolcetta et al.

mar 1985

Paperback

Preț: 227^.29 lei 284^.12 lei

6-8 săpt.

-20%

Algorithm Design for Computer System Design

Editat de Giorgio Ausiello et al.

27 aug 1984

Paperback

Preț: 331^.74 lei 414^.67 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1984

Editat de M.P. Chytil et al.

aug 1984

Paperback

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

6-8 săpt.

-20%

Programming Languages and their Definition

Autor H. Bekic et al.

aug 1984

Paperback

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

6-8 săpt.

-20%

Editat de J. Paredaens

iun 1984

Paperback

Preț: 429^.81 lei 537^.25 lei

6-8 săpt.

-20%

Editat de G. Kahn et al.

iun 1984

Paperback

Preț: 309^.19 lei 386^.49 lei

6-8 săpt.

-20%

Autor D. J. Cooke et al.

23 mai 1984

Paperback

Preț: 256^.90 lei 321^.13 lei

6-8 săpt.

-20%

Editat de E. Clarke et al.

feb 1984

Paperback

Preț: 429^.81 lei 537^.25 lei

6-8 săpt.

-20%

Editat de G. Ausiello et al.

oct 1983

Paperback

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

6-8 săpt.

-20%

Editat de M. Karpinski

aug 1983

Paperback

Preț: 429^.65 lei 537^.06 lei

6-8 săpt.

-20%

Editat de J. Diaz

iun 1983

Paperback

Preț: 354^.68 lei 443^.35 lei

6-8 săpt.

-20%

Applied Probability-Computer Science: The Interface Volume 1

Autor R.L. Disney et al.

1983

Paperback

Preț: 342^.78 lei 428^.48 lei

6-8 săpt.

-20%

Logics of Programs and Their Applications

Editat de A. Salwicki

1983

Paperback

Preț: 244^.80 lei 305^.99 lei

6-8 săpt.

-20%

Editat de A.B. Cremers et al.

dec 1982

Paperback

Preț: 336^.67 lei 420^.84 lei

6-8 săpt.

-20%

Editat de J. Staunstrup

apr 1982

Paperback

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

6-8 săpt.

-20%

An Introduction to the PL/CV2 Programming Logic

Autor R. L. Constable et al.

apr 1982

Paperback

Preț: 334^.32 lei 417^.90 lei

6-8 săpt.

-20%

Verifying Concurrent Processes Using Temporal Logic

Autor B. T. Hailpern

mar 1982

Paperback

Preț: 328^.60 lei 410^.75 lei

6-8 săpt.

-20%

Axiomatising the Logic of Computer Programming

Autor R. Goldblatt

mar 1982

Paperback

Preț: 158^.57 lei 198^.22 lei

6-8 săpt.

-20%

Editat de D. Kozen

mar 1982

Paperback

Preț: 238^.50 lei 298^.12 lei

6-8 săpt.

-20%

Editat de S. B. Yao et al.

mar 1982

Paperback

Preț: 239^.99 lei 299^.99 lei

6-8 săpt.

-20%

Editat de S. B. Yao et al.

mar 1982

Paperback

Preț: 180^.46 lei 225^.58 lei

6-8 săpt.

-20%

Editat de M. Dezani-Ciancaglini et al.

mar 1982

Paperback

Preț: 309^.89 lei 387^.36 lei

6-8 săpt.

-20%

Editat de E. Engeler

noi 1981

Paperback

Preț: 330^.42 lei 413^.03 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1981

Editat de J. Gruska et al.

aug 1981

Paperback

Preț: 347^.74 lei 434^.67 lei

6-8 săpt.

-20%

The Concurrency Control Problem for Database Systems

Autor M. A. Casanova

iul 1981

Paperback

Preț: 327^.29 lei 409^.11 lei

6-8 săpt.

-20%

Editat de Seven et al.

iun 1981

Paperback

Preț: 352^.35 lei 440^.43 lei

6-8 săpt.

-20%

Autor I. Guessarian

feb 1981

Paperback

Preț: 180^.14 lei 225^.17 lei

6-8 săpt.

-20%

Editat de H Noltemeier

feb 1981

Paperback

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

6-8 săpt.

-20%

Autor Gyula Katona

31 dec 1980

Paperback

Preț: 321^.32 lei 401^.66 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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