Filtre: Hardback

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

289-384 din 723 rezultate

Automated Deduction in Multiple-Valued Logics

International Series of Monographs on Computer Science, nr. 10

Autor Reiner Hähnle

6 ian 1994

Preț: 651^.91 lei 1438^.12 lei

40-51 zile

-55%

Software Engineering 3: Domains, Requirements, and Software Design

Texts in Theoretical Computer Science. An EATCS Series

Autor Dines Bjørner

9 mar 2006

Preț: 649^.19 lei 811^.50 lei

43-57 zile

-20%

Introduction to Bisimulation and Coinduction

Autor Davide Sangiorgi

12 oct 2011

Preț: 648^.77 lei 810^.97 lei

43-57 zile

-20%

NASA Monographs in Systems and Software Engineering

Editat de Mike Hinchey et al.

10 mar 2017

Preț: 661^.12 lei 826^.40 lei

38-44 zile

-20%

Sampling Theory, a Renaissance: Compressive Sensing and Other Developments

Applied and Numerical Harmonic Analysis

Editat de Götz E. Pfander

18 dec 2015

Preț: 647^.01 lei 808^.76 lei

22-36 zile

-20%

Monographs in Theoretical Computer Science. An EATCS Series

Autor Sergey Kitaev et al.

28 noi 2015

Preț: 655^.62 lei 819^.52 lei

38-44 zile

-20%

Probabilistic Methods and Distributed Information: Rudolf Ahlswede’s Lectures on Information Theory 5

Foundations in Signal Processing, Communications and Networking, nr. 15

Autor Rudolf Ahlswede et al.

10 ian 2019

Preț: 641^.31 lei 801^.64 lei

43-57 zile

-20%

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

4 aug 1995

Preț: 639^.87 lei 799^.84 lei

43-57 zile

-20%

Discrete-Event Simulation: Modeling, Programming, and Analysis

Springer Series in Operations Research and Financial Engineering

Autor George S. Fishman

27 iun 2001

Preț: 691^.85 lei 864^.81 lei

38-44 zile

-20%

Engineering Applications of Neural Networks: 12th International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part I

IFIP Advances in Information and Communication Technology, nr. 363

Editat de Lazaros S. Iliadis et al.

8 sep 2011

Preț: 639^.25 lei 799^.07 lei

43-57 zile

-20%

Theoretical Aspects of Distributed Computing in Sensor Networks

Monographs in Theoretical Computer Science. An EATCS Series

Editat de Sotiris Nikoletseas et al.

5 ian 2011

Preț: 639^.07 lei 798^.84 lei

43-57 zile

-20%

Methods in Molecular Biology, nr. 604

Editat de Simon J. Hubbard et al.

23 dec 2009

Preț: 638^.58 lei 798^.23 lei

43-57 zile

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems

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

Editat de Jan Vytopil

30 apr 1993

Preț: 951^.51 lei 1189^.39 lei

43-57 zile

-20%

Domain-Specific Conceptual Modeling: Concepts, Methods and Tools

Editat de Dimitris Karagiannis et al.

20 iul 2016

Preț: 641^.62 lei 802^.03 lei

43-57 zile

-20%

The Complexity of Valued Constraint Satisfaction Problems

Cognitive Technologies

Autor Stanislav Živný

20 oct 2012

Preț: 646^.28 lei 807^.85 lei

38-44 zile

-20%

Mathematics and Computer Science III: Algorithms, Trees, Combinatorics and Probabilities

Trends in Mathematics

Editat de Michael Drmota et al.

23 iul 2004

Preț: 645^.75 lei 807^.19 lei

43-57 zile

-20%

Modern Language Models and Computation: Theory with Applications

Autor Alexander Meduna et al.

17 oct 2017

Preț: 639^.87 lei 799^.84 lei

43-57 zile

-20%

Behavior Computing: Modeling, Analysis, Mining and Decision

Editat de Longbing Cao et al.

12 apr 2012

Preț: 633^.08 lei 791^.34 lei

43-57 zile

-20%

Infosys Science Foundation Series

