Visar resultat för...

Theoretical Computer Science and General Issues

2 302 produkter

Böcker

2 302 produkter

DNA Computing and Molecular Programming

Av David Doty, Hendrik Dietz

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Formal Modeling and Analysis of Timed Systems

Av David N. Jansen, Pavithra Prabhakar

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Reachability Problems

Av Igor Potapov, Pierre-Alain Reynier

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

Graph-Theoretic Concepts in Computer Science

Av Andreas Brandstädt, Ekkehard Köhler, Klaus Meer

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Agustin Riscos-Nunez, Gheorghe Paun, Gheorghe Riscos-Núñez, Agustín - Enjoying Natural Computing, Häftad

Enjoying Natural Computing

Av Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Agustin Riscos-Nunez, Gheorghe Paun, Gheorghe Riscos-Núñez, Agustín

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Verification and Evaluation of Computer and Communication Systems

Av Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Coalgebraic Methods in Computer Science

Av Corina Cîrstea

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

String Processing and Information Retrieval

Av Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Swarm Intelligence

Av Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

Computational Logistics

Av Raffaele Cerulli, Andrea Raiconi, Stefan Voß

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

Information Retrieval

Av Shichao Zhang, Tie-Yan Liu, Xianxian Li, Jiafeng Guo, Chenliang Li

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Structural Information and Communication Complexity

Av Zvi Lotker, Boaz Patt-Shamir

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis, Věra Kůrková, Vera Kurková - Artificial Neural Networks and Machine Learning – ICANN 2018, Häftad

Artificial Neural Networks and Machine Learning – ICANN 2018

Av Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis, Věra Kůrková, Vera Kurková

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Artificial Neural Networks and Machine Learning – ICANN 2018

Av Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis, Věra Kůrková, Vera Kurková

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Artificial Neural Networks and Machine Learning – ICANN 2018

Av Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis, Věra Kůrková, Vera Kurková

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Symposium on Real-Time and Hybrid Systems

Av Cliff Jones, Ji Wang, Naijun Zhan

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Salah A. Al-Sharhan, Antonis C. Simintiras, Yogesh K. Dwivedi, Marijn Janssen, Matti Mäntymäki, Luay Tahat, Issam Moughrabi, Taher M. Ali, Nripendra P. Rana - Challenges and Opportunities in the Digital Era, Häftad

Challenges and Opportunities in the Digital Era

Av Salah A. Al-Sharhan, Antonis C. Simintiras, Yogesh K. Dwivedi, Marijn Janssen, Matti Mäntymäki, Luay Tahat, Issam Moughrabi, Taher M. Ali, Nripendra P. Rana

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Relational and Algebraic Methods in Computer Science

Av Jules Desharnais, Walter Guttmann, Stef Joosten

Häftad, Engelska, 2018

709 kr

Skickas inom 7-10 vardagar

High Performance Computing

Av Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam, Michèle Weiland, Miche`le Weiland

Häftad, Engelska, 2019

729 kr

Skickas inom 7-10 vardagar

Theoretical Aspects of Computing – ICTAC 2018

Av Bernd Fischer, Tarmo Uustalu

Häftad, Engelska, 2018

1 169 kr

Skickas inom 7-10 vardagar

Informatics in Schools. Fundamentals of Computer Science and Software Engineering

Av Sergei N. Pozdniakov, Valentina Dagienė, Valentina Dagiene

Häftad, Engelska, 2018

689 kr

Skickas inom 7-10 vardagar

Stabilization, Safety, and Security of Distributed Systems

Av Taisuke Izumi, Petr Kuznetsov

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Theory and Practice of Natural Computing

Av David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Neural Information Processing

Av Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Neural Information Processing

Av Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar

Neural Information Processing

Av Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa

Häftad, Engelska, 2018

1 309 kr

Skickas inom 7-10 vardagar

Theoretical Computer Science and General Issues

Kategorier

Böcker

Språk

Pris

Bokformat

Utgivare

Utgivningsår

DNA Computing and Molecular Programming

Formal Modeling and Analysis of Timed Systems

Reachability Problems

Graph-Theoretic Concepts in Computer Science

Enjoying Natural Computing

Verification and Evaluation of Computer and Communication Systems

Coalgebraic Methods in Computer Science

String Processing and Information Retrieval

Swarm Intelligence

Computational Logistics

Information Retrieval

Structural Information and Communication Complexity

Artificial Neural Networks and Machine Learning – ICANN 2018

Artificial Neural Networks and Machine Learning – ICANN 2018

Artificial Neural Networks and Machine Learning – ICANN 2018

Symposium on Real-Time and Hybrid Systems

Challenges and Opportunities in the Digital Era

Relational and Algebraic Methods in Computer Science

High Performance Computing

Theoretical Aspects of Computing – ICTAC 2018

Informatics in Schools. Fundamentals of Computer Science and Software Engineering

Stabilization, Safety, and Security of Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Theory and Practice of Natural Computing

Neural Information Processing

Neural Information Processing

Neural Information Processing