Filtre: Paperback

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

961-1056 din 2,376 rezultate

Rechnerdirektsteuerung von Fertigungseinrichtungen: Beitrag zur Systematik und Auslegung

ISW Forschung und Praxis, nr. 12

Autor E. Bauer

oct 1975

Preț: 393^.54 lei 491^.92 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%

Rechnerunterstützte Gestaltung ortsgebundener Montagearbeitsplätze, dargestellt am Beispiel kleinvolumiger Produkte

IPA-IAO - Forschung und Praxis, nr. 65

Autor E. Haller

oct 1982

Preț: 392^.91 lei 491^.13 lei

6-8 săpt.

-20%

Informationstechnische Grundbildung Multiplan

Viewegs Fachbücher der Technik

Autor Ekkehard Kaier

1989

Preț: 391^.59 lei 489^.49 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%

Software Product Line Engineering: Foundations, Principles and Techniques

Autor Klaus Pohl et al.

28 ian 2011

Preț: 391^.24 lei 489^.05 lei

6-8 săpt.

-20%

Mathematik für Informatiker: Grundlagen und Anwendungen

Autor Werner Struckmann et al.

3 noi 2016

Preț: 390^.78 lei 488^.47 lei

6-8 săpt.

-20%

Theory and Applications of Computability

Autor Dusko Pavlovic

21 sep 2024

Preț: 389^.75 lei 487^.19 lei

Indisponibil temporar

-20%

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13030

Editat de Ernst-Rüdiger Olderog et al.

22 noi 2021

Preț: 389^.41 lei 486^.76 lei

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

-20%

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13466

Editat de Omri Isac et al.

16 dec 2022

Preț: 389^.14 lei 486^.44 lei

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

-20%

Advances in Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1739

Editat de Nicholas Olenev et al.

2 ian 2023

Preț: 389^.10 lei 486^.38 lei

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

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

Monte Carlo Search: First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings

Communications in Computer and Information Science, nr. 1379

Editat de Tristan Cazenave et al.

16 oct 2021

Preț: 388^.26 lei 485^.33 lei

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

-20%

Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students Should Know

Autor Arnold L. Rosenberg et al.

7 dec 2021

Preț: 387^.91 lei 484^.89 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. | 7-11 zile

-20%

Imaginary Mathematics for Computer Science

Autor John Vince

13 dec 2018

Preț: 386^.49 lei 483^.12 lei

38-44 zile

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 33

Autor Ernest. G. Manes

dec 2004

Preț: 386^.02 lei 482^.53 lei

6-8 săpt.

-20%

Logic and Computation: Interactive Proof with Cambridge LCF

Cambridge Tracts in Theoretical Computer Science, nr. 2

Autor Lawrence C. Paulson

25 iul 1990

Preț: 384^.58 lei 480^.73 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%

Cuvânt înainte de M.E. Hellmann et al.

dec 2010

Preț: 382^.22 lei 477^.78 lei

6-8 săpt.

-20%

Autor Stefan Voß et al.

27 sep 2000

Preț: 382^.05 lei 477^.57 lei

6-8 săpt.

-20%

Foundations of Cryptography: Volume 1, Basic Tools

Autor Oded Goldreich

17 ian 2007

Preț: 381^.72 lei 477^.14 lei

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

-20%

Autor Sergei Kurgalin et al.

19 ian 2022

Preț: 381^.42 lei 476^.77 lei

6-8 săpt. | 7-11 zile

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Bruni et al.

18 iul 2018

Preț: 380^.30 lei 475^.37 lei

6-8 săpt.

-20%

Algorithms on Trees and Graphs: With Python Code

Texts in Computer Science

Autor Gabriel Valiente

13 oct 2022

Preț: 379^.50 lei 474^.37 lei

6-8 săpt.

-20%

Autor Vijay V. Vazirani

8 dec 2010

Preț: 379^.50 lei 474^.37 lei

6-8 săpt.

-20%

Autor Xinyu Liu

11 iul 2024

Preț: 379^.19 lei 473^.98 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%

Autor Guido Gryczan et al.

31 dec 1992

Preț: 376^.96 lei

38-44 zile

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%

Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques

Undergraduate Topics in Computer Science

Autor Alberto Pettorossi

13 aug 2022

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

38-44 zile

-20%

Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Autor Kenneth J. Supowit

11 iun 2024

Preț: 380^.09 lei 475^.10 lei

38-44 zile

-20%

A First Introduction to Quantum Computing and Information

Autor Bernard Zygelman

6 noi 2024

Preț: 375^.07 lei

6-8 săpt. | 7-11 zile

Foundations and Trends(r) in Theoretical Computer Science, nr. 6

Autor Venkatesan Guruswami

31 dec 2006

Preț: 374^.89 lei 468^.62 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. | 7-11 zile

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

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13544

Editat de Ekaterina Komendantskaya

22 sep 2022

Preț: 374^.11 lei 467^.64 lei

6-8 săpt.

-20%

Geometric Algebra: An Algebraic System for Computer Games and Animation

Autor John A. Vince

23 aug 2016

Preț: 373^.16 lei 466^.46 lei

6-8 săpt.

-20%

Fundamental Algorithms for Permutation Groups

Lecture Notes in Computer Science, nr. 559

Autor Gregory Butler

27 noi 1991

Preț: 372^.54 lei 465^.68 lei

6-8 săpt.

-20%

Prozeßrechner 1984: Prozeßdatenverarbeitung im Wandel. 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26.–28. September 1984

Informatik-Fachberichte, nr. 86

Editat de H. Trauboth et al.

sep 1984

Preț: 372^.14 lei 465^.18 lei

6-8 săpt.

-20%

GI — 9. Jahrestagung: Bonn, 1.–5. Oktober 1979

Informatik-Fachberichte, nr. 19

Autor K. H. Böhling et al.

sep 1979

Preț: 371^.03 lei 463^.78 lei

6-8 săpt.

-20%

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 12300

Editat de Vivek Nigam et al.

29 oct 2020

Preț: 370^.63 lei 463^.28 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13918

Editat de Henning Bordihn et al.

30 mai 2023

Preț: 370^.63 lei 463^.28 lei

6-8 săpt.

-20%

Modern Birkhäuser Classics

Autor Uwe Schöning

11 ian 2008

Preț: 369^.35 lei 461^.69 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%

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12709

Editat de Alexander Raschke et al.

23 mai 2021

Preț: 368^.90 lei 461^.13 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14152

Editat de Luca Manzoni et al.

24 aug 2023

Preț: 368^.90 lei 461^.13 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%

Computational Science and Its Applications - ICCSA 2004

Editat de Antonio Laganà et al.

21 mai 2004

Preț: 367^.12 lei 458^.91 lei

6-8 săpt.

-20%

Lambda-calculus, Combinators and Functional Programming

Cambridge Tracts in Theoretical Computer Science, nr. 4

Autor G. E. Revesz

24 iun 2009

Preț: 366^.59 lei 458^.24 lei

6-8 săpt.

-20%

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols

SpringerBriefs in Applied Sciences and Technology

Autor Benjamin Aziz

14 dec 2021

Preț: 366^.53 lei 458^.16 lei

6-8 săpt.

-20%

SpringerBriefs in Computer Science

Autor Franklin de Lima Marquezino et al.

8 iul 2019

Preț: 366^.04 lei 457^.55 lei

6-8 săpt.

-20%

Automatisierungstechnik im Wandel durch Mikroprozessoren: INTERKAMA-Kongreß 1977

Fachberichte Messen - Steuern - Regeln, nr. 1

Editat de M. Syrbe et al.

sep 1977

Preț: 365^.65 lei 457^.05 lei

6-8 săpt.

-20%

Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II

Lecture Notes in Computer Science, nr. 3033

Editat de Minglu Li et al.

28 apr 2004

Preț: 659^.51 lei 824^.39 lei

6-8 săpt.

-20%

Simulationstechnik: 1. Symposium Simulationstechnik Erlangen, 26. – 28. April 1982 Proceedings

Informatik-Fachberichte, nr. 56

Editat de M. Goller

sep 1982

Preț: 363^.26 lei 454^.07 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 1

Autor Gregory. J. Chaitin

dec 2004

Preț: 362^.87 lei 453^.59 lei

6-8 săpt.

-20%

Cambridge Tracts in Theoretical Computer Science, nr. 34

Autor Flemming Nielson et al.

21 aug 2005

Preț: 362^.76 lei 453^.45 lei

6-8 săpt.

-20%

Mikroelektronik in Österreich: Berichte der Informationstagung ME 85

Editat de Redaktionskomitee der ME 85

14 oct 1985

Preț: 362^.00 lei 452^.50 lei

6-8 săpt.

-20%

Specification and Proof in Real Time CSP

Distinguished Dissertations in Computer Science, nr. 6

Autor Jim Davies

11 ian 2012

Preț: 361^.87 lei 452^.34 lei

6-8 săpt.

-20%

Datenbanksysteme: Konzepte und Techniken der Implementierung

Autor Theo Härder et al.

12 feb 2012

Preț: 361^.68 lei 452^.10 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Lecture Notes in Computer Science, nr. 10803

Editat de Christel Baier et al.

14 apr 2018

Preț: 361^.52 lei 451^.89 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11425

Editat de Mikołaj Bojańczyk et al.

5 apr 2019

Preț: 359^.63 lei 449^.54 lei

6-8 săpt.

-20%

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Texts in Theoretical Computer Science. An EATCS Series

Autor Markus Roggenbach et al.

24 iun 2023

Preț: 359^.44 lei 449^.31 lei

6-8 săpt. | 7-11 zile

-20%

Mathématiques et Applications, nr. 83

Autor Brigitte Chauvin et al.

29 mar 2019

Preț: 358^.96 lei 448^.71 lei

6-8 săpt.

-20%

Mathematik für Informatik und BioInformatik

Autor Manfred Wolff et al.

23 iun 2004

Preț: 358^.51 lei 448^.14 lei

6-8 săpt.

-20%

GI — 14. Jahrestagung: Braunschweig, 2.–4. Oktober 1984 Proceedings

Informatik-Fachberichte, nr. 88

Editat de H.-D. Ehrich

sep 1984

Preț: 358^.33 lei 447^.91 lei

6-8 săpt.

-20%

Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

Lecture Notes in Computer Science, nr. 54

Editat de J. H. Williams et al.

aug 1977

Preț: 357^.58 lei 446^.96 lei

6-8 săpt.

-20%

Autor Hiu Yung Wong

9 sep 2024

Preț: 356^.64 lei 445^.81 lei

Indisponibil temporar

-20%

Mathematische Methoden der Kryptoanalyse

DuD-Fachbeiträge, nr. 8

Autor Franz-Peter Heider

1985

Preț: 356^.59 lei 445^.73 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5608

Editat de Pierre-Louis Curien

8 iun 2009

Preț: 356^.40 lei 445^.50 lei

38-44 zile

-20%

Software Fault Prevention, Verification, and Validation

Lecture Notes in Computer Science

25 feb 2025

Preț: 356^.30 lei 445^.38 lei

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

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

Unconventional Computation and Natural Computation: 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11493

Editat de Ian McQuillan et al.

26 apr 2019

Preț: 355^.93 lei 444^.92 lei

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

-20%

Lecture Notes in Computer Science

mar 2025

Preț: 355^.73 lei 444^.67 lei

Indisponibil temporar

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

Lecture Notes in Computer Science

2 sep 2024

Preț: 355^.48 lei 444^.34 lei

Indisponibil temporar

-20%

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Texts & Monographs in Symbolic Computation

Autor Wolfgang Schreiner

13 apr 2024

Preț: 355^.37 lei 444^.21 lei

Indisponibil temporar

-20%

Lecture Notes in Computer Science

12 feb 2025

Preț: 355^.31 lei 444^.13 lei

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

-20%

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science

7 sep 2024

Preț: 354^.91 lei 443^.64 lei

Indisponibil temporar

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10805

Editat de Dirk Beyer et al.

12 apr 2018

Preț: 354^.38 lei 442^.98 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985

Lecture Notes in Computer Science, nr. 202

Editat de Jean-Pierre Jouannaud

oct 1985

Preț: 354^.38 lei 442^.98 lei

6-8 săpt.

-20%

Autor Uwe Schöning

18 ian 2011

Preț: 354^.07 lei 442^.58 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11428

Editat de Tomáš Vojnar et al.

4 apr 2019

Preț: 353^.89 lei 442^.37 lei

6-8 săpt.

-20%

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Lecture Notes in Computer Science, nr. 185

Editat de Hartmut Ehrig et al.

mar 1985

Preț: 353^.76 lei 442^.20 lei

6-8 săpt.

-20%

An Introduction to Single-User Information Theory

Springer Undergraduate Texts in Mathematics and Technology

Autor Fady Alajaji et al.

22 dec 2018

Preț: 353^.67 lei 442^.08 lei

38-44 zile

-20%

STACS 2001: 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2010

Editat de Afonso Ferreira et al.

7 feb 2001

Preț: 353^.05 lei 441^.30 lei

6-8 săpt.

-20%

Künstliche Intelligenz und Heuristisches Programmieren

Editat de N.V. Findler et al.

7 ian 2012

Preț: 352^.49 lei 440^.61 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%

Autor Clemens H. Cap

4 oct 1993

Preț: 352^.15 lei 440^.18 lei

6-8 săpt.

-20%

Computational Partial Differential Equations: Numerical Methods and Diffpack Programming

Texts in Computational Science and Engineering, nr. 1

Autor Hans P. Langtangen

6 noi 2012

Preț: 351^.67 lei 439^.59 lei

38-44 zile

-20%

Turbo-Pascal für Ingenieure: Eine Einführung mit Anwendungen aus Naturwissenschaft und Technik

Autor Hering Ekbert

1992

Preț: 351^.20 lei 439^.01 lei

6-8 săpt.

-20%

Informatik als Schlüssel zur Qualifikation: GI-Fachtagung „Informatik und Schule 1993“ Koblenz, 11.–13. Oktober 1993

Informatik aktuell

Editat de Klaus G. Troitzsch

29 sep 1993

Preț: 350^.44 lei 438^.05 lei

6-8 săpt.

-20%

Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis

Autor Helmut Knebl

2 noi 2021

Preț: 350^.27 lei 437^.84 lei

6-8 săpt.

-20%

Editat de Ingo Wegener

16 sep 2011

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

6-8 săpt.

-20%

Autor Sabine Dombrowski

20 noi 2013

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

6-8 săpt.

-20%

FST TCS 2000: Foundations of Software Technology and Theoretical Science: 20th Conference, New Delhi, India, December13-15, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1974

Editat de Sanjiv Kapoor et al.

29 noi 2000

Preț: 349^.23 lei 436^.54 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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