Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures Lecture Notes in Computer Science, nr. 8453 Editat de Anne Remke et al. 31 oct 2014 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%
Formal Grammar Editat de Annie Foret et al. 10 ian 2018 Paperback Preț: 343.09 lei 428.86 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering Editat de Marieke Huisman et al. 22 mar 2017 Paperback Preț: 330.36 lei 412.95 lei 6-8 săpt. -20%
Graph-Theoretic Concepts in Computer Science Editat de Pinar Heggernes 28 sep 2016 Paperback Preț: 323.17 lei 403.96 lei 6-8 săpt. -20%
Programming Languages and Systems Editat de Peter Thiemann 23 mar 2016 Paperback Preț: 348.80 lei 436.00 lei 6-8 săpt. -20%
Algorithms - ESA 2015 Editat de Nikhil Bansal et al. 14 sep 2015 Paperback Preț: 663.80 lei 829.76 lei 6-8 săpt. -20%
Mathematical Foundations of Computer Science 2015 Editat de Giuseppe F. Italiano et al. 18 aug 2015 Paperback Preț: 339.37 lei 424.21 lei 6-8 săpt. -20%
Mathematical Software -- ICMS 2014 Editat de Hoon Hong et al. 15 iul 2014 Paperback Preț: 346.13 lei 432.67 lei 6-8 săpt. -20%
Supercomputing Editat de Julian M. Kunkel et al. 16 mai 2013 Paperback Preț: 332.01 lei 415.02 lei 6-8 săpt. -20%
Application and Theory of Petri Nets and Concurrency Editat de Jose-Manuel Colom et al. 6 iun 2013 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Experimental Algorithms Editat de Vincenzo Bonifaci et al. 25 mai 2013 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Hybrid Metaheuristics Editat de Maria J. Blesa et al. 16 mai 2013 Paperback Preț: 290.84 lei 363.55 lei 6-8 săpt. -20%
Theory and Applications of Models of Computation Editat de T-H. Hubert Chan et al. 16 mai 2013 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Logic-Based Program Synthesis and Transformation Editat de Elvira Albert 3 mai 2013 Paperback Preț: 410.12 lei 482.49 lei 6-8 săpt. -15%
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Editat de Carla Gomes et al. 19 apr 2013 Paperback Preț: 383.16 lei 6-8 săpt.
At the Intersection of Language, Logic, and Information Editat de Jennifer Sikos et al. 6 iul 2019 Paperback Preț: 318.89 lei 398.61 lei 6-8 săpt. -20%
Languages and Compilers for Parallel Computing Editat de Hironori Kasahara et al. 4 apr 2013 Paperback Preț: 294.13 lei 367.67 lei 6-8 săpt. -20%
Developments in Language Theory Editat de Marie-Pierre Beal et al. 24 mai 2013 Paperback Preț: 331.16 lei 413.95 lei 6-8 săpt. -20%
Logic, Language, and Computation Editat de Martin Aher et al. 19 mai 2015 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%
Typed Lambda Calculi and Applications Editat de Masahito Hasegawa 6 iun 2013 Paperback Preț: 413.65 lei 517.07 lei 6-8 săpt. -20%
Euro-Par 2015: Parallel Processing Editat de Jesper Larsson Träff et al. 5 aug 2015 Paperback Preț: 344.70 lei 430.87 lei 6-8 săpt. -20%
Structured Object-Oriented Formal Language and Method Editat de Shaoying Liu 14 aug 2013 Paperback Preț: 287.58 lei 359.47 lei 6-8 săpt. -20%
Logic for Programming, Artificial Intelligence, and Reasoning Editat de Martin Davis et al. 3 dec 2015 Paperback Preț: 340.38 lei 425.47 lei 6-8 săpt. -20%
Descriptional Complexity of Formal Systems Editat de Jürgensen et al. 19 iul 2013 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Tools and Algorithms for the Construction and Analysis of Systems Editat de Marsha Chechik et al. 9 apr 2016 Paperback Preț: 357.18 lei 446.46 lei 6-8 săpt. -20%
Computer Vision Systems Editat de Mei Chen et al. 4 iul 2013 Paperback Preț: 326.68 lei 408.36 lei 6-8 săpt. -20%
Logic, Language, and Computation Editat de Helle Hvid Hansen et al. 22 feb 2017 Paperback Preț: 326.68 lei 408.36 lei 6-8 săpt. -20%
Interactive Theorem Proving Editat de Sandrine Blazy et al. 19 iul 2013 Paperback Preț: 333.02 lei 416.28 lei 6-8 săpt. -20%
Logic, Rationality, and Interaction Editat de Alexandru Baltag et al. 24 aug 2017 Paperback Preț: 343.05 lei 428.80 lei 6-8 săpt. -20%
Theories of Programming and Formal Methods Editat de Zhiming Liu et al. 31 iul 2013 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Logic and Its Applications Editat de Md. Aquil Khan et al. 5 feb 2019 Paperback Preț: 317.66 lei 397.08 lei 6-8 săpt. -20%
Unifying Theories of Programming and Formal Engineering Methods Editat de Zhiming Liu et al. 19 iul 2013 Paperback Preț: 321.94 lei 402.43 lei 6-8 săpt. -20%
Logic, Rationality, and Interaction Editat de Patrick Blackburn et al. 15 sep 2019 Paperback Preț: 386.04 lei 6-8 săpt.
Computer Aided Verification Editat de Natasha Sharygina et al. 14 iul 2013 Paperback Preț: 661.78 lei 827.23 lei 6-8 săpt. -20%
Coalgebraic Methods in Computer Science Editat de Marcello M. Bonsangue sep 2014 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Formal Grammar Editat de Glyn Morrill et al. 11 iul 2013 Paperback Preț: 322.37 lei 402.96 lei 6-8 săpt. -20%
Algorithms and Data Structures Editat de Frank Dehne et al. 15 iul 2013 Paperback Preț: 335.05 lei 418.81 lei 6-8 săpt. -20%
CONCUR 2013 -- Concurrency Theory Editat de Pedro R. D'Argenio et al. 6 aug 2013 Paperback Preț: 336.29 lei 420.36 lei 6-8 săpt. -20%
Automata, Languages, and Programming Editat de Magnús M. Halldórsson et al. 6 iul 2015 Paperback Preț: 667.11 lei 833.89 lei 6-8 săpt. -20%
Quantitative Evaluation of Systems Editat de Kaustubh Joshi et al. 7 aug 2013 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%
Mathematical Foundations of Computer Science 2015 Editat de Giuseppe F Italiano et al. 20 aug 2015 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
Formal Modeling and Analysis of Timed Systems Editat de Víctor Braberman et al. 8 aug 2013 Paperback Preț: 294.13 lei 367.67 lei 6-8 săpt. -20%
Static Analysis Editat de Sandrine Blazy et al. 14 sep 2015 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%
Space-Efficient Data Structures, Streams, and Algorithms Editat de Andrej Brodnik et al. 7 aug 2013 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
Distributed Computing Editat de Yoram Moses 10 noi 2015 Paperback Preț: 342.62 lei 428.28 lei 6-8 săpt. -20%
Mathematical Foundations of Computer Science 2013 Editat de Krishnendu Chatterjee et al. 8 aug 2013 Paperback Preț: 351.25 lei 439.06 lei 6-8 săpt. -20%
Algorithms and Computation Editat de Khaled Elbassioni et al. 27 noi 2015 Paperback Preț: 595.45 lei 744.31 lei 6-8 săpt. -20%
Trends in Functional Programming Editat de Hans Wolfgang Loidl et al. 5 aug 2013 Paperback Preț: 323.39 lei 404.23 lei 6-8 săpt. -20%
Foundations of Software Science and Computation Structures Editat de Bart Jacobs et al. 23 mar 2016 Paperback Preț: 335.69 lei 419.61 lei 6-8 săpt. -20%
Network and Parallel Computing Editat de Ching-Hsien Hsu et al. 21 aug 2013 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%
Distributed Computing Editat de Cyril Gavoille et al. 4 sep 2016 Paperback Preț: 333.41 lei 416.76 lei 6-8 săpt. -20%
Mathematical Methods for Curves and Surfaces Editat de Michael Floater et al. 21 feb 2014 Paperback Preț: 333.62 lei 417.03 lei 6-8 săpt. -20%
Small Dynamic Complexity Classes Autor Thomas Zeume 18 feb 2017 Paperback Preț: 315.00 lei 393.75 lei 6-8 săpt. -20%
LATIN 2014: Theoretical Informatics Editat de Alberto Pardo et al. 3 mar 2014 Paperback Preț: 348.01 lei 435.01 lei 6-8 săpt. -20%
Foundations of Software Science and Computation Structures Editat de Javier Esparza et al. 16 mar 2017 Paperback Preț: 336.92 lei 421.15 lei 6-8 săpt. -20%
Algebraic and Algorithmic Aspects of Differential and Integral Operators Editat de Moulay Barkatou et al. 10 mar 2014 Paperback Preț: 317.84 lei 397.30 lei 6-8 săpt. -20%
Logic, Language, Information, and Computation Editat de Juliette Kennedy et al. 30 iun 2017 Paperback Preț: 327.92 lei 409.89 lei 6-8 săpt. -20%
Specification, Algebra, and Software Editat de Shusaku Iida et al. 25 feb 2014 Paperback Preț: 341.61 lei 427.02 lei 6-8 săpt. -20%
Fundamentals of Computation Theory Editat de Ralf Klasing et al. 16 aug 2017 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering Editat de Stefania Gnesi et al. 17 mar 2014 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Formal Grammar 2018 Editat de Annie Foret et al. 15 iul 2018 Paperback Preț: 314.37 lei 392.97 lei 6-8 săpt. -20%
Foundations of Software Science and Computation Structures Editat de Anca Muscholl 18 mar 2014 Paperback Preț: 331.16 lei 413.95 lei 6-8 săpt. -20%
Language, Logic, and Computation Editat de Alexandra Silva et al. 4 iul 2019 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
From Programs to Systems - The Systems Perspective in Computing Editat de Saddek Bensalem et al. 11 mar 2014 Paperback Preț: 321.74 lei 402.18 lei 6-8 săpt. -20%
Formal Grammar Editat de Raffaella Bernardi et al. 5 iul 2019 Paperback Preț: 313.36 lei 391.71 lei 6-8 săpt. -20%
Pristine Perspectives on Logic, Language and Computation Editat de Margot Colinet et al. 14 iul 2014 Paperback Preț: 321.15 lei 401.43 lei 6-8 săpt. -20%
Monotonicity in Logic and Language Editat de Dun Deng et al. 17 dec 2020 Paperback Preț: 456.85 lei 571.07 lei 6-8 săpt. -20%
Programming Logics Editat de Andrei Voronkov et al. 3 apr 2013 Paperback Preț: 330.36 lei 412.95 lei 6-8 săpt. -20%