Lecture Notes in Computer Science, pagina 23

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Editat de Tiziana Margaria et al.

20 oct 2022

Paperback

Preț: 405^.95 lei 507^.44 lei

22-36 zile | 5-11 zile

-20%

Editat de Shai Avidan et al.

21 oct 2022

Paperback

Preț: 362^.08 lei 452^.60 lei

43-57 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Editat de Tiziana Margaria et al.

20 oct 2022

Paperback

Preț: 551^.49 lei 689^.37 lei

22-36 zile | 5-11 zile

-20%

Discrete Geometry and Mathematical Morphology

Editat de Étienne Baudrier et al.

21 oct 2022

Paperback

Preț: 345^.28 lei 431^.59 lei

43-57 zile

-20%

Editat de Ben Goertzel et al.

14 ian 2023

Paperback

Preț: 549^.43 lei 686^.78 lei

22-36 zile | 5-11 zile

-20%

Applied Reconfigurable Computing. Architectures, Tools, and Applications

Editat de Lin Gan et al.

28 oct 2022

Paperback

Preț: 358^.90 lei 448^.62 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis

Editat de Ahmed Bouajjani et al.

23 oct 2022

Paperback

Preț: 477^.33 lei 596^.67 lei

22-36 zile | 5-11 zile

-20%

Editat de Yuan Xu et al.

13 ian 2023

Paperback

Preț: 667^.30 lei 834^.12 lei

43-57 zile

-20%

Editat de Marco Dorigo et al.

29 oct 2022

Paperback

Preț: 511^.59 lei 639^.48 lei

43-57 zile

-20%

Autonomous Agents and Multiagent Systems. Best and Visionary Papers

Editat de Francisco S. Melo et al.

6 noi 2022

Paperback

Preț: 356^.12 lei 445^.15 lei

43-57 zile

-20%

Editat de Barbara Göbl et al.

24 oct 2022

Paperback

Preț: 658^.11 lei 822^.63 lei

43-57 zile

-20%

Collaboration Technologies and Social Computing

Editat de Lung-Hsiang Wong et al.

27 oct 2022

Paperback

Preț: 504^.06 lei 593^.02 lei

43-57 zile

-15%

Editat de Weihong Deng et al.

27 oct 2022

Paperback

Preț: 671^.75 lei 839^.68 lei

43-57 zile

-20%

Web Information Systems and Applications

Editat de Xiang Zhao et al.

8 dec 2022

Paperback

Preț: 730^.76 lei 913^.45 lei

43-57 zile

-20%

Theory and Applications of Models of Computation

Editat de Ding-Zhu Du et al.

2 ian 2023

Paperback

Preț: 541^.84 lei 677^.30 lei

43-57 zile

-20%

Advances in Mobile Computing and Multimedia Intelligence

Editat de Pari Delir Haghighi et al.

9 noi 2022

Paperback

Preț: 357^.62 lei 447^.03 lei

43-57 zile

-20%

Editat de Alexander Hunt et al.

2 dec 2022

Paperback

Preț: 541^.18 lei 676^.48 lei

43-57 zile

-20%

Editat de Lu Fang et al.

2 ian 2023

Paperback

Preț: 668^.58 lei 835^.72 lei

43-57 zile

-20%

Editat de Dorothea Baumeister et al.

11 dec 2022

Paperback

Preț: 513^.30 lei 641^.62 lei

22-36 zile | 5-11 zile

-20%

Editat de Armando Castañeda et al.

29 oct 2022

Paperback

Preț: 618^.33 lei 772^.90 lei

43-57 zile

-20%

Editat de Agma Traina et al.

26 oct 2022

Paperback

Preț: 563^.84 lei 593^.51 lei

43-57 zile

-5%

String Processing and Information Retrieval

Editat de Diego Arroyuelo et al.

noi 2022

Paperback

Preț: 475^.59 lei 594^.49 lei

22-36 zile | 5-11 zile

-20%

Artificial Neural Networks in Pattern Recognition

Editat de Neamat El Gayar et al.

11 noi 2022

Paperback

Preț: 401^.75 lei 502^.20 lei

22-36 zile | 5-11 zile

-20%

Editat de George Bebis et al.

10 dec 2022

Paperback

Preț: 544^.19 lei 680^.23 lei

43-57 zile

-20%

Editat de Minming Li et al.

2 ian 2023

Paperback

Preț: 364^.22 lei 455^.28 lei

43-57 zile

-20%

Computational Intelligence Methods for Bioinformatics and Biostatistics

Editat de Davide Chicco et al.

26 noi 2022

Paperback

Preț: 402^.97 lei 474^.08 lei

22-36 zile | 5-11 zile

-15%

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV

Editat de Nirav Ajmeri et al.

25 noi 2022

Paperback

Preț: 402^.22 lei 502^.77 lei

22-36 zile | 5-11 zile

-20%

PRICAI 2022: Trends in Artificial Intelligence

Editat de Sankalp Khanna et al.

4 noi 2022

Paperback

Preț: 606^.17 lei 757^.72 lei

43-57 zile

-20%

Editat de Silvia Lizeth Tapia Tarifa et al.

3 noi 2022

Paperback

Preț: 488^.40 lei

43-57 zile

Web Information Systems Engineering - WISE 2022

Editat de Richard Chbeir et al.

6 noi 2022

Paperback

Preț: 669^.42 lei 836^.77 lei

43-57 zile

-20%

Editat de Chunpeng Ge et al.

7 noi 2022

Paperback

Preț: 420^.86 lei 526^.07 lei

43-57 zile

-20%

Editat de Aurora González-Vidal et al.

2 ian 2023

Paperback

Preț: 512^.84 lei 641^.06 lei

22-36 zile | 5-11 zile

-20%

Editat de Alastair R. Beresford et al.

11 noi 2022

Paperback

Preț: 512^.01 lei 640^.01 lei

43-57 zile

-20%

Editat de S. R. Mahadeva Prasanna et al.

13 noi 2022

Paperback

Preț: 729^.27 lei 911^.59 lei

43-57 zile

-20%

Editat de Javier Troya et al.

17 noi 2022

Paperback

Preț: 678^.89 lei 848^.61 lei

43-57 zile

-20%

Multi-disciplinary Trends in Artificial Intelligence

Editat de Olarik Surinta et al.

11 noi 2022

Paperback

Preț: 402^.16 lei 502^.71 lei

22-36 zile | 5-11 zile

-20%

Editat de Chunfeng Lian et al.

16 dec 2022

Paperback

Preț: 513^.76 lei 642^.20 lei

22-36 zile | 5-11 zile

-20%

Stabilization, Safety, and Security of Distributed Systems

Editat de Stéphane Devismes et al.

9 noi 2022

Paperback

Preț: 476^.13 lei 595^.17 lei

22-36 zile | 5-11 zile

-20%

Information Integration and Web Intelligence

Editat de Eric Pardede et al.

22 noi 2022

Paperback

Preț: 608^.74 lei 760^.92 lei

43-57 zile

-20%

Imaging Systems for GI Endoscopy, and Graphs in Biomedical Image Analysis

Editat de Luigi Manfredi et al.

10 dec 2022

Paperback

Preț: 355^.26 lei 444^.07 lei

43-57 zile

-20%

Bioinspired Optimization Methods and Their Applications

Editat de Marjan Mernik et al.

5 noi 2022

Paperback

Preț: 402^.96 lei 503^.71 lei

22-36 zile | 5-11 zile

-20%

Advances in Bioinformatics and Computational Biology

Editat de Nicole M. Scherer et al.

16 dec 2022

Paperback

Preț: 417^.09 lei

43-57 zile

PRIMA 2022: Principles and Practice of Multi-Agent Systems

Editat de Reyhan Aydo¿an et al.

12 noi 2022

Paperback

Preț: 671^.35 lei 839^.18 lei

43-57 zile

-20%

Editat de Suheyla Cetin-Karayumak et al.

26 noi 2022

Paperback

Preț: 356^.12 lei 445^.15 lei

43-57 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications

Editat de Wei Dong et al.

11 dec 2022

Paperback

Preț: 418^.53 lei 523^.15 lei

43-57 zile

-20%

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Editat de Omri Isac et al.

16 dec 2022

Paperback

Preț: 401^.75 lei 502^.20 lei

22-36 zile | 5-11 zile

-20%

Editat de Jingtao Yao et al.

12 noi 2022

Paperback

Preț: 513^.11 lei 641^.38 lei

22-36 zile | 5-11 zile

-20%

Editat de Mike Papadakis et al.

17 noi 2022

Paperback

Preț: 355^.26 lei 444^.07 lei

43-57 zile

-20%

Information Security Practice and Experience

Editat de Chunhua Su et al.

19 noi 2022

Paperback

Preț: 610^.84 lei 763^.56 lei

43-57 zile

-20%

Attacks and Defenses for the Internet-of-Things

Editat de Wenjuan Li et al.

11 dec 2022

Paperback

Preț: 357^.62 lei 447^.03 lei

43-57 zile

-20%

Editat de Wouter Swierstra et al.

2 ian 2023

Paperback

Preț: 301^.38 lei 376^.72 lei

43-57 zile

-20%

Product-Focused Software Process Improvement

Editat de Davide Taibi et al.

14 noi 2022

Paperback

Preț: 670^.25 lei 837^.82 lei

43-57 zile

-20%

Editat de Shaoshan Liu et al.

dec 2022

Paperback

Preț: 547^.40 lei 684^.25 lei

22-36 zile | 5-11 zile

-20%

Editat de Max Bramer et al.

15 noi 2022

Paperback

Preț: 476^.13 lei 595^.17 lei

22-36 zile | 5-11 zile

-20%

Mining Intelligence and Knowledge Exploration

Editat de Richard Chbeir et al.

15 dec 2022

Paperback

Preț: 418^.09 lei 522^.61 lei

43-57 zile

-20%

Editat de Hannah Bast et al.

19 ian 2023

Paperback

Preț: 260^.34 lei 325^.43 lei

22-36 zile | 5-11 zile

-20%

Editat de Guido Governatori et al.

14 dec 2022

Paperback

Preț: 403^.49 lei 504^.36 lei

22-36 zile | 5-11 zile

-20%

Editat de Philippe Fournier-Viger et al.

19 noi 2022

Paperback

Preț: 402^.96 lei 503^.71 lei

22-36 zile | 5-11 zile

-20%

Editat de Utkarsh Porwal et al.

20 noi 2022

Paperback

Preț: 606^.79 lei 758^.50 lei

43-57 zile

-20%

Computational Theory of Mind for Human-Machine Teams

Editat de Nikolos Gurney et al.

2 ian 2023

Paperback

Preț: 703^.05 lei 878^.81 lei

43-57 zile

-20%

Editat de João Carlos Xavier-Junior et al.

19 noi 2022

Paperback

Preț: 669^.42 lei 836^.77 lei

43-57 zile

-20%

HCI International 2022 - Late Breaking Papers: Ergonomics and Product Design

Editat de Vincent G. Duffy et al.

25 noi 2022

Paperback

Preț: 608^.29 lei 760^.36 lei

43-57 zile

-20%

HCI International 2022 - Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence

Editat de Jessie Y. C. Chen et al.

25 noi 2022

Paperback

Preț: 551^.96 lei 689^.95 lei

22-36 zile | 5-11 zile

-20%

Intelligent Information and Database Systems

Editat de Ngoc Thanh Nguyen et al.

9 dec 2022

Paperback

Preț: 730^.32 lei 912^.91 lei

43-57 zile

-20%

Intelligent Data Engineering and Automated Learning - IDEAL 2022

Editat de Hujun Yin et al.

21 noi 2022

Paperback

Preț: 606^.36 lei 757^.95 lei

43-57 zile

-20%

From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries

Editat de Yuen-Hsien Tseng et al.

7 dec 2022

Paperback

Preț: 604^.68 lei 755^.85 lei

43-57 zile

-20%

Editat de Martin Schulz et al.

14 dec 2022

Paperback

Preț: 403^.30 lei 504^.12 lei

22-36 zile | 5-11 zile

-20%

Editat de Renata Guizzardi et al.

2 ian 2023

Paperback

Preț: 355^.03 lei 443^.79 lei

43-57 zile

-20%

Editat de Thomas Erlebach et al.

13 dec 2022

Paperback

Preț: 356^.34 lei 445^.43 lei

43-57 zile

-20%

Editat de Stefano Berretti et al.

14 dec 2022

Paperback

Preț: 544^.40 lei 680^.50 lei

43-57 zile

-20%

Editat de Kristian Kiili et al.

23 noi 2022

Paperback

Preț: 404^.24 lei 505^.31 lei

22-36 zile | 5-11 zile

-20%

HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games

Editat de Gabriele Meiselwitz et al.

25 noi 2022

Paperback

Preț: 612^.79 lei 765^.98 lei

43-57 zile

-20%

Editat de Weitong Chen et al.

24 noi 2022

Paperback

Preț: 546^.11 lei 682^.64 lei

43-57 zile

-20%

Editat de Patrizio Angelini et al.

19 ian 2023

Paperback

Preț: 514^.12 lei 642^.65 lei

22-36 zile | 5-11 zile

-20%

Editat de Hans P. Reiser et al.

2 ian 2023

Paperback

Preț: 476^.48 lei 595^.59 lei

22-36 zile | 5-11 zile

-20%

Editat de Mirjam Vosmeer et al.

2 dec 2022

Paperback

Preț: 671^.75 lei 839^.68 lei

43-57 zile

-20%

Editat de Khoa Nguyen et al.

2 dec 2022

Paperback

Preț: 605^.29 lei 756^.62 lei

43-57 zile

-20%

Editat de Gagandeep Singh et al.

2 dec 2022

Paperback

Preț: 487^.76 lei 609^.69 lei

43-57 zile

-20%

Editat de Jean-François Raskin et al.

29 dec 2022

Paperback

Preț: 612^.34 lei 765^.42 lei

43-57 zile

-20%

Editat de Eike Kiltz et al.

22 dec 2022

Paperback

Preț: 402^.50 lei 503^.12 lei

22-36 zile | 5-11 zile

-20%

Editat de Willy Susilo et al.

dec 2022

Paperback

Preț: 514^.44 lei 643^.06 lei

22-36 zile | 5-11 zile

-20%

Advances in Artificial Intelligence - IBERAMIA 2022

Editat de Ana Cristina Bicharra Garcia et al.

4 ian 2023

Paperback

Preț: 512^.76 lei 640^.96 lei

22-36 zile | 5-11 zile

-20%

Formal Methods: Foundations and Applications

Editat de Lucas Lima et al.

dec 2022

Paperback

Preț: 356^.34 lei 445^.43 lei

43-57 zile

-20%

Editat de Nicholas Olenev et al.

3 ian 2023

Paperback

Preț: 489^.38 lei

43-57 zile

Algorithms and Architectures for Parallel Processing

Editat de Weizhi Meng et al.

11 ian 2023

Paperback

Preț: 733^.77 lei 917^.20 lei

43-57 zile

-20%

AI 2022: Advances in Artificial Intelligence

Editat de Haris Aziz et al.

3 dec 2022

Paperback

Preț: 792^.11 lei 990^.13 lei

43-57 zile

-20%

Job Scheduling Strategies for Parallel Processing

Editat de Dalibor Klusá¿ek et al.

12 ian 2023

Paperback

Preț: 419^.16 lei 523^.94 lei

43-57 zile

-20%

Editat de Kristoffer Arnsfelt Hansen et al.

9 dec 2022

Paperback

Preț: 476^.28 lei 595^.35 lei

22-36 zile | 5-11 zile

-20%

Editat de Takanori Isobe et al.

2023

Paperback

Preț: 729^.27 lei 911^.59 lei

43-57 zile

-20%

Editat de Vladimir Voevodin et al.

16 dec 2022

Paperback

Preț: 728^.44 lei 910^.54 lei

43-57 zile

-20%

Editat de Sihem Mesnager et al.

11 ian 2023

Paperback

Preț: 475^.81 lei 594^.76 lei

22-36 zile | 5-11 zile

-20%

Editat de Fabian Lorig et al.

12 ian 2023

Paperback

Preț: 356^.12 lei 445^.15 lei

43-57 zile

-20%

Editat de Ana Paula Rocha et al.

20 ian 2023

Paperback

Preț: 360^.57 lei 450^.72 lei

43-57 zile

-20%

Editat de Shweta Agrawal et al.

25 ian 2023

Paperback

Preț: 668^.97 lei 836^.22 lei

43-57 zile

-20%

Editat de Xingliang Yuan et al.

7 dec 2022

Paperback

Preț: 730^.76 lei 913^.45 lei

43-57 zile

-20%

Structural, Syntactic, and Statistical Pattern Recognition

Editat de Adam Krzyzak et al.

2 ian 2023

Paperback

Preț: 708^.19 lei 885^.24 lei

43-57 zile

-20%

Lecture Notes in Computer Science

Papetărie, jocuri, reviste