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

5 oct 2024

Paperback

Preț: 319^.09 lei 398^.87 lei

Indisponibil temporar

-20%

Autor Alistair Sutcliffe

28 mai 2002

Paperback

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

6-8 săpt.

-20%

Editat de Nikolaj Bjørner et al.

14 dec 2019

Paperback

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

6-8 săpt.

-20%

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

25 oct 2021

Paperback

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

6-8 săpt.

-20%

Algorithm Design for Computer System Design

Editat de Giorgio Ausiello et al.

27 aug 1984

Paperback

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

6-8 săpt.

-20%

Editat de Marco Bozzano et al.

2 aug 2017

Paperback

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

6-8 săpt.

-20%

Editat de Srečko Brlek et al.

16 aug 2017

Paperback

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

6-8 săpt.

-20%

Editat de Hakan Erdogmus et al.

31 ian 2003

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Editat de Mehdi Jazayeri et al.

20 sep 2000

Paperback

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

6-8 săpt.

-20%

Compositionality, Concurrency, and Partial Correctness

Autor Job Zwiers

22 feb 1989

Paperback

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

6-8 săpt.

-20%

Editat de Eduardo Sanchez et al.

10 apr 1996

Paperback

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

6-8 săpt.

-20%

Editat de Katsuhisa Horimoto et al.

18 iul 2008

Paperback

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

6-8 săpt.

-20%

The Structure of the Relational Database Model

Autor Jan Paredaens et al.

3 oct 2013

Paperback

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

6-8 săpt.

-20%

Editat de Cristian S. Calude et al.

19 sep 2005

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Interactive Systems. Design Specification, and Verification

Editat de Stephen W. Gilroy et al.

15 mai 2006

Paperback

Preț: 319^.29 lei 399^.11 lei

6-8 săpt.

-20%

Editat de Gavin Doherty et al.

18 ian 2007

Paperback

Preț: 319^.29 lei 399^.11 lei

6-8 săpt.

-20%

Current Issues in Safety-Critical Systems

Editat de Felix Redmill et al.

10 feb 2003

Paperback

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

6-8 săpt.

-20%

Editat de Tomasz M. Gwizdałła et al.

13 feb 2021

Paperback

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

6-8 săpt.

-20%

Editat de Fabrizio Cariani et al.

4 aug 2014

Paperback

Preț: 320^.59 lei 400^.73 lei

6-8 săpt.

-20%

Editat de Jose Acacio de Barros et al.

26 ian 2017

Paperback

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

6-8 săpt.

-20%

High Performance Computing for Computational Science - VECPAR 2016

Editat de Inês Dutra et al.

14 iul 2017

Paperback

Preț: 320^.59 lei 400^.73 lei

6-8 săpt.

-20%

Logic Program Synthesis and Transformation

Editat de Kung-Kiu Lau et al.

29 ian 1993

Paperback

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

6-8 săpt.

-20%

Editat de Marios D. Dikaiakos

15 oct 2004

Paperback

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

3-5 săpt.

-20%

Editat de Carlos Alberto Maziero et al.

11 oct 2005

Paperback

Preț: 320^.59 lei 400^.73 lei

6-8 săpt.

-20%

Editat de Jean-Christophe Filliatre et al.

25 ian 2006

Paperback

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

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization

Editat de Jens Gottlieb et al.

24 mar 2006

Paperback

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

6-8 săpt.

-20%

Correct Hardware Design and Verification Methods

Editat de George J. Milne et al.

12 mai 1993

Paperback

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

6-8 săpt.

-20%

Towards a CSCW Framework for Scientific Cooperation in Europe

Autor Hannes P. Lubich

26 ian 1995

Paperback

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

6-8 săpt.

-20%

Efficient Graph Rewriting and Its Implementation

Autor Heiko Dörr

14 iul 1995

Paperback

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

6-8 săpt.

-20%

Editat de Rainer Keller et al.

24 iun 2008

Hardback

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

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Editat de Stefan Leue et al.