Autor Muhammad Akram

10 ian 2019

Preț: 632^.89 lei 791^.11 lei

22-36 zile

-20%

Ontology Learning and Population from Text

Autor Philipp Cimiano

12 oct 2006

Preț: 632^.71 lei 790^.89 lei

43-57 zile

-20%

Workflow Management Systems and Interoperability

NATO ASI Subseries F:, nr. 164

Editat de Asuman Dogac et al.

17 sep 1998

Preț: 638^.76 lei 798^.45 lei

43-57 zile

-20%

Towards an Information Theory of Complex Networks: Statistical Methods and Applications

Editat de Matthias Dehmer et al.

30 aug 2011

Preț: 632^.26 lei 790^.32 lei

43-57 zile

-20%

The MicroRNA 2000 Transformer: Quantum Computing and Artificial Intelligence for Health

Autor Yoichi Robertus Fujii

15 sep 2023

Preț: 997^.86 lei 1050^.37 lei

22-36 zile

-5%

Deterministic Extraction from Weak Random Sources

Monographs in Theoretical Computer Science. An EATCS Series

Autor Ariel Gabizon

8 oct 2010

Preț: 642^.08 lei 802^.60 lei

38-44 zile

-20%

Orthomodular Lattices: Algebraic Approach

Mathematics and its Applications, nr. 18

Autor L. Beran

28 feb 1985

Preț: 632^.58 lei 790^.72 lei

43-57 zile

-20%

Using Event-B for Critical Device Software Systems

Autor Neeraj Kumar Singh

2 iul 2013

Preț: 630^.68 lei 788^.36 lei

43-57 zile

-20%

Refinement in Z and Object-Z: Foundations and Advanced Applications

Autor John Derrick et al.

12 sep 2013

Preț: 637^.02 lei 796^.27 lei

43-57 zile

-20%

Hiding Data - Selected Topics: Rudolf Ahlswede’s Lectures on Information Theory 3

Foundations in Signal Processing, Communications and Networking, nr. 12

Autor Rudolf Ahlswede et al.

26 apr 2016

Preț: 630^.19 lei 787^.74 lei

43-57 zile

-20%

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Autor Karl Schlechta

14 noi 2018

Preț: 630^.01 lei 787^.52 lei

43-57 zile

-20%

Graph and Model Transformation: General Framework and Applications

Monographs in Theoretical Computer Science. An EATCS Series

Autor Hartmut Ehrig et al.

30 dec 2015

Preț: 675^.38 lei 844^.22 lei

38-44 zile

-20%

Experimental Methods for the Analysis of Optimization Algorithms

Editat de Thomas Bartz-Beielstein et al.

4 noi 2010

Preț: 907^.13 lei 1133^.91 lei

43-57 zile

-20%

Human Benefit through the Diffusion of Information Systems Design Science Research: IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Proceedings

IFIP Advances in Information and Communication Technology, nr. 318

Editat de Jan Pries-Heje et al.

4 mar 2010

Preț: 628^.95 lei 786^.18 lei

43-57 zile

-20%

Project E-Society: Building Bricks: 6th IFIP Conference on e-Commerce, e-Business and e-Government (I3E 2006), October 11-13, 2006, Turku, Finland

IFIP Advances in Information and Communication Technology, nr. 226

Editat de Reima Suomi et al.

6 oct 2006

Preț: 633^.52 lei 791^.91 lei

43-57 zile

-20%

Cognitive Technologies

Autor Dov M. Gabbay

16 dec 2013

Preț: 672^.46 lei 840^.57 lei

38-44 zile

-20%

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Autor André Platzer

5 sep 2010

Preț: 633^.21 lei 791^.51 lei

43-57 zile

-20%

NATO Science Series E:, nr. 357

Editat de Ahmed Amine Jerraya et al.

30 apr 1999

Preț: 634^.14 lei 792^.68 lei

43-57 zile

-20%

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday

Texts & Monographs in Symbolic Computation

Editat de Veronika Pillwein et al.

29 sep 2020

Preț: 633^.08 lei 791^.34 lei

43-57 zile

