Cărți din categoria teoria matematică a calculului, pagina 26

Efficient Graph Rewriting and Its Implementation

Autor Heiko Dörr

14 iul 1995

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Editat de Stefan Leue et al.

19 mai 2008

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages

Editat de Andy Gill et al.

18 dec 2008

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization

Editat de Carlos Cotta et al.

2 apr 2009

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Editat de Orna Grumberg et al.

12 mai 2009

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Editat de Luc Raedt

7 iul 2010

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems

Editat de Krishnendu Chatterjee et al.

30 aug 2010

Paperback

Preț: 332^.06 lei 415^.08 lei

3-5 săpt.

-20%

Editat de Cristian S. Calude et al.

27 mai 2011

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Editat de Luke Ong

23 mai 2011

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Editat de Anne Remke et al.

31 oct 2014

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Computational Sciences - Modelling, Computing and Soft Computing

Editat de Ashish Awasthi et al.

28 iul 2021

Paperback

Preț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%

Editat de Cristian S. Calude et al.

19 sep 2005

Paperback

Preț: 331^.91 lei 414^.89 lei

6-8 săpt.

-20%

Interactive Systems. Design Specification, and Verification

Editat de Stephen W. Gilroy et al.

15 mai 2006

Paperback

Preț: 331^.91 lei 414^.89 lei

6-8 săpt.

-20%

Autor Alistair Sutcliffe

28 mai 2002

Paperback

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

6-8 săpt.

-20%

Editat de Nikolaj Bjørner et al.

14 dec 2019

Paperback

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

6-8 săpt.

-20%

Autor Danny A. J. Gómez Ramírez

25 oct 2021

Paperback

Preț: 331^.74 lei 414^.67 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%

Editat de Marco Bozzano et al.

2 aug 2017

Paperback

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

6-8 săpt.

-20%

Editat de Srečko Brlek et al.

16 aug 2017

Paperback

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

6-8 săpt.

-20%

Editat de Hakan Erdogmus et al.

31 ian 2003

Paperback

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

6-8 săpt.

-20%

Editat de Mehdi Jazayeri et al.

20 sep 2000

Paperback

Preț: 331^.74 lei 414^.67 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%

Editat de Eduardo Sanchez et al.

10 apr 1996

Paperback

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

6-8 săpt.

-20%

Editat de Katsuhisa Horimoto et al.

18 iul 2008

Paperback

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

6-8 săpt.

-20%

The Structure of the Relational Database Model

Autor Jan Paredaens et al.

3 oct 2013

Paperback

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

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation

Editat de Maurizio Gabbrielli

22 apr 2020

Paperback

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

6-8 săpt.

-20%

Nature Inspired Optimisation for Delivery Problems

Autor Neil Urquhart

16 mai 2023

Paperback

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

6-8 săpt.

-20%

Editat de Robert Brijder et al.

24 aug 2017

Paperback

Preț: 331^.58 lei 414^.48 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%

Editat de Wendy MacCaull et al.

18 apr 2006

Paperback

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

6-8 săpt.

-20%

Editat de Eerke A. Boiten et al.

26 iun 2002

Paperback

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

6-8 săpt.

-20%

Editat de S. Pfleger et al.

29 sep 1993

Paperback

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

6-8 săpt.

-20%

Autor Odile Papini et al.

11 oct 1995

Paperback

Preț: 331^.58 lei 414^.48 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%

Theory and Practice of Model Transformations

Editat de Antonio Vallecillo et al.

17 iun 2008

Paperback

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

6-8 săpt.

-20%

Pristine Perspectives on Logic, Language and Computation

Editat de Margot Colinet et al.

14 iul 2014

Paperback

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

6-8 săpt.

-20%

Autor David E. Goldberg

6 ian 2013

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Introduction to Scientific Visualization

Autor Helen Wright

29 noi 2006

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Symposium on Real-Time and Hybrid Systems

Editat de Cliff Jones et al.

29 sep 2018

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Editat de Miroslav Ćirić et al.

24 mai 2019

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Advances in Optimization and Applications

Editat de Nicholas Olenev et al.

18 ian 2021

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Operations Research and Enterprise Systems

Editat de Begoña Vitoriano et al.

15 feb 2017

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Human Mental Workload: Models and Applications

Editat de Luca Longo et al.

4 iun 2017

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Editat de Vlad Rusu

8 sep 2018

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Editat de Graham Birtwistle et al.

6 apr 1995

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Autor Seppo Sippu et al.

14 noi 1990

Hardback

Preț: 352^.67 lei 440^.84 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency XIV

Editat de Maciej Koutny et al.

6 dec 2019

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Editat de Hien Nguyen

4 ian 2020

Paperback

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Larch: Languages and Tools for Formal Specification

S.J. Garland et al.

oct 2011

Paperback

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

6-8 săpt.

-20%

Editat de Rachid Echahed et al.

22 iun 2016

Paperback