19 mai 2008

Paperback

Preț: 319^.36 lei 399^.20 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages

Editat de Andy Gill et al.

18 dec 2008

Paperback

Preț: 320^.97 lei 401^.21 lei

6-8 săpt.

-20%

Editat de Carlos Cotta et al.

2 apr 2009

Paperback

Preț: 319^.52 lei 399^.41 lei

6-8 săpt.

-20%

Editat de Orna Grumberg et al.

12 mai 2009

Paperback

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

6-8 săpt.

-20%

Editat de Luc Raedt

7 iul 2010

Paperback

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

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems

Editat de Krishnendu Chatterjee et al.

30 aug 2010

Paperback

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

3-5 săpt.

-20%

Editat de Cristian S. Calude et al.

27 mai 2011

Paperback

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

6-8 săpt.

-20%

Editat de Luke Ong

23 mai 2011

Paperback

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

6-8 săpt.

-20%

Editat de Anne Remke et al.

31 oct 2014

Paperback

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

6-8 săpt.

-20%

Computational Sciences - Modelling, Computing and Soft Computing

Editat de Ashish Awasthi et al.

28 iul 2021

Paperback

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

6-8 săpt.

-20%

Editat de Thomas Hinze et al.

2 feb 2019

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Jean Claude Bajard et al.

17 feb 2021

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Roland Meyer et al.

3 sep 2015

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Editat de Elvira Albert et al.

27 iun 2016

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Sylvain Duquesne et al.

10 mar 2017

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Programming Languages and their Definition

Autor H. Bekic et al.

aug 1984

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Stephane Kaplan et al.

22 iun 1988

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Alessio Lomuscio et al.

12 mai 2004

Paperback

Preț: 320^.76 lei 400^.94 lei

6-8 săpt.

-20%

Editat de James Blowey et al.

2 aug 2005

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Logic Based Program Synthesis and Transformation

Editat de Sandro Etalle

24 iun 2005

Paperback

Preț: 320^.76 lei 400^.94 lei

6-8 săpt.

-20%

Editat de Cristian S. Calude et al.

24 aug 2006

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Editat de Neil Jones et al.

30 mar 1994

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Alberto Apostolico et al.

18 iun 1997

Paperback

Preț: 320^.76 lei 400^.94 lei

6-8 săpt.

-20%

Abstract Compositional Analysis of Iterated Relations

Autor Frederic Geurts

18 dec 1998

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Editat de Frits W. Vaandrager et al.

17 mar 1999

Paperback

Preț: 320^.76 lei 400^.94 lei

6-8 săpt.

-20%

Theory and Principled Methods for the Design of Metaheuristics

Editat de Yossi Borenstein et al.

9 ian 2014

Hardback

Preț: 415^.25 lei

39-44 zile

From Programs to Systems - The Systems Perspective in Computing

Editat de Saddek Bensalem et al.

11 mar 2014

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Autor Max Garzon

12 feb 2012

Paperback

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Autor Andrei P. Ershov et al.

26 sep 2011

Paperback

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

6-8 săpt.

-20%

Editat de Harald Atmanspacher et al.

19 mar 2015

Paperback

Preț: 320^.97 lei 401^.21 lei

6-8 săpt.

-20%

Editat de Alan Mycroft et al.

21 mar 2006

Paperback

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

6-8 săpt.

-20%

Editat de M. Leuschel

18 iun 2003

Paperback

Preț: 320^.97 lei 401^.21 lei

6-8 săpt.

-20%

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Editat de Jacques Calmet et al.

10 aug 1995

Paperback

Preț: 320^.76 lei 400^.94 lei

6-8 săpt.

-20%

Applied Parallel and Scientific Computing

Editat de Kristján Jónasson

21 feb 2012

Paperback

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

3-5 săpt.

-20%

Recent Trends in Algebraic Development Techniques

Editat de Till Mossakowski et al.

21 feb 2012

Paperback

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

6-8 săpt.

-20%