-20%

Categorical Combinators, Sequential Algorithms, and Functional Programming

Progress in Theoretical Computer Science

Autor P.-L. Curien

1993

Preț: 632^.89 lei 791^.11 lei

43-57 zile

-20%

Enabling Technologies for Computational Science: Frameworks, Middleware and Environments

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

Editat de Elias N. Houstis et al.

31 mar 2000

Preț: 632^.89 lei 791^.11 lei

43-57 zile

-20%

Fuzzy Control: Fundamentals, Stability and Design of Fuzzy Controllers

Studies in Fuzziness and Soft Computing, nr. 200

Autor Kai Michels et al.

8 mai 2006

Preț: 632^.76 lei 790^.94 lei

43-57 zile

-20%

Autor Brendan Juba

28 oct 2011

Preț: 632^.58 lei 790^.72 lei

43-57 zile

-20%

Mathematics and Its Applications, nr. 338

Autor Liu Yanpei

31 mar 1996

Preț: 632^.58 lei 790^.72 lei

43-57 zile

-20%

Clusters, Orders, and Trees: Methods and Applications: In Honor of Boris Mirkin's 70th Birthday

Springer Optimization and Its Applications, nr. 92

Editat de Fuad Aleskerov et al.

12 iun 2014

Preț: 632^.41 lei 790^.51 lei

43-57 zile

-20%

Thermo-Hydro-Mechanical-Chemical Processes in Porous Media: Benchmarks and Examples

Lecture Notes in Computational Science and Engineering, nr. 86

Editat de Olaf Kolditz et al.

7 apr 2012

Preț: 630^.51 lei 788^.14 lei

43-57 zile

-20%

Compressed Sensing and its Applications: Second International MATHEON Conference 2015

Applied and Numerical Harmonic Analysis

Editat de Holger Boche et al.

26 ian 2018

Preț: 632^.09 lei 790^.11 lei

43-57 zile

-20%

Texts in Computer Science

Autor Dexter C. Kozen

8 mai 2006

Preț: 661^.10 lei 826^.38 lei

38-44 zile

-20%

Stochastic Discrete Event Systems: Modeling, Evaluation, Applications

Autor Armin Zimmermann

2 oct 2007

Preț: 631^.13 lei 788^.92 lei

43-57 zile

-20%

Editat de Dorothy Monekosso et al.

30 oct 2008

Preț: 625^.52 lei 781^.90 lei

43-57 zile

-20%

Autor Ken Gilleo

11 aug 1998

Preț: 625^.45 lei 781^.82 lei

43-57 zile

-20%

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

International Series of Numerical Mathematics, nr. 152

Autor Ivo Nowak

15 aug 2005

Preț: 624^.95 lei 781^.20 lei

43-57 zile

-20%

Twenty Five Years of Constructive Type Theory

Oxford Logic Guides, nr. 36

Autor Giovanni Sambin et al.

15 oct 1998

Preț: 624^.71 lei 1019^.44 lei

40-51 zile

-39%

The IMA Volumes in Mathematics and its Applications, nr. 143

Editat de Prathima Agrawal et al.

30 noi 2006

Preț: 631^.00 lei 788^.75 lei

43-57 zile

-20%

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

Autor Denis Caromel et al.

13 apr 2005

Preț: 632^.76 lei 790^.94 lei

43-57 zile

-20%

Mathematics and Computing 2013: International Conference in Haldia, India

Springer Proceedings in Mathematics & Statistics, nr. 91

Editat de Ram N. Mohapatra et al.

19 aug 2014

Preț: 630^.68 lei 788^.36 lei

43-57 zile

-20%

Social Dimensions of Information and Communication Technology Policy: Proceedings of the Eighth International Conference on Human Choice and Computers (HCC8), IFIP TC 9, Pretoria, South Africa, September 25-26, 2008

IFIP Advances in Information and Communication Technology, nr. 282

Editat de Chrisanthi Avgerou et al.

13 aug 2008

Preț: 630^.51 lei 788^.14 lei

43-57 zile

-20%

A New Perspective on Nonmonotonic Logics

