Filtre: Paperback

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

769-864 din 2,366 rezultate

Morphological Modeling of Terrains and Volume Data

SpringerBriefs in Computer Science

Autor Lidija Čomić et al.

28 oct 2014

Preț: 323^.08 lei 403^.85 lei

38-44 zile

-20%

Algorithmic Differentiation of Pragma-Defined Parallel Regions: Differentiating Computer Programs Containing OpenMP

Autor Michael Förster

23 oct 2014

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8812

Editat de Gerson Zaverucha et al.

7 oct 2014

Preț: 258^.41 lei 323^.01 lei

6-8 săpt.

-20%

Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8822

Editat de Frank Ortmeier et al.

2 oct 2014

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Algebraische und zahlentheoretische Grundlagen für die Informatik: Gruppen, Ringe, Körper, Primzahltests, Verschlüsselung

Autor Kurt-Ulrich Witt

2 oct 2014

Preț: 177^.13 lei 221^.42 lei

6-8 săpt.

-20%

Process Design for Natural Scientists: An Agile Model-Driven Approach

Communications in Computer and Information Science, nr. 500

Editat de Anna-Lena Lamprecht et al.

2 oct 2014

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

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8696

Editat de Andrea Bondavalli et al.

23 sep 2014

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

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8687

Editat de Gabriel Ciobanu et al.

23 sep 2014

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8762

Editat de Joel Ouaknine et al.

23 sep 2014

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8727

Editat de Satoshi Murata et al.

8 sep 2014

Preț: 259^.19 lei 323^.98 lei

6-8 săpt.

-20%

Cellular Automata: 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8751

Editat de Jaroslaw Was et al.

5 sep 2014

Preț: 340^.35 lei 425^.44 lei

6-8 săpt.

-20%

Theoretische Informatik: Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie

Autor Juraj Hromkovič

4 sep 2014

Preț: 407^.64 lei 509^.55 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8446

Editat de Marcello M. Bonsangue

sep 2014

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication

Symbolic Computation

Autor Roland Hausser et al.

23 aug 2014

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

6-8 săpt.

-20%

Solving the Dynamic Complexity Dilemma: Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm

Autor Nabil Abu el Ata et al.

23 aug 2016

Preț: 457^.08 lei 571^.35 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8666

Editat de Andrea Bondavalli et al.

20 aug 2014

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

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8657

Editat de Gethin Norman et al.

20 aug 2014

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8723

Editat de Markus Müller-Olm et al.

20 aug 2014

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

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8656

Editat de Barry O'Sullivan

19 aug 2014

Preț: 652^.56 lei 815^.69 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8711

Editat de Axel Legay et al.

19 aug 2014

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

6-8 săpt.

-20%

Mathematics and Computing 2013: International Conference in Haldia, India

Springer Proceedings in Mathematics & Statistics, nr. 91

Editat de Ram N. Mohapatra et al.

11 sep 2016

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

6-8 săpt.

-20%

CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8704

Editat de Paolo Baldan et al.

6 aug 2014

Preț: 334^.98 lei 418^.71 lei

6-8 săpt.

-20%

Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8612

Editat de Glyn Morrill et al.

5 aug 2014

Preț: 315^.80 lei 394^.74 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8587

Editat de Markus Holzer et al.

4 aug 2014

Preț: 322^.74 lei 403^.43 lei

6-8 săpt.

-20%

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8559

Editat de Armin Biere et al.

4 aug 2014

Preț: 649^.69 lei 812^.12 lei

6-8 săpt.

-20%

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8571

Editat de Holger Giese et al.

4 aug 2014

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

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8561

Editat de Carsten Sinz et al.

4 aug 2014

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

6-8 săpt.

-20%

Developments in Language Theory: 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8633

Editat de Arseny M. Shur et al.

4 aug 2014

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8558

Editat de Gerwin Klein et al.

aug 2014

Preț: 333^.22 lei 416^.53 lei

6-8 săpt.

-20%

Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8705

Editat de Josep Diaz et al.

aug 2014

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

6-8 săpt.

-20%

Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8667

Editat de Marco Dorigo et al.

31 iul 2014

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

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8553

Editat de Oscar H. Ibarra et al.

25 iul 2014

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8652

Editat de Ulrich Kohlenbach et al.

24 iul 2014

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

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8614

Editat de Helmut Jürgensen et al.

21 iul 2014

Preț: 323^.73 lei 404^.66 lei

6-8 săpt.

-20%

Editat de Volodymyr Kindratenko

17 sep 2016

Preț: 954^.37 lei 1192^.96 lei

6-8 săpt.

-20%

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8560

Editat de Gilles Dowek

15 iul 2014

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

6-8 săpt.

-20%

Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8592

Editat de Hoon Hong et al.

15 iul 2014

Preț: 342^.11 lei 427^.64 lei

6-8 săpt.

-20%

Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Lecture Notes in Computer Science, nr. 8607

Editat de Margot Colinet et al.

14 iul 2014

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Autor King Sing Cheung

10 sep 2016

Preț: 326^.58 lei 408^.22 lei

38-44 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.

23 aug 2016

Preț: 626^.25 lei 782^.82 lei

6-8 săpt.

-20%

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Communications in Computer and Information Science, nr. 433

Editat de Frederic Boniol et al.

26 mai 2014

Preț: 314^.04 lei 392^.55 lei

6-8 săpt.

-20%

Human Aspects of Information Security, Privacy, and Trust

Editat de Theo Tryfonas et al.

23 mai 2014

Preț: 329^.95 lei 412^.43 lei

6-8 săpt.

-20%

Storing and Transmitting Data: Rudolf Ahlswede’s Lectures on Information Theory 1

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

Autor Rudolf Ahlswede et al.

3 sep 2016

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

6-8 săpt.

-20%

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Communications in Computer and Information Science, nr. 476

Editat de Cyrille Artho et al.

23 apr 2015

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Einführung in die Theorie der kognitiven Kommunikation: Wie Sprache, Information, Energie, Internet, Gehirn und Geist zusammenhängen

Autor Werner Rupprecht

17 apr 2014

Preț: 688^.84 lei 861^.05 lei

6-8 săpt.

-20%

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8428

Editat de Peter Höfner et al.

10 apr 2014

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

6-8 săpt.

-20%

EXCEL in der Wirtschaftsmathematik: Anwendung von Tabellenkalkulationsprogrammen für Studenten, Dozenten und Praktiker

Autor Hans Benker

7 apr 2014

Preț: 242^.14 lei 302^.67 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8368

Editat de Steve Counsell et al.

apr 2014

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

6-8 săpt.

-20%

Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8402

Editat de T V Gopal et al.

apr 2014

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

6-8 săpt.

-20%

Theory of Quantum Computation, Communication, and Cryptography: 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6745

Editat de Dave Bacon et al.

19 mar 2014

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8412

Editat de Anca Muscholl

18 mar 2014

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

6-8 săpt.

-20%

Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Lecture Notes in Computer Science, nr. 8222

Editat de Claudia Casadio et al.

17 mar 2014

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Methoden zur numerischen Simulation der Progression von Gliomen: Modellentwicklung, Numerik und Parameteridentifikation

Aktuelle Forschung Medizintechnik – Latest Research in Medical Engineering

Autor Andreas Mang

12 mar 2014

Preț: 369^.35 lei 461^.69 lei

6-8 săpt.

-20%

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8332

Editat de Shaoying Liu et al.

11 mar 2014

Preț: 315^.31 lei 394^.14 lei

6-8 săpt.

-20%

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8415

Editat de Saddek Bensalem et al.

11 mar 2014

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

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8413

Editat de Erika Abraham et al.

11 mar 2014

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

6-8 săpt.

-20%

Algebraic and Algorithmic Aspects of Differential and Integral Operators: 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Lecture Notes in Computer Science, nr. 8372

Editat de Moulay Barkatou et al.

10 mar 2014

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Autor Alexander Meduna et al.

3 sep 2016

Preț: 684^.73 lei 855^.91 lei

38-44 zile

-20%

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Lecture Notes in Computer Science, nr. 8373

Editat de Shusaku Iida et al.

25 feb 2014

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

6-8 săpt.

-20%

Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen

Autor Rudolf Berghammer

20 ian 2014

Preț: 264^.60 lei 330^.75 lei

6-8 săpt.

-20%

Algebraic Approaches to Program Semantics

Monographs in Computer Science

Autor Ernest G. Manes et al.

17 ian 2014

Preț: 569^.50 lei 711^.87 lei

6-8 săpt.

-20%

Information Security and Cryptography

Autor Benny Applebaum

23 aug 2016

Preț: 331^.15 lei 413^.93 lei

38-44 zile

-20%

Theory and Principled Methods for the Design of Metaheuristics

Natural Computing Series

Editat de Yossi Borenstein et al.

23 aug 2016

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

6-8 săpt.

-20%

Autor Bruno Berstel-Da Silva

17 aug 2016

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010

Autor Richard J. Lipton et al.

23 aug 2016

Preț: 295^.09 lei 368^.86 lei

6-8 săpt.

-20%

Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information

Monographs in Theoretical Computer Science. An EATCS Series

Autor Ferdinando Cicalese

23 aug 2016

Preț: 332^.13 lei 415^.17 lei

38-44 zile

-20%

Cognitive Technologies

Autor Dov M. Gabbay

23 aug 2016

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

6-8 săpt.

-20%

Autor Sabine Dombrowski

20 noi 2013

Preț: 349^.45 lei 436^.82 lei

6-8 săpt.

-20%

Autor Louchka Popova-Zeugmann

23 aug 2016

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Pattern Recognition and Machine Intelligence: 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8251

Editat de Pradipta Maji et al.

13 noi 2013

Preț: 343^.23 lei 429^.04 lei

6-8 săpt.

-20%

Concise Computer Mathematics: Tutorials on Theory and Problems

SpringerBriefs in Computer Science

Autor Ovidiu Bagdasar

12 noi 2013

Preț: 387^.81 lei 484^.76 lei

3-5 săpt. | 5-11 zile

-20%

The Structure of the Relational Database Model

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

Autor Jan Paredaens et al.

3 oct 2013

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

6-8 săpt.

-20%

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

Autor John Derrick et al.

23 aug 2015

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

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8141

Editat de David Soloveichik et al.

21 aug 2013

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Combinatorics on Words: 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8079

Editat de Juhani Karhumäki et al.

21 aug 2013

Preț: 411^.81 lei 514^.76 lei

6-8 săpt.

-20%

Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8080

Editat de Traian Muntean et al.

21 aug 2013

Preț: 412^.44 lei 515^.55 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8155

Editat de Jarkko Kari et al.

21 aug 2013

Preț: 287^.82 lei 359^.77 lei

6-8 săpt.

-20%

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7787

Editat de Shaoying Liu

14 aug 2013

Preț: 285^.90 lei 357^.38 lei

6-8 săpt.

-20%

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Atlantis Studies in Computing, nr. 3

Autor Fabio Mogavero

9 aug 2015

Preț: 313^.74 lei 392^.17 lei

3-5 săpt.

-20%

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8071

Editat de Leonid Libkin et al.

8 aug 2013

Preț: 292^.40 lei 365^.50 lei

6-8 săpt.

-20%

Geometric Science of Information: First International Conference, GSI 2013, Paris, France, August 28-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8085

Editat de Frank Nielsen et al.

8 aug 2013

Preț: 348^.30 lei 435^.36 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8070

Editat de Leszek Gąsieniec et al.

8 aug 2013

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

6-8 săpt.

-20%

Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8089

Editat de Reiko Heckel et al.

8 aug 2013

Preț: 323^.23 lei 404^.04 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8053

Editat de Víctor Braberman et al.

8 aug 2013

Preț: 292^.88 lei 366^.11 lei

6-8 săpt.

-20%

Autor Qi-Ming He

19 aug 2015

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8054

Editat de Kaustubh Joshi et al.

7 aug 2013

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

6-8 săpt.

-20%

CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8052

Editat de Pedro R. D'Argenio et al.

6 aug 2013

Preț: 333^.54 lei 416^.93 lei

6-8 săpt.

-20%

UNITEXT, nr. 68

Autor Aldo de Luca et al.

aug 2013

Preț: 294^.32 lei 367^.90 lei

6-8 săpt.

-20%

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 8051

Editat de Zhiming Liu et al.

31 iul 2013

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Modelling Computing Systems: Mathematics for Computer Science

Undergraduate Topics in Computer Science

Autor Faron Moller et al.

24 iul 2013

Preț: 412^.56 lei 515^.71 lei

6-8 săpt.

-20%

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Autor Wolfgang Reisig

oct 2016

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

6-8 săpt.

-20%

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7961

Editat de Jacques Carette et al.

22 iul 2013

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

6-8 săpt.

-20%

The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7921

Editat de Paola Bonizzoni et al.

19 iul 2013

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

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7962

Editat de Matti Jarvisalo et al.

19 iul 2013

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

6-8 săpt.

-20%

Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7982

Editat de Stavros Konstantinidis

19 iul 2013

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

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8031

Editat de Jürgensen et al.

19 iul 2013

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

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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