Filtre: Paperback Tipărit la comandă Șterge tot

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

577-672 din 2,216 rezultate

Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9840

Editat de Srečko Brlek et al.

21 iul 2016

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

6-8 săpt.

-20%

Domain-Specific Conceptual Modeling: Concepts, Methods and Tools

Editat de Dimitris Karagiannis et al.

31 mai 2018

Preț: 635^.26 lei 794^.08 lei

6-8 săpt.

-20%

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9780

Editat de Swarat Chaudhuri et al.

14 iul 2016

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

6-8 săpt.

-20%

Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9705

Editat de Yo-Sub Han et al.

6 iul 2016

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

6-8 săpt.

-20%

Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9725

Editat de Gert-Martin Greuel et al.

6 iul 2016

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

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9778

Editat de Riccardo Dondi et al.

5 iul 2016

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

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9777

Editat de Cezar Câmpeanu et al.

28 iun 2016

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9609

Editat de Manuel Mazzara et al.

28 iun 2016

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

6-8 săpt.

-20%

Turing Computability: Theory and Applications

Theory and Applications of Computability

Autor Robert I. Soare

7 iun 2018

Preț: 374^.60 lei 468^.25 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9664

Editat de Matthew Cook et al.

27 iun 2016

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

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9688

Editat de Elvira Albert et al.

27 iun 2016

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

6-8 săpt.

-20%

Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9761

Editat de Rachid Echahed et al.

22 iun 2016

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9750

Editat de Theo Tryfonas

21 iun 2016

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

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9726

Editat de Martyn Amos et al.

15 iun 2016

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

6-8 săpt.

-20%

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9706

Editat de Nicola Olivetti et al.

12 iun 2016

Preț: 525^.57 lei 656^.96 lei

6-8 săpt.

-20%

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9575

Editat de Katsumi Inoue et al.

12 iun 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9710

Editat de Nadia Creignou et al.

12 iun 2016

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

6-8 săpt.

-20%

Relaxed Abduction: Robust Information Interpretation for Industrial Applications

Autor Thomas Hubauer

10 iun 2016

Preț: 311^.84 lei 389^.81 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9698

Editat de Fabrice Kordon et al.

9 iun 2016

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9608

Editat de Ichiro Hasuo

4 iun 2016

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

High Performance Computing in Science and Engineering: Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9611

Editat de Tomáš Kozubek et al.

3 iun 2016

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

6-8 săpt.

-20%

Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9709

Editat de Arnold Beckmann et al.

iun 2016

Preț: 326^.53 lei 408^.16 lei

6-8 săpt.

-20%

Editat de Jeffrey Heinz et al.

27 mai 2018

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

6-8 săpt.

-20%

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9675

Editat de Michael Butler et al.

11 mai 2016

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Tackling Society's Grand Challenges with Design Science: 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9661

Editat de Jeffrey Parsons et al.

10 mai 2016

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

6-8 săpt.

-20%

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

BestMasters

Autor Malte Schmitz

29 apr 2016

Preț: 368^.73 lei 460^.92 lei

6-8 săpt.

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

22 apr 2018

Preț: 678^.88 lei 848^.60 lei

6-8 săpt.

-20%

Mathematical Aspects of Computer and Information Sciences: 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9582

Editat de Ilias S. Kotsireas et al.

17 apr 2016

Preț: 336^.73 lei 420^.91 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9636

Editat de Marsha Chechik et al.

9 apr 2016

Preț: 352^.24 lei 440^.29 lei

6-8 săpt.

-20%

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry: 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Communications in Computer and Information Science, nr. 587

Editat de Federico Rossi et al.

3 apr 2016

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

6-8 săpt.

-20%

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 9600

Editat de Sam Lindley et al.

31 mar 2016

Preț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%

Trusted Systems: 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9565

Editat de Moti Yung et al.

23 mar 2016

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9634

Editat de Bart Jacobs et al.

23 mar 2016

Preț: 332^.42 lei 415^.53 lei

6-8 săpt.

-20%

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 9660

Editat de Erika Ábrahám et al.

13 mar 2016

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

6-8 săpt.

-20%

Directed Algebraic Topology and Concurrency

Autor Lisbeth Fajstrup et al.

19 apr 2018

Preț: 615^.00 lei 768^.74 lei

6-8 săpt.

-20%

Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9616

Editat de Marc Gyssens et al.

4 mar 2016

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Energie- und Paritätsgewinnbedingungen auf Spielstrukturen

BestMasters

Autor Uli Schlachter

29 feb 2016

Preț: 282^.26 lei 352^.82 lei

6-8 săpt.

-20%

Algorithmic Aspects of Cloud Computing: First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9511

Editat de Ioannis Karydis et al.

26 feb 2016

Preț: 260^.92 lei 326^.15 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9538

Editat de Zsuzsanna Lipták et al.

20 feb 2016

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

6-8 săpt.

-20%

Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9504

Editat de Grzegorz Rozenberg et al.

3 feb 2016

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Quantum Interaction: 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9535

Editat de Harald Atmanspacher et al.

3 feb 2016

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

6-8 săpt.

-20%

SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9587

Editat de Rūsiņš Mārtiņš Freivalds et al.

3 feb 2016

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

6-8 săpt.

-20%

A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains

BestMasters

Autor Susanne Göbel

28 ian 2016

Preț: 309^.11 lei 386^.39 lei

6-8 săpt.

-20%

Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9541

Editat de Mohammed Taghi Hajiaghayi et al.

25 ian 2016

Preț: 315^.00 lei 393^.74 lei

6-8 săpt.

-20%

Big-Data Analytics and Cloud Computing: Theory, Algorithms and Applications

Editat de Marcello Trovati et al.

30 mar 2018

Preț: 724^.83 lei 906^.04 lei

6-8 săpt.

-20%

Mathematica®: A Problem-Centered Approach

Springer Undergraduate Mathematics Series

Autor Roozbeh Hazrat

12 ian 2016

Preț: 224^.40 lei 280^.50 lei

6-8 săpt.

-20%

Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9271

Editat de Alessandro Abate et al.

10 ian 2016

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

6-8 săpt.

-20%

Models of Strategic Reasoning: Logics, Games, and Communities

Lecture Notes in Computer Science, nr. 8972

Editat de Johan van Benthem et al.

10 ian 2016

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Autor Song Y. Yan

30 mar 2018

Preț: 618^.96 lei 773^.69 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9463

Editat de Mihai Codescu et al.

31 dec 2015

Preț: 259^.85 lei 324^.81 lei

6-8 săpt.

-20%

Graph and Model Transformation: General Framework and Applications

Monographs in Theoretical Computer Science. An EATCS Series

Autor Hartmut Ehrig et al.

29 mar 2019

Preț: 629^.57 lei 786^.96 lei

6-8 săpt.

-20%

Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9046

Editat de Jesse Davis et al.

27 dec 2015

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

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9583

Editat de Barbara Jobstmann et al.

26 dec 2015

Preț: 332^.92 lei 416^.15 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9399

Editat de Martin Leucker et al.

25 dec 2015

Preț: 336^.23 lei 420^.29 lei

6-8 săpt.

-20%

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7699

Editat de Oded Maler et al.

25 dec 2015

Preț: 259^.98 lei 324^.97 lei

6-8 săpt.

-20%

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Lecture Notes in Computer Science, nr. 9560

Editat de Christian W. Probst et al.

25 dec 2015

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

6-8 săpt.

-20%

Sampling Theory, a Renaissance: Compressive Sensing and Other Developments

Applied and Numerical Harmonic Analysis

Editat de Götz E. Pfander

21 mar 2019

Preț: 667^.68 lei 834^.60 lei

38-44 zile

-20%

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9527

Editat de Moreno Falaschi

17 dec 2015

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Operations Research and Enterprise Systems: 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Communications in Computer and Information Science, nr. 577

Editat de Dominique De Werra et al.

16 dec 2015

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

6-8 săpt.

-20%

Monographs in Theoretical Computer Science. An EATCS Series

Autor Sergey Kitaev et al.

23 aug 2016

Preț: 643^.00 lei 803^.75 lei

38-44 zile

-20%

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Autor Ernst-Erich Doberkat

23 aug 2016

Preț: 422^.71 lei 528^.38 lei

6-8 săpt.

-20%

Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 9465

Editat de Chiara Bodei et al.

20 noi 2015

Preț: 324^.03 lei 405^.04 lei

6-8 săpt.

-20%

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9348

Editat de Wolfram Kahl et al.

19 noi 2015

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

6-8 săpt.

-20%

Theory and Applications of Computability

Autor John Longley et al.

23 aug 2016

Preț: 1017^.14 lei 1271^.42 lei

6-8 săpt.

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Eric Badouel et al.

23 aug 2016

Preț: 459^.32 lei 574^.15 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9340

Editat de Marijn Heule et al.

4 noi 2015

Preț: 409^.39 lei 511^.74 lei

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling - Queueing Theory and Applications: 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

Communications in Computer and Information Science, nr. 564

Editat de Alexander Dudin et al.

2 noi 2015

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Natural Computing Series

Autor Anthony Brabazon et al.

23 aug 2016

Preț: 414^.95 lei 518^.69 lei

6-8 săpt.

-20%

Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9394

Editat de Wiebe van der Hoek et al.

9 oct 2015

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9328

Editat de Mikolai Bojanczyk et al.

18 sep 2015

Preț: 260^.47 lei 325^.59 lei

6-8 săpt.

-20%

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9291

Editat de Sandrine Blazy et al.

14 sep 2015

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

6-8 săpt.

-20%

Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9294

Editat de Nikhil Bansal et al.

14 sep 2015

Preț: 657^.63 lei 822^.04 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9338

Editat de Floor Koornneef et al.

12 sep 2015

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

6-8 săpt.

-20%

Introduction to Concurrency Theory: Transition Systems and CCS

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri et al.

22 oct 2016

Preț: 336^.13 lei 420^.16 lei

38-44 zile

-20%

Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9304

Editat de Florin Manea et al.

8 sep 2015

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

6-8 săpt.

-20%

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9360

Editat de Roland Meyer et al.

3 sep 2015

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

6-8 săpt.

-20%

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9236

Editat de Christian Urban et al.

27 aug 2015

Preț: 328^.62 lei 410^.77 lei

6-8 săpt.

-20%

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 9200

Editat de Narciso Martí Oliet et al.

21 aug 2015

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

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9255

Editat de Gilles Pesant

13 aug 2015

Preț: 342^.25 lei 427^.81 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9259

Editat de Javier Campos et al.

12 aug 2015

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9268

Editat de Sriram Sankaranarayanan et al.

12 aug 2015

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

6-8 săpt.

-20%

Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9270

Editat de Andreas Maletti

12 aug 2015

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Swarm, Evolutionary, and Memetic Computing: 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8947

Editat de Bijaya Ketan Panigrahi et al.

11 aug 2015

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

6-8 săpt.

-20%

Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9223

Editat de Frank Drewes

28 iul 2015

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

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9211

Editat de Andrew Phillips et al.

27 iul 2015

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9207

Editat de Daniel Kroening et al.

23 iul 2015

Preț: 328^.79 lei 410^.99 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9252

Editat de Cristian S. Calude et al.

23 iul 2015

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

6-8 săpt.

-20%

Designing Socially Embedded Technologies in the Real-World

Computer Supported Cooperative Work

Editat de Volker Wulf et al.

18 oct 2016

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Lecture Notes in Computer Science, nr. 9168

Editat de Igor Potapov

13 iul 2015

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

6-8 săpt.

-20%

Mathematics and Computing: ICMC, Haldia, India, January 2015

Springer Proceedings in Mathematics & Statistics, nr. 139

Editat de Ram N. Mohapatra et al.

23 oct 2016

Preț: 968^.97 lei 1211^.22 lei

38-44 zile

-20%

Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9151

Editat de Francesco Parisi-Presicce et al.

7 iul 2015

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

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9160

Editat de Valeria de Paiva et al.

7 iul 2015

Preț: 261^.58 lei 326^.98 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Lecture Notes in Computer Science, nr. 9150

Editat de Manfred Kerber et al.

29 iun 2015

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

6-8 săpt.

-20%

Grundkurs Theoretische Informatik: Mit Aufgaben und Anwendungen

Autor Boris Hollas

25 iun 2015

Preț: 230^.26 lei 287^.82 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9129

Editat de Ralf Hinze et al.

12 iun 2015

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

6-8 săpt.

-20%

Pattern Recognition and Machine Intelligence: 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9124

Editat de Marzena Kryszkiewicz et al.

11 iun 2015

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

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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