Preț: 331^.25 lei 414^.07 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 Tim Denvir et al.

28 aug 1992

Paperback

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

6-8 săpt.

-20%

Digital Documents: Systems and Principles

Editat de Peter King et al.

12 feb 2004

Paperback

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

6-8 săpt.

-20%

Introduction to Programming with Modula-2

Autor Günther Blaschek et al.

22 noi 1990

Paperback

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

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science

Editat de Gunther Schmidt et al.

29 ian 1992

Paperback

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

6-8 săpt.

-20%

Editat de David Pitt et al.

21 iul 1995

Paperback

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

6-8 săpt.

-20%

Editat de Olivier Bournez et al.

7 sep 2009

Paperback

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

6-8 săpt.

-20%

Editat de Franz Winkler

16 iun 2011

Paperback

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

6-8 săpt.

-20%

Autor E. Goles et al.

28 feb 1990

Hardback

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

6-8 săpt.

-20%

Handbook of Logic and Proof Techniques for Computer Science

Autor Steven G. Krantz

23 oct 2012

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Implementation and Application of Automata

Editat de Michal Hospodár et al.

27 iun 2019

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Editat de Maria Christakis et al.

6 dec 2020

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Editat de Joel Ouaknine et al.

23 sep 2014

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems

Editat de Stavros Konstantinidis et al.

11 iul 2018

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Autor A. Nijholt

sep 1980

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Editat de Marina Papatriantafilou et al.

16 aug 2004

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Editat de J.Paul Jr. Myers et al.

24 iun 1992

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Editat de Dirk Pattinson et al.

2 aug 2012

Paperback

Preț: 331^.08 lei 413^.85 lei

6-8 săpt.

-20%

Autor W.D. Wallis

31 dec 1996

Hardback

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

6-8 săpt.

-20%

Autor Micha Hofri

12 oct 2011

Paperback

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

6-8 săpt.

-20%

Editat de Brijesh Dongol et al.

16 oct 2019

Paperback

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

6-8 săpt.

-20%

Editat de Axel Legay et al.

19 aug 2014

Paperback

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

6-8 săpt.

-20%

Editat de Alessandro Abate et al.

10 ian 2016

Paperback

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

6-8 săpt.

-20%

Editat de Dominique De Werra et al.

16 dec 2015

Paperback

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

6-8 săpt.

-20%

Critical Systems: Formal Methods and Automated Verification

Editat de Maurice H. ter Beek et al.

14 sep 2016

Paperback

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

6-8 săpt.

-20%

Queueing Theory and Network Applications

Editat de Yutaka Takahashi et al.

12 iun 2018

Paperback

Preț: 330^.75 lei 413^.44 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 Herbert Göttler et al.

8 iun 1988

Paperback

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

6-8 săpt.

-20%

Databases, Information Systems, and Peer-to-Peer Computing

Editat de Karl Aberer et al.

28 ian 2004

Paperback

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

6-8 săpt.

-20%

Editat de C. Neville Dean et al.

17 noi 2004

Paperback

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

6-8 săpt.

-20%

Editat de Anna-Lena Lamprecht et al.

2 oct 2014

Paperback

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

6-8 săpt.

-20%

Autor Yuxin Deng

9 mar 2015

Hardback

Preț: 337^.00 lei 421^.25 lei

6-8 săpt.

-20%

The Component-Based Business: Plug and Play

Autor Richard Veryard

11 dec 2000

Paperback

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

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Editat de Susanne Graf et al.

13 mai 2015

Paperback

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

6-8 săpt.

-20%

Tackling Society's Grand Challenges with Design Science

Editat de Jeffrey Parsons et al.

10 mai 2016

Paperback

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

6-8 săpt.

-20%

Editat de Martin Fränzle et al.

17 aug 2016

Paperback

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

6-8 săpt.

-20%

Editat de Ahmed Bouajjani et al.

28 mai 2017

Paperback

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

6-8 săpt.

-20%

Using Sophisticated Models in Resolution Theorem Proving

Autor David M. Sandford

aug 1980

Paperback

Preț: 330^.56 lei 413^.21 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 Paul Callaghan et al.

20 feb 2002

Paperback

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

6-8 săpt.

-20%

Transactions on Computational Systems Biology VI

Editat de Gordon Plotkin et al.

27 noi 2006

Paperback

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

6-8 săpt.

-20%

Editat de Carlos Cotta et al.

30 mar 2007

Paperback

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

6-8 săpt.

-20%

Autor Robert M. Losee

20 sep 2014

Paperback

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

6-8 săpt.

-20%

Logic, Language, Information, and Computation

Editat de Ulrich Kohlenbach et al.

24 iul 2014

Paperback

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

6-8 săpt.

-20%

Autor Rolf Socher-Ambrosius et al.

18 sep 2011

Paperback

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

6-8 săpt.

-20%

Editat de Emmanuel Filiot et al.

6 sep 2019

Paperback

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

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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