Filtre: Paperback

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

1729-1824 din 2,366 rezultate

Fundamentals of Computation Theory: 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings

Lecture Notes in Computer Science, nr. 1684

Editat de Gabriel Ciobanu et al.

18 aug 1999

Preț: 634^.32 lei 792^.91 lei

6-8 săpt.

-20%

Autor Franz Baader et al.

4 aug 1999

Preț: 393^.88 lei 492^.35 lei

6-8 săpt.

-20%

Formal Specification: Techniques and Applications

Autor Nimal Nissanke

27 iul 1999

Preț: 322^.29 lei 402^.86 lei

6-8 săpt.

-20%

Autor Stephan Kaufmann

iul 1999

Preț: 292^.04 lei 365^.05 lei

6-8 săpt.

-20%

Introduction to Circuit Complexity: A Uniform Approach

Texts in Theoretical Computer Science. An EATCS Series

Autor Heribert Vollmer

8 dec 2010

Preț: 483^.48 lei 604^.35 lei

6-8 săpt.

-20%

Evolution and Challenges in System Development

Editat de Joze Zupancic et al.

9 noi 2012

Preț: 1252^.70 lei 1565^.88 lei

6-8 săpt.

-20%

Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS’99)June 28–July 1, 1999, Helsinki, Finland

IFIP Advances in Information and Communication Technology, nr. 15

Editat de Lea Kutvonen et al.

14 ian 2013

Preț: 957^.20 lei 1196^.49 lei

6-8 săpt.

-20%

NATO Science Series E:, nr. 357

Editat de Ahmed Amine Jerraya et al.

30 apr 1999

Preț: 627^.51 lei 784^.38 lei

6-8 săpt.

-20%

Database Security XII: Status and Prospects

IFIP Advances in Information and Communication Technology, nr. 14

Editat de Sushil Jajodia

21 mar 2013

Preț: 949^.94 lei 1187^.42 lei

6-8 săpt.

-20%

NATO ASI Subseries F:, nr. 165

Editat de Ulrich Berger et al.

29 oct 2012

Preț: 956^.44 lei 1195^.55 lei

6-8 săpt.

-20%

Autor Tsutomu Sasao

4 oct 2012

Preț: 952^.76 lei 1190^.95 lei

6-8 săpt.

-20%

Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999

Editat de Felix Redmill et al.

18 feb 1999

Preț: 619^.26 lei 774^.07 lei

6-8 săpt.

-20%

Intelligent Robotic Systems: Design, Planning, and Control

IFSR International Series in Systems Science and Systems Engineering, nr. 14

Autor Witold Jacak

8 mar 2013

Preț: 949^.94 lei 1187^.42 lei

6-8 săpt.

-20%

Stability and Stabilization of Infinite Dimensional Systems with Applications

Communications and Control Engineering

Autor Zheng-Hua Luo et al.

8 oct 2012

Preț: 1227^.95 lei 1534^.94 lei

6-8 săpt.

-20%

Progress in Computer Science and Applied Logic, nr. 16

Autor William Levine et al.

13 iul 2013

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

6-8 săpt.

-20%

Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems

Lecture Notes in Computer Science, nr. 1426

Autor Frederic Geurts

18 dec 1998

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

6-8 săpt.

-20%

Lezioni Lincee

Autor J. F. Traub et al.

9 dec 1998

Preț: 341^.67 lei 427^.08 lei

6-8 săpt.

-20%

Data Refinement: Model-Oriented Proof Methods and their Comparison

Cambridge Tracts in Theoretical Computer Science, nr. 47

Autor Willem-Paul de Roever et al.

17 dec 2008

Preț: 393^.34 lei 491^.67 lei

6-8 săpt.

-20%

Algorithms for VLSI Physical Design Automation

Autor Naveed A. Sherwani

14 mar 2013

Preț: 744^.65 lei 930^.81 lei

6-8 săpt.

-20%

Texts in Computer Science

Autor Neil Immerman

30 sep 2012

Preț: 565^.51 lei 706^.89 lei

6-8 săpt.

-20%

Monographs in Computer Science

Autor Rodney G. Downey et al.

8 oct 2012

Preț: 1562^.27 lei 1952^.83 lei

6-8 săpt.

-20%

Operations Research and Decision Aid Methodologies in Traffic and Transportation Management

NATO ASI Subseries F:, nr. 166

Editat de Martine Labbe et al.

9 dec 2010

Preț: 1225^.27 lei 1531^.59 lei

6-8 săpt.

-20%

Algorithmic Algebra and Number Theory: Selected Papers From a Conference Held at the University of Heidelberg in October 1997

Editat de B. Heinrich Matzat et al.

20 oct 1998

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

6-8 săpt.

-20%

Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Lecture Notes in Computer Science, nr. 1494

Editat de Grzegorz Rozenberg et al.

14 oct 1998

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Autor John C. Reynolds

apr 2009

Preț: 461^.52 lei 576^.89 lei

6-8 săpt.

-20%

The mu-calculus and the hierarchy problem

Publications of the Scuola Normale Superiore

Autor Giacomo Lenzi

oct 1998

Preț: 89^.69 lei 112^.11 lei

3-5 săpt.

-20%

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Lecture Notes in Computer Science, nr. 1428

Autor Jens Knoop

23 sep 1998

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

6-8 săpt.

-20%

Workflow Management Systems and Interoperability

NATO ASI Subseries F:, nr. 164

Editat de Asuman Dogac et al.

8 oct 2012

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

6-8 săpt.

-20%

Parallel Problem Solving from Nature - PPSN V: 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1498

Editat de Agoston E. Eiben et al.

16 sep 1998

Preț: 985^.26 lei 1231^.58 lei

6-8 săpt.

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Gheorghe Paun et al.

7 dec 2010

Preț: 675^.52 lei 844^.40 lei

6-8 săpt.

-20%

An Introduction to C++ and Numerical Methods

Autor James M. Ortega

26 aug 1998

Preț: 1126^.52 lei 1408^.15 lei

6-8 săpt.

-20%

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

Autor Wolfgang Reisig

9 dec 2010

Preț: 347^.83 lei 434^.79 lei

6-8 săpt.

-20%

Programmieren in C++: Einführung in den Sprachstandard

Objekttechnologie

Autor Martin Schader et al.

18 aug 1998

Preț: 238^.33 lei 297^.91 lei

6-8 săpt.

-20%

Advances in Computing Sciences

Editat de Rudolf Albrecht

17 aug 1998

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

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998

Lecture Notes in Computer Science, nr. 1450

Editat de Lubos Brim et al.

12 aug 1998

Preț: 647^.77 lei 809^.72 lei

6-8 săpt.

-20%

Fundamentals of the Theory of Computation: Principles and Practice: Principles and Practice

Autor Raymond Greenlaw et al.

14 iul 1998

Preț: 374^.63 lei 468^.28 lei

3-5 săpt. | 4-10 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 46

Autor Roberto M. Amadio et al.

14 mai 2008

Preț: 412^.15 lei 515^.20 lei

6-8 săpt.

-20%

Computer - Human Interaction in Symbolic Computation

Texts & Monographs in Symbolic Computation

Editat de Norbert Kajler et al.

10 iun 1998

Preț: 617^.52 lei 771^.89 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings

Lecture Notes in Computer Science, nr. 1420

Editat de Jörg Desel et al.

5 iun 1998

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%

Quantifier Elimination and Cylindrical Algebraic Decomposition

Texts & Monographs in Symbolic Computation

Editat de Bob F. Caviness et al.

16 apr 1998

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Refinement Calculus: A Systematic Introduction

Texts in Computer Science

Autor Ralph-Johan Back et al.

13 apr 1998

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

6-8 săpt.

-20%

Nonconvex Optimization and Its Applications, nr. 23

Autor Dietmar Cieslik

7 dec 2010

Preț: 950^.56 lei 1188^.20 lei

6-8 săpt.

-20%

Progress in Computer Science and Applied Logic, nr. 15

Editat de Manuel Bronstein et al.

23 oct 2012

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Informatik und Ausbildung: GI-Fachtagung 98 Informatik und Ausbildung Stuttgart, 30. März–1.April 1998

Informatik aktuell

Editat de Volker Claus

16 mar 1998

Preț: 402^.09 lei 502^.61 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Juan C. Bicarregui

2 mar 1998

Preț: 618^.00 lei 772^.50 lei

6-8 săpt.

-20%

Capacity Building for IT in Education in Developing Countries: IFIP TC3 WG3.1, 3.4 & 3.5 Working Conference on Capacity Building for IT in Education in Developing Countries 19–25 August 1997, Harare, Zimbabwe

IFIP Advances in Information and Communication Technology

Editat de Gail Marshall et al.

31 ian 2013

Preț: 952^.62 lei 1190^.79 lei

6-8 săpt.

-20%

Advanced Techniques for Embedded Systems Design and Test

Editat de Juan C. López et al.

3 dec 2010

Preț: 949^.27 lei 1186^.59 lei

6-8 săpt.

-20%

Lectures on Proof Verification and Approximation Algorithms

Lecture Notes in Computer Science, nr. 1367

Editat de Ernst W. Mayr et al.

25 feb 1998

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-20%

Algorithms and Computation in Mathematics, nr. 3

Apendix de A.J. Menezes et al.

21 oct 2010

Preț: 1109^.08 lei 1386^.35 lei

6-8 săpt.

-20%

System Level Hardware/Software Co-Design: An Industrial Approach

Autor Joris van den Hurk et al.

3 dec 2010

Preț: 946^.13 lei 1182^.66 lei

6-8 săpt.

-20%

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion

Progress in Theoretical Computer Science

Autor Franck van Breughel

26 sep 2011

Preț: 618^.14 lei 772^.67 lei

6-8 săpt.

-20%

Solving Higher-Order Equations: From Logic to Programming

Progress in Theoretical Computer Science

Autor Christian Prehofer

21 oct 2012

Preț: 616^.08 lei 770^.11 lei

6-8 săpt.

-20%

Incomplete Information: Rough Set Analysis

Studies in Fuzziness and Soft Computing, nr. 13

Editat de Ewa Orlowska

21 oct 2010

Preț: 964^.33 lei 1205^.42 lei

6-8 săpt.

-20%

Algorithmic Foundations of Geographic Information Systems

Lecture Notes in Computer Science, nr. 1340

Editat de Marc van Kreveld et al.

12 noi 1997

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Autor Lenore Blum et al.

10 oct 2012

Preț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

Formal Methods in Human-Computer Interaction

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Philippe Palanque et al.

29 oct 1997

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Informatik ’97 Informatik als Innovationsmotor: 27. Jahrestagung der Gesellschaft für Informatik Aachen, 24.–26. September 1997

Informatik aktuell

Editat de Matthias Jarke et al.

17 sep 1997

Preț: 418^.76 lei 523^.45 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 42

Autor J. Roger Hindley

20 ian 2008

Preț: 283^.47 lei 354^.33 lei

6-8 săpt.

-20%

Information Flow: The Logic of Distributed Systems

Cambridge Tracts in Theoretical Computer Science, nr. 44

Autor Jon Barwise et al.

27 aug 2008

Preț: 391^.37 lei 489^.22 lei

6-8 săpt.

-20%

NATO ASI Subseries F:, nr. 157

Editat de Helmut Schwichtenberg

13 oct 2012

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

6-8 săpt.

-20%

A Theory and Practice of Program Development

Formal Approaches to Computing and Information Technology (FACIT)

Autor Derek J. Andrews

4 iul 1997

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Editat de Jean-Claude Baron et al.

7 dec 2010

Preț: 1224^.33 lei 1530^.41 lei

6-8 săpt.

-20%

Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1256

Editat de Pierpaolo Degano et al.

18 iun 1997

Preț: 648^.26 lei 810^.33 lei

6-8 săpt.

-20%

Applied Optimization, nr. 7

Editat de A. Migdalas et al.

13 oct 2011

Preț: 1838^.57 lei 2298^.21 lei

6-8 săpt.

-20%

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

Autor Paris Christos Kanellakis et al.

dec 2010

Preț: 616^.72 lei 770^.90 lei

6-8 săpt.

-20%

Autor Nicholas Pippenger

9 iun 2010

Preț: 322^.80 lei 403^.50 lei

6-8 săpt.

-20%

Data Structures for Computational Statistics

Contributions to Statistics

Autor Sigbert Klinke

20 mai 1997

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

6-8 săpt.

-20%

Biological and Artificial Computation: From Neuroscience to Technology: International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings

Lecture Notes in Computer Science, nr. 1240

Editat de Jose Mira et al.

14 mai 1997

Preț: 452^.24 lei 565^.30 lei

38-44 zile

-20%

Undergraduate Texts in Computer Science

Autor Dexter C. Kozen

13 oct 2012

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Management Training in High-Tech and R&D: Concept for Enterprises under Transition

NATO Science Partnership Subseries: 4, nr. 12

Editat de C.M. Rob Verkoeyen et al.

15 dec 2010

Preț: 616^.39 lei 770^.50 lei

6-8 săpt.

-20%

Current Issues in Electronic Modeling, nr. 9

Editat de Jean-Michel Bergé et al.

12 oct 2012

Preț: 1216^.22 lei 1520^.27 lei

6-8 săpt.

-20%

Conditional Monte Carlo: Gradient Estimation and Optimization Applications

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

Autor Michael C. Fu et al.

8 oct 2012

Preț: 1227^.95 lei 1534^.94 lei

6-8 săpt.

-20%

Editat de Ronald C. Arkin et al.

6 dec 2010

Preț: 940^.59 lei 1175^.75 lei

38-44 zile

-20%

Handbook of Formal Languages: Volume 3 Beyond Words

Editat de Grzegorz Rozenberg et al.

29 oct 2012

Preț: 336^.41 lei 420^.51 lei

6-8 săpt.

-20%

Algorithms and Complexity: Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1203

Editat de Giancarlo Bongiovanni et al.

26 feb 1997

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

6-8 săpt.

-20%

ACRI ’96: Proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16–18 October 1996

Concept copertă de L. Moroni et al.

4 feb 1997

Preț: 315^.62 lei 394^.52 lei

6-8 săpt.

-20%

Finite Fields: Normal Bases and Completely Free Elements

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

Autor Dirk Hachenberger

8 oct 2012

Preț: 943^.57 lei 1179^.46 lei

6-8 săpt.

-20%

Publications of the Newton Institute, nr. 14

Editat de Andrew M. Pitts et al.

19 aug 2009

Preț: 307^.69 lei 384^.62 lei

6-8 săpt.

-20%

Mathematics and Its Applications, nr. 390

Autor W.D. Wallis

8 dec 2010

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Intelligent Unmanned Ground Vehicles: Autonomous Navigation Research at Carnegie Mellon

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

Editat de Martial H. Hebert et al.

12 oct 2012

Preț: 1223^.38 lei 1529^.22 lei

6-8 săpt.

-20%

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

Editat de Christoph Grimm

7 dec 2010

Preț: 952^.00 lei 1190^.00 lei

6-8 săpt.

-20%

Stable Marriage and Its Relation to Other Combinatorial Problems

CRM Proceedings & Lecture Notes, nr. 10

Autor Donald E Knuth

4 dec 1996

Preț: 151^.34 lei 257^.38 lei

Indisponibil temporar

-41%

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Lecture Notes in Computer Science, nr. 1181

Editat de Dines Bjørner et al.

4 dec 1996

Preț: 327^.99 lei 409^.99 lei

6-8 săpt.

-20%

Progress in Theoretical Computer Science

Autor Peter O'Hearn et al.

dec 1996

Preț: 650^.42 lei 813^.02 lei

38-44 zile

-20%

Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1180

Editat de Vijay Chandru et al.

27 noi 1996

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

6-8 săpt.

-20%

Algorithms and Computation: 7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1178

Editat de Tetsuo Asano et al.

27 noi 1996

Preț: 327^.84 lei 409^.80 lei

6-8 săpt.

-20%

Formal Systems Specification: The RPC-Memory Specification Case Study

Lecture Notes in Computer Science, nr. 1169

Editat de Manfred Broy et al.

6 noi 1996

Preț: 332^.74 lei 415^.93 lei

6-8 săpt.

-20%

SOFSEM '96: Theory and Practice of Informatics: 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1175

Editat de Keith G. Jeffery et al.

6 noi 1996

Preț: 330^.23 lei 412^.79 lei

6-8 săpt.

-20%

Current Issues in Electronic Modeling, nr. 7

Editat de Jean-Michel Bergé et al.

26 sep 2011

Preț: 1216^.22 lei 1520^.27 lei

6-8 săpt.

-20%

J.S. Devitt et al.

30 oct 1996

Preț: 410^.19 lei 512^.74 lei

6-8 săpt.

-20%

Advances in Cryptology - ASIACRYPT '96: International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings

Lecture Notes in Computer Science, nr. 1163

Editat de Kwangjo Kim et al.

16 oct 1996

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

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Lecture Notes in Computer Science, nr. 1158

Editat de Stefano Berardi et al.

2 oct 1996

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

6-8 săpt.

-20%

Editat de Vladimir Tonchev

27 sep 2011

Preț: 940^.57 lei 1175^.71 lei

6-8 săpt.

-20%

Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1151

Editat de Özalp Babaoglu et al.

25 sep 1996

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%

Applied Computational Geometry. Towards Geometric Engineering: FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers

Lecture Notes in Computer Science, nr. 1148

Editat de Ming C. Lin et al.

25 sep 1996

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers

Lecture Notes in Computer Science, nr. 1130

Editat de Magne Haveraaen et al.

4 sep 1996

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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