Autor Wolfgang Reisig

24 iul 2013

Hardback

Preț: 439^.42 lei 542^.49 lei

39-44 zile

-19%

Editat de Narciso Martí Oliet et al.

13 apr 2013

Paperback

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

6-8 săpt.

-20%

Unifying Theories of Programming and Formal Engineering Methods

Editat de Zhiming Liu et al.

19 iul 2013

Paperback

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

6-8 săpt.

-20%

Autor Akira Maruoka

29 aug 2014

Paperback

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

6-8 săpt.

-20%

Editat de Holger Giese et al.

4 aug 2014

Paperback

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

6-8 săpt.

-20%

Editat de Francesco Parisi-Presicce et al.

7 iul 2015

Paperback

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

6-8 săpt.

-20%

Design and Implementation of Symbolic Computation Systems

Autor Alfonso Miola

2 sep 1993

Paperback

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

6-8 săpt.

-20%

Optimal Interprocedural Program Optimization

Autor Jens Knoop

23 sep 1998

Paperback

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

6-8 săpt.

-20%

Editat de Xiao-Lu Gao et al.

13 oct 1999

Paperback

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

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems

Editat de Jürgensen et al.

19 iul 2013

Paperback

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

6-8 săpt.

-20%

Editat de Albert R. Meyer et al.

7 iun 1989

Paperback

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

6-8 săpt.

-20%

Higher-Order Algebra, Logic, and Term Rewriting

Editat de Gilles Dowek et al.

8 mai 1996

Paperback

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

6-8 săpt.

-20%

Editat de Mohamed Chetouani et al.

11 ian 2008

Paperback

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

6-8 săpt.

-20%

Editat de Mihaela Ulieru et al.

14 aug 2009

Paperback

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

6-8 săpt.

-20%

Swarm, Evolutionary, and Memetic Computing

Editat de Bijaya Ketan Panigrahi et al.

7 dec 2011

Paperback

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Editat de Glyn Morrill et al.

11 iul 2013

Paperback

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

6-8 săpt.

-20%

Editat de Farhad Arbab et al.

13 sep 2013

Paperback

Preț: 321^.39 lei 401^.73 lei

6-8 săpt.

-20%

Editat de Reinhard Klette et al.

5 feb 2001

Paperback

Preț: 320^.24 lei 400^.30 lei

6-8 săpt.

-20%

Heterogeneous Objects Modelling and Applications

Editat de Alexander Pasko et al.

26 mai 2008

Paperback

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

6-8 săpt.

-20%

Editat de Emmanuel Gaudin et al.

6 sep 2007

Paperback

Preț: 321^.39 lei 401^.73 lei

6-8 săpt.

-20%

Architecture of Computing Systems - ARCS 2008

Editat de Theo Ungerer et al.

12 feb 2008

Paperback

Preț: 321^.39 lei 401^.73 lei

6-8 săpt.

-20%

Computational Intelligence Methods for Bioinformatics and Biostatistics

Editat de Riccardo Rizzo et al.

18 iul 2011

Paperback

Preț: 320^.24 lei 400^.30 lei

6-8 săpt.

-20%

Editat de Henning Bordihn et al.

25 iul 2012

Paperback

Preț: 320^.24 lei 400^.30 lei

6-8 săpt.

-20%

Autor Samuele Giraudo

18 ian 2019

Hardback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Editat de Ting Hu et al.

13 mar 2020

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Editat de Marco Dorigo et al.

31 iul 2014

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Editat de Santiago Escobar

21 noi 2014

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Editat de Jeffrey Shallit et al.

28 mai 2015

Paperback

Preț: 321^.60 lei 402^.00 lei

6-8 săpt.

-20%

Editat de Harald Atmanspacher et al.

3 feb 2016

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Human Aspects of Information Security, Privacy, and Trust

Editat de Theo Tryfonas

21 iun 2016

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

An Introduction to the PL/CV2 Programming Logic

Autor R. L. Constable et al.

apr 1982

Paperback

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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