Autor Dov M. Gabbay et al.

14 noi 2016

Preț: 630^.51 lei 788^.14 lei

43-57 zile

-20%

Loewy Decomposition of Linear Differential Equations

Texts & Monographs in Symbolic Computation

Autor Fritz Schwarz

29 sep 2012

Preț: 624^.33 lei 780^.42 lei

43-57 zile

-20%

Progress in Computer Science and Applied Logic, nr. 16

Autor William Levine et al.

23 dec 1998

Preț: 630^.51 lei 788^.14 lei

43-57 zile

-20%

Conditionals and Modularity in General Logics

Cognitive Technologies

Autor Dov M. Gabbay et al.

19 aug 2011

Preț: 624^.02 lei 780^.02 lei

43-57 zile

-20%

Mathematics and Its Applications, nr. 41

Autor Shang-Ching Chou

31 dec 1987

Preț: 629^.71 lei 787^.15 lei

43-57 zile

-20%

Network Theory and Applications, nr. 5

Editat de Ding-Zhu Du et al.

30 iun 2001

Preț: 629^.88 lei 787^.36 lei

43-57 zile

-20%

Perturbative Quantum Electrodynamics and Axiomatic Field Theory

Theoretical and Mathematical Physics

Autor Othmar Steinmann

15 aug 2000

Preț: 627^.33 lei 784^.16 lei

43-57 zile

-20%

Natural Computing Series

Editat de Julian F. Miller

17 sep 2011

Preț: 628^.15 lei 785^.18 lei

43-57 zile

-20%

Self-aware Computing Systems: An Engineering Approach

Natural Computing Series

Editat de Peter R. Lewis et al.

9 aug 2016

Preț: 629^.39 lei 786^.75 lei

43-57 zile

-20%

Autor R. W. Rieber

31 mai 1981

Preț: 631^.96 lei 789^.94 lei

43-57 zile

-20%

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Autor Paul Pop et al.

21 dec 2004

Preț: 631^.96 lei 789^.94 lei

43-57 zile

-20%

Editat de Henri Habrias et al.

apr 2006

Preț: 925^.87 lei 1396^.34 lei

Indisponibil temporar

-34%

Mobility in Process Calculi and Natural Computing

Natural Computing Series

Autor Bogdan Aman et al.

4 noi 2011

Preț: 623^.07 lei 778^.83 lei

43-57 zile

-20%

Invariant Methods in Discrete and Computational Geometry: Proceedings of the Curaçao Conference, 13–17 June, 1994

Editat de Neil L. White

31 iul 1995

Preț: 629^.08 lei 786^.35 lei

43-57 zile

-20%

Natural Computing Series

Editat de Susan Stepney et al.

6 aug 2018

Preț: 629^.08 lei 786^.35 lei

43-57 zile

-20%

Growth and Development of Computer Aided Innovation: Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009, Proceedings

IFIP Advances in Information and Communication Technology, nr. 304

Editat de Runhua Tan et al.

29 iul 2009

Preț: 627^.33 lei 784^.16 lei

43-57 zile

-20%

Studies in Fuzziness and Soft Computing, nr. 196

Autor James J. Buckley

21 feb 2006

Preț: 624^.51 lei 780^.63 lei

43-57 zile

-20%

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Texts in Theoretical Computer Science. An EATCS Series

Autor Juraj Hromkovič

18 sep 2003

Preț: 627^.03 lei 783^.78 lei

43-57 zile

-20%

Search Theory: A Game Theoretic Perspective

Editat de Steve Alpern et al.

4 mai 2013

Preț: 627^.33 lei 784^.16 lei

43-57 zile

-20%

Modelling and Reasoning with Vague Concepts

Studies in Computational Intelligence, nr. 12

Autor Jonathan Lawry

11 ian 2006

Preț: 625^.58 lei 781^.98 lei

43-57 zile

-20%

IFIP Advances in Information and Communication Technology, nr. 290

Editat de Mauricio Papa et al.

16 oct 2008

Preț: 626^.71 lei 783^.38 lei

43-57 zile

-20%

Progress in Theoretical Computer Science

Autor Peter O'Hearn et al.

dec 1996

Preț: 627^.97 lei 784^.96 lei

43-57 zile

-20%

Dynamics and Change in Organizations: Studies in Organizational Semiotics

Editat de H.W. Gazendam et al.

31 iul 2003

Preț: 627^.33 lei 784^.16 lei

43-57 zile

-20%

Soft Real-Time Systems: Predictability vs. Efficiency: Predictability vs. Efficiency

Series in Computer Science

Autor Giorgio C. Buttazzo et al.

6 mai 2005

Preț: 623^.52 lei 779^.40 lei

43-57 zile

-20%

The Graph Isomorphism Problem: Its Structural Complexity

Progress in Theoretical Computer Science

Autor J. Kobler et al.

iul 1993

Preț: 620^.52 lei 775^.66 lei

43-57 zile

-20%

Biologically Inspired Algorithms for Financial Modelling

Natural Computing Series

Autor Anthony Brabazon et al.

16 dec 2005

Preț: 625^.75 lei 782^.19 lei

43-57 zile

-20%

Learning and Geometry: Computational Approaches

Progress in Computer Science and Applied Logic, nr. 14

Editat de David Kueker et al.

dec 1995

Preț: 662^.12 lei 827^.64 lei

38-44 zile

-20%

Editat de Gerard Huet et al.

25 sep 1991

Preț: 620^.36 lei 775^.45 lei

43-57 zile

-20%

Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing: An Evolutionary Approach for Neural Networks and Fuzzy Systems

Studies in Fuzziness and Soft Computing, nr. 172

Autor Patricia Melin et al.

8 mar 2005

Preț: 626^.57 lei 783^.22 lei

43-57 zile

-20%

Rule-Based Evolutionary Online Learning Systems: A Principled Approach to LCS Analysis and Design

Studies in Fuzziness and Soft Computing, nr. 191

Autor Martin V. Butz

24 noi 2005

Preț: 626^.38 lei 782^.98 lei

43-57 zile

-20%

Editat de Ajith Abraham et al.

6 sep 2006

Preț: 628^.77 lei 785^.96 lei

43-57 zile

-20%

Autor Teck Kiang Tan

20 noi 2017

Preț: 626^.07 lei 782^.59 lei

43-57 zile

-20%

The Optimal Implementation of Functional Programming Languages

Cambridge Tracts in Theoretical Computer Science, nr. 45

Autor Andrea Asperti et al.

2 dec 1998

Preț: 620^.03 lei 775^.05 lei

43-57 zile

-20%

Variation Principle in Informational Macrodynamics

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

Autor Vladimir S. Lerner

31 mai 2003

Preț: 627^.65 lei 784^.56 lei

43-57 zile

-20%

Formal Methods for Embedded Distributed Systems: How to master the complexity

Editat de Fabrice Kordon et al.

15 sep 1991

Preț: 626^.38 lei 782^.98 lei

43-57 zile

-20%

Software Configuration Management Using Vesta

Monographs in Computer Science

Autor Clark Allan Heydon et al.

28 feb 2006

Preț: 623^.52 lei 779^.40 lei

43-57 zile

-20%

Business Component-Based Software Engineering

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

Editat de Franck Barbier

31 oct 2002

Preț: 626^.57 lei 783^.22 lei

43-57 zile

-20%

Autor William B. Langdon et al.

14 feb 2002

Preț: 624^.19 lei 780^.23 lei

43-57 zile

-20%

Beyond Planar Graphs: Communications of NII Shonan Meetings

Editat de Seok-Hee Hong et al.

oct 2020

Preț: 625^.75 lei 782^.19 lei

43-57 zile

-20%

Progress in Theoretical Computer Science

Autor G. Zhang

1991

Preț: 625^.58 lei 781^.98 lei

43-57 zile

-20%

Applications of Data Mining in Computer Security

Advances in Information Security, nr. 6

Editat de Daniel Barbará et al.

31 mai 2002

Preț: 624^.19 lei 780^.23 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

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