Filtre: Paperback

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

865-960 din 2,366 rezultate

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7998

Editat de Sandrine Blazy et al.

19 iul 2013

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Lecture Notes in Computer Science, nr. 8050

Editat de Zhiming Liu et al.

19 iul 2013

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

6-8 săpt.

-20%

Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7952

Editat de Chengan Guo et al.

15 iul 2013

Preț: 337^.81 lei 422^.26 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8049

Editat de Zhiming Liu et al.

15 iul 2013

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

6-8 săpt.

-20%

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8044

Editat de Natasha Sharygina et al.

14 iul 2013

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

6-8 săpt.

-20%

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

Editat de Brian Marcus et al.

13 iul 2013

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Lecture Notes in Computer Science, nr. 8036

Editat de Glyn Morrill et al.

11 iul 2013

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

6-8 săpt.

-20%

Distributed Algorithms for Message-Passing Systems

Autor Michel Raynal

30 iul 2015

Preț: 413^.02 lei 516^.27 lei

6-8 săpt.

-20%

Using Event-B for Critical Device Software Systems

Autor Neeraj Kumar Singh

7 iul 2015

Preț: 649^.13 lei 811^.41 lei

38-44 zile

-20%

Mathematik für Informatiker: Band 1: Diskrete Mathematik und Lineare Algebra

eXamen.press

Autor Gerald Teschl et al.

iul 2013

Preț: 416^.83 lei 521^.03 lei

6-8 săpt.

-20%

First-Order Logic and Automated Theorem Proving

Texts in Computer Science

Autor Melvin Fitting

26 iun 2013

Preț: 570^.58 lei 713^.23 lei

6-8 săpt.

-20%

Statistical and Soft Computing Approaches in Insurance Problems

Editat de Sancho Salcedo-Sanz et al.

18 iun 2013

Preț: 436^.26 lei 745^.33 lei

Indisponibil temporar

-41%

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7927

Editat de Jose-Manuel Colom et al.

6 iun 2013

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

6-8 săpt.

-20%

Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Lecture Notes in Computer Science, nr. 7842

Editat de Fabrizio Riguzzi et al.

6 iun 2013

Preț: 291^.77 lei 364^.71 lei

6-8 săpt.

-20%

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7935

Editat de Francesco Logozzo et al.

6 iun 2013

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7941

Editat de Masahito Hasegawa

6 iun 2013

Preț: 411^.19 lei 513^.99 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7956

Editat de Giancarlo Mauri et al.

6 iun 2013

Preț: 291^.63 lei 364^.54 lei

6-8 săpt.

-20%

Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7907

Editat de Marie-Pierre Beal et al.

24 mai 2013

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

6-8 săpt.

-20%

Design Science at the Intersection of Physical and Virtual Design: 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings

Lecture Notes in Computer Science, nr. 7939

Editat de Jan vom Brocke et al.

24 mai 2013

Preț: 331^.62 lei 414^.53 lei

6-8 săpt.

-20%

Stochastic Networked Control Systems: Stabilization and Optimization under Information Constraints

Systems & Control: Foundations & Applications

Autor Serdar Yüksel et al.

15 iun 2015

Preț: 958^.31 lei 1197^.89 lei

6-8 săpt.

-20%

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 7860

Editat de Bob Coecke et al.

16 mai 2013

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7876

Editat de T-H. Hubert Chan et al.

16 mai 2013

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

6-8 săpt.

-20%

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7892

Editat de Dirk Beyer et al.

16 mai 2013

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Natural and Artificial Computation in Engineering and Medical Applications: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Lecture Notes in Computer Science, nr. 7931

Editat de Jose Manuel Ferrandez Vicente et al.

16 mai 2013

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Natural and Artificial Models in Computation and Biology: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

Lecture Notes in Computer Science, nr. 7930

Editat de Jose Manuel Ferrandez Vicente et al.

16 mai 2013

Preț: 327^.67 lei 409^.59 lei

6-8 săpt.

-20%

Performance Analysis and Modeling of Digital Transmission Systems

Information Technology: Transmission, Processing and Storage

Autor William Turin

8 mai 2013

Preț: 333^.06 lei 416^.32 lei

6-8 săpt.

-20%

Search Theory: A Game Theoretic Perspective

Editat de Steve Alpern et al.

17 iun 2015

Preț: 621^.32 lei 776^.66 lei

6-8 săpt.

-20%

Advances in Interdisciplinary Mathematical Research: Applications to Engineering, Physical and Life Sciences

Springer Proceedings in Mathematics & Statistics, nr. 37

Editat de Bourama Toni

20 mai 2015

Preț: 566^.13 lei 707^.67 lei

6-8 săpt.

-20%

Understanding Behavioral Synthesis: A Practical Guide to High-Level Design

Autor John P. Elliott

19 apr 2013

Preț: 954^.69 lei 1193^.36 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7841

Editat de Narciso Martí Oliet et al.

13 apr 2013

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

6-8 săpt.

-20%

Elementare Kombinatorik für die Informatik: Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren

Autor Kurt-Ulrich Witt

13 apr 2013

Preț: 175^.11 lei 218^.89 lei

6-8 săpt.

-20%

Programming Logics: Essays in Memory of Harald Ganzinger

Lecture Notes in Computer Science, nr. 7797

Editat de Andrei Voronkov et al.

3 apr 2013

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7795

Editat de Nir Piterman et al.

20 feb 2013

Preț: 337^.48 lei 421^.86 lei

6-8 săpt.

-20%

Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7762

Editat de Erzsebet Csuhaj-Varju et al.

20 feb 2013

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Graph Drawing: 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7704

Editat de Walter Didimo et al.

20 feb 2013

Preț: 334^.18 lei 417^.72 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7810

Editat de Adrian-Horia Dediu et al.

20 feb 2013

Preț: 333^.87 lei 417^.33 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7794

Editat de Frank Pfenning

20 feb 2013

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

6-8 săpt.

-20%

The Design of Innovation: Lessons from and for Competent Genetic Algorithms

Genetic Algorithms and Evolutionary Computation, nr. 7

Autor David E. Goldberg

6 ian 2013

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Modern Probabilistic Methods for Analysis of Telecommunication Networks: Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

Communications in Computer and Information Science, nr. 356

Editat de Alexander Dudin et al.

2 ian 2013

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Concurrent Programming: Algorithms, Principles, and Foundations

Autor Michel Raynal

29 ian 2015

Preț: 413^.65 lei 517^.07 lei

6-8 săpt.

-20%

Analyzing Evolutionary Algorithms: The Computer Science Perspective

Natural Computing Series

Autor Thomas Jansen

29 ian 2015

Preț: 336^.63 lei 420^.79 lei

38-44 zile

-20%

Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7643

Editat de W. F. Symth et al.

5 dec 2012

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Quantum Interaction: 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7620

Editat de Jerome R. Busemeyer et al.

22 noi 2012

Preț: 290^.33 lei 362^.91 lei

6-8 săpt.

-20%

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Undergraduate Topics in Computer Science

Autor Gerard O’Regan

11 ian 2020

Preț: 356^.13 lei 445^.17 lei

6-8 săpt.

-20%

Lineare Algebra für die Informatik: Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen

Autor Kurt-Ulrich Witt

16 noi 2012

Preț: 163^.95 lei 264^.28 lei

Indisponibil temporar

-38%

Muster des Lebendigen: Faszination ihrer Entstehung und Simulation

Autor Andreas Deutsch

16 noi 2012

Preț: 346^.14 lei 432^.68 lei

6-8 săpt.

-20%

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

Autor Louis C. Westphal

10 noi 2012

Preț: 1945^.70 lei 2432^.12 lei

38-44 zile

-20%

Advances in Evolutionary Computing: Theory and Applications

Natural Computing Series

Editat de Ashish Ghosh et al.

6 noi 2012

Preț: 1022^.61 lei 1278^.26 lei

38-44 zile

-20%

Information Systems Development: Advances in Methodologies, Components, and Management

Editat de Marite Kirikova et al.

5 noi 2012

Preț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

Formel, Farbe, Form: Computerästhetik für Medien und Design

Autor Georg Nees

23 oct 2012

Preț: 531^.76 lei 664^.69 lei

6-8 săpt.

-20%

The Complexity of Valued Constraint Satisfaction Problems

Cognitive Technologies

Autor Stanislav Živný

9 noi 2014

Preț: 633^.94 lei 792^.43 lei

38-44 zile

-20%

Monographs in Theoretical Computer Science. An EATCS Series

Autor Carlo A. Furia et al.

9 noi 2014

Preț: 345^.19 lei 431^.48 lei

38-44 zile

-20%

Progress in Computer Science and Applied Logic, nr. 18

Autor Gary D. Knott

15 oct 2012

Preț: 564^.08 lei 705^.11 lei

6-8 săpt.

-20%

Mathematical Computation with Maple V: Ideas and Applications: Proceedings of the Maple Summer Workshop and Symposium, University of Michigan, Ann Arbor, June 28–30, 1993

Editat de Thomas Lee

14 oct 2012

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

6-8 săpt.

-20%

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

Autor Richard Zippel

8 oct 2012

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

6-8 săpt.

-20%

Ordnungen, Verbände und Relationen mit Anwendungen

Autor Rudolf Berghammer

5 oct 2012

Preț: 241^.37 lei 301^.71 lei

6-8 săpt.

-20%

Loewy Decomposition of Linear Differential Equations

Texts & Monographs in Symbolic Computation

Autor Fritz Schwarz

15 oct 2014

Preț: 639^.78 lei 799^.73 lei

38-44 zile

-20%

Computational Intelligence and Intelligent Systems: 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

Communications in Computer and Information Science, nr. 316

Editat de Zhenhua Li et al.

27 sep 2012

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

6-8 săpt.

-20%

Mathematics of Discrete Structures for Computer Science

Autor Gordon J. Pace

15 oct 2014

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

6-8 săpt.

-20%

A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

Series in Computer Science

Autor Ian N. Dunn et al.

5 sep 2012

Preț: 612^.45 lei 765^.57 lei

6-8 săpt.

-20%

Bridging Mathematics, Statistics, Engineering and Technology: Contributions from the Fall 2011 Seminar on Mathematical Sciences and Applications

Springer Proceedings in Mathematics & Statistics, nr. 24

Editat de Bourama Toni et al.

15 oct 2014

Preț: 614^.34 lei 767^.93 lei

6-8 săpt.

-20%

Information Science and Statistics

Autor Günther Palm

4 ian 2024

Preț: 856^.45 lei 1044^.45 lei

6-8 săpt.

-18%

Uncertainty Quantification in Scientific Computing: 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

IFIP Advances in Information and Communication Technology, nr. 377

Editat de Andrew Dienstfrey et al.

20 sep 2014

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Information from Processes: About the Nature of Information Creation, Use, and Representation

Autor Robert M. Losee

20 sep 2014

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Universal Algebra for Computer Scientists

Monographs in Theoretical Computer Science. An EATCS Series, nr. 25

Autor Wolfgang Wechler

aug 2012

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

6-8 săpt.

-20%

Global Engineering, Manufacturing and Enterprise Networks: IFIP TC5 WG5.3/5.7/5.12 Fourth International Working Conference on the Design of Information Infrastructure Systems for Manufacturing (DIISM 2000). November 15–17, 2000, Melbourne, Victoria, Australia

IFIP Advances in Information and Communication Technology, nr. 63

Editat de John P.T. Mo et al.

26 iul 2012

Preț: 1232^.57 lei 1540^.71 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7381

Editat de Nelma Moreira et al.

26 iul 2012

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

6-8 săpt.

-20%

Languages Alive: Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 7300

Editat de Henning Bordihn et al.

25 iul 2012

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

6-8 săpt.

-20%

Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7393

Editat de Thomas Agotnes et al.

18 iul 2012

Preț: 289^.71 lei 362^.14 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7386

Editat de Martin Kutrib et al.

18 iul 2012

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7410

Editat de Hsu-Chun Yen et al.

18 iul 2012

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

6-8 săpt.

-20%

Arithmetic of Finite Fields: 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7369

Editat de Ferruh Özbudak et al.

7 iul 2012

Preț: 290^.65 lei 363^.31 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7433

Editat de Darko Stefanovic et al.

7 iul 2012

Preț: 395^.59 lei 494^.49 lei

6-8 săpt.

-20%

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7406

Editat de Lennart Beringer et al.

6 iul 2012

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

6-8 săpt.

-20%

SpringerBriefs in Computer Science

Autor John O. Long

iul 2012

Preț: 310^.73 lei 388^.41 lei

6-8 săpt.

-20%

Advances in Neural Networks – ISNN 2012: 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part II

Lecture Notes in Computer Science, nr. 7368

Editat de Jun Wang et al.

27 iun 2012

Preț: 338^.61 lei 423^.25 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7362

Editat de Johan Jeuring et al.

27 iun 2012

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Lecture Notes in Computer Science, nr. 7358

Editat de Madhusudan Parthasarathy et al.

27 iun 2012

Preț: 343^.99 lei 429^.98 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7317

Editat de Alessandro Cimatti et al.

22 iun 2012

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

6-8 săpt.

-20%

Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

Lecture Notes in Computer Science, nr. 7175

Editat de Michael Rosner et al.

20 iun 2012

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7364

Editat de Bernhard Gramlich et al.

20 iun 2012

Preț: 335^.29 lei 419^.11 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7342

Editat de Jeremy Gibbons et al.

18 iun 2012

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

6-8 săpt.

-20%

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7347

Editat de Serge Haddad et al.

18 iun 2012

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Autor Mordechai Ben-Ari

17 iun 2012

Preț: 378^.09 lei 472^.62 lei

6-8 săpt.

-20%

Defect and Fault Tolerance in VLSI Systems: Volume 1

Autor Israel Koren

12 iun 2012

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

6-8 săpt.

-20%

Guide to Computational Geometry Processing: Foundations, Algorithms, and Methods

Autor J. Andreas Bærentzen et al.

11 iun 2014

Preț: 376^.67 lei 470^.84 lei

6-8 săpt.

-20%

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Lecture Notes in Computer Science, nr. 7265

Editat de Esra Erdem et al.

6 iun 2012

Preț: 336^.09 lei 420^.11 lei

6-8 săpt.

-20%

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7318

Editat de Barry S. Cooper et al.

6 iun 2012

Preț: 345^.60 lei 432^.00 lei

6-8 săpt.

-20%

Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 7365

Editat de Maritta Heisel

31 mai 2012

Preț: 398^.31 lei 497^.89 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7162

Editat de Edmund Clarke et al.

30 mai 2012

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Theory and Practice of Computation: 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Proceedings in Information and Communications Technology, nr. 7

Editat de Shin-ya Nishizaki et al.

11 iun 2013

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

6-8 săpt.

-20%

Sequences and Their Applications -- SETA 2012: 7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7280

Editat de Tor Helleseth et al.

16 mai 2012

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

6-8 săpt.

-20%

Selected Topics in Algebra: and its Interrelations with Logic, Number Theory and Algebraic Geometry

Mathematics and its Applications, nr. 12

Autor I. Bucur

16 mai 2012

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

6-8 săpt.

-20%

Studienbücher Informatik

Autor Markus Nebel

11 mai 2012

Preț: 138^.74 lei 205^.15 lei

Indisponibil temporar

-32%

Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7287

Editat de Manindra Agrawal et al.

4 mai 2012

Preț: 337^.66 lei 422^.08 lei

6-8 săpt.

-20%

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Autor Jeroen Janssen et al.

11 iun 2014

Preț: 500^.45 lei 625^.56 lei

Indisponibil temporar

-20%

Papetărie, jocuri, reviste

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