Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Daniela Petri¿an, Daniel Petrisan, Daniela Petrisan, ROT, Rot, Jurriaan Rot - Coalgebraic Methods in Computer Science
Daniela Petri¿an, Daniel Petrisan, Daniela Petrisan, ROT, Rot, Jurriaan Rot Coalgebraic Methods in Computer Science Anglais 30.11.2020 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Tomasz Jurdzi¿ski, Tomas Jurdzinski, Tomasz Jurdzinski, SCHMID, Schmid, Stefan Schmid - Structural Information and Communication Complexity
Tomasz Jurdzi¿ski, Tomas Jurdzinski, Tomasz Jurdzinski, SCHMID, Schmid, Stefan Schmid Structural Information and Communication Complexity Anglais 07.08.2021 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics
Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov Perspectives of System Informatics Anglais 01.01.2019 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Jesú Barba, Jesús Barba, Julián Caba, Pedro Diniz, Hayden K H So et al, Fernando Rincón... - Applied Reconfigurable Computing. Architectures, Tools, and Applications
Jesú Barba, Jesús Barba, Julián Caba, Pedro Diniz, Hayden K H So et al, Fernando Rincón... Applied Reconfigurable Computing. Architectures, Tools, and Applications Anglais 01.01.2020 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Fedor V. Fomin, Erik Jan van Leeuwen, Stefa Kratsch, Stefan Kratsch, Erik Jan van Leeuwen, Erik Jan van Leeuwen - Treewidth, Kernels, and Algorithms
Fedor V. Fomin, Erik Jan van Leeuwen, Stefa Kratsch, Stefan Kratsch, Erik Jan van Leeuwen, Erik Jan van Leeuwen Treewidth, Kernels, and Algorithms Anglais 01.03.2020 Livre de poche Fr. 90.00 1-2 semaines (titre imprimé sur commande)
Laura Antonelli, Laura Antonelli et al, Dor B Heras, Dora B Heras, Dora B. Heras, Bartosz Balis... - Euro-Par 2020: Parallel Processing Workshops
Laura Antonelli, Laura Antonelli et al, Dor B Heras, Dora B Heras, Dora B. Heras, Bartosz Balis... Euro-Par 2020: Parallel Processing Workshops Anglais 01.01.2021 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Esthe Guerra, Esther Guerra, Stoelinga, Stoelinga, Mariëlle Stoelinga - Fundamental Approaches to Software Engineering
Esthe Guerra, Esther Guerra, Stoelinga, Stoelinga, Mariëlle Stoelinga Fundamental Approaches to Software Engineering Anglais 01.01.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Ran Cheng, Ran Cheng et al, Hisao Ishibuchi, Hui Li, Ke Li, Handing Wang... - Evolutionary Multi-Criterion Optimization
Ran Cheng, Ran Cheng et al, Hisao Ishibuchi, Hui Li, Ke Li, Handing Wang... Evolutionary Multi-Criterion Optimization Anglais 01.01.2021 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
Stefa Kiefer, Stefan Kiefer, Tasson, Tasson, Christine Tasson - Foundations of Software Science and Computation Structures
Stefa Kiefer, Stefan Kiefer, Tasson, Tasson, Christine Tasson Foundations of Software Science and Computation Structures Anglais 01.01.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Nobuk Yoshida, Nobuko Yoshida - Programming Languages and Systems
Nobuk Yoshida, Nobuko Yoshida Programming Languages and Systems Anglais 01.01.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Ja Friso Groote, Jan Friso Groote, Jan Friso Groote, Guldstrand Larsen, Guldstrand Larsen, Kim Guldstrand Larsen - Tools and Algorithms for the Construction and Analysis of Systems
Ja Friso Groote, Jan Friso Groote, Jan Friso Groote, Guldstrand Larsen, Guldstrand Larsen, Kim Guldstrand Larsen Tools and Algorithms for the Construction and Analysis of Systems Anglais 01.01.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Ja Friso Groote, Jan Friso Groote, Jan Friso Groote, Guldstrand Larsen, Guldstrand Larsen, Kim Guldstrand Larsen - Tools and Algorithms for the Construction and Analysis of Systems
Ja Friso Groote, Jan Friso Groote, Jan Friso Groote, Guldstrand Larsen, Guldstrand Larsen, Kim Guldstrand Larsen Tools and Algorithms for the Construction and Analysis of Systems Anglais 01.01.2021 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Ruy De Queiroz, Alexandra Silva, Renat Wassermann, Renata Wassermann - Logic, Language, Information, and Computation
Ruy De Queiroz, Alexandra Silva, Renat Wassermann, Renata Wassermann Logic, Language, Information, and Computation Anglais 12.11.2021 Livre de poche Fr. 102.00 1-2 semaines (titre imprimé sur commande)
Zhenhua Duan, Shaoying Liu, Shaoying Liu et al, Huaikou Miao, Con Tian, Cong Tian - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu, Shaoying Liu et al, Huaikou Miao, Con Tian, Cong Tian Structured Object-Oriented Formal Language and Method Anglais 01.04.2020 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Nenad Mladenovic, Mohammed Omar, Angelo Sifaleras, Angelo Sifaleras et al, Andre Sleptchenko, Andrei Sleptchenko - Variable Neighborhood Search
Nenad Mladenovic, Mohammed Omar, Angelo Sifaleras, Angelo Sifaleras et al, Andre Sleptchenko, Andrei Sleptchenko Variable Neighborhood Search Anglais 01.04.2021 Livre de poche Fr. 83.00 1-2 semaines (titre imprimé sur commande)
Zhipeng Cai, Zhipeng Cai et al, Donghyun Kim, Dong Hoon Lee, N Uma, R N Uma... - Computing and Combinatorics
Zhipeng Cai, Zhipeng Cai et al, Donghyun Kim, Dong Hoon Lee, N Uma, R N Uma... Computing and Combinatorics Anglais 01.10.2020 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
Maria J. Blesa, Christian Blum, Christian Blum et al, Marco Dorigo, Heiko Hamann, Mary Katherine Heinrich... - Swarm Intelligence
Maria J. Blesa, Christian Blum, Christian Blum et al, Marco Dorigo, Heiko Hamann, Mary Katherine Heinrich... Swarm Intelligence Anglais 14.01.2021 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Eri Barendsen, Erik Barendsen, Chytas, Chytas, Christos Chytas - Informatics in Schools. Rethinking Computing Education
Eri Barendsen, Erik Barendsen, Chytas, Chytas, Christos Chytas Informatics in Schools. Rethinking Computing Education Anglais 06.12.2021 Livre de poche Fr. 76.00 1-2 semaines (titre imprimé sur commande)
Colette Johnen, Ela Michael Schiller, Elad Michael Schiller, Elad Michael Schiller, Stefan Schmid - Stabilization, Safety, and Security of Distributed Systems
Colette Johnen, Ela Michael Schiller, Elad Michael Schiller, Elad Michael Schiller, Stefan Schmid Stabilization, Safety, and Security of Distributed Systems Anglais 20.12.2021 Livre de poche Fr. 123.00 1-2 semaines (titre imprimé sur commande)
Petra Mutzel, Md. Saidur Rahman, Md Saidur Rahman, Salmin, Slamin - WALCOM: Algorithms and Computation
Petra Mutzel, Md. Saidur Rahman, Md Saidur Rahman, Salmin, Slamin WALCOM: Algorithms and Computation Anglais 30.03.2022 Livre de poche Fr. 103.00 1-2 semaines (titre imprimé sur commande)