Languages
Subject
Format
Availabity
Authors

Search result

Pierrick Legrand, Evelyne Lutton, Nicolas Monmarché, Pierre Parrend, Marc Schoenauer - Artificial Evolution
Pierrick Legrand, Evelyne Lutton, Nicolas Monmarché, Pierre Parrend, Marc Schoenauer Artificial Evolution English 20.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke - Computer Performance Engineering
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke Computer Performance Engineering English 03.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Rudolf Fleischer, Roberto Solis-Oba - Approximation and Online Algorithms
Rudolf Fleischer, Roberto Solis-Oba Approximation and Online Algorithms English 01.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Steve Battle, Christopher J. Headleand, Peter R. Lewis, Panagiotis D. Ritsos - Artificial Life and Intelligent Agents
Steve Battle, Christopher J. Headleand, Peter R. Lewis, Panagiotis D. Ritsos Artificial Life and Intelligent Agents English 19.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Victor Khomenko, Olivier H. Roux - Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux Application and Theory of Petri Nets and Concurrency English 08.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z English 08.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Chapman, Dominik Endres, Nathalie Pernelle - Graph-Based Representation and Reasoning
Peter Chapman, Dominik Endres, Nathalie Pernelle Graph-Based Representation and Reasoning English 20.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Koro¿ec, Peter Korosec, Peter Korošec, Nouredine Melab, El-Ghazali Talbi - Bioinspired Optimization Methods and Their Applications
Peter Koro¿ec, Peter Korosec, Peter Korošec, Nouredine Melab, El-Ghazali Talbi Bioinspired Optimization Methods and Their Applications English 13.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero - Computing with Foresight and Industry
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero Computing with Foresight and Industry English 19.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Esther Guerra, Fernando Orejas - Graph Transformation
Esther Guerra, Fernando Orejas Graph Transformation English 25.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Huchuan Lu, Huajin Tang, Zhanshan Wang - Advances in Neural Networks - ISNN 2019
Huchuan Lu, Huajin Tang, Zhanshan Wang Advances in Neural Networks - ISNN 2019 English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Konstantin Avrachenkov, Pawe¿ Pra¿at, Pawel Pralat, Paweł Prałat, Nan Ye - Algorithms and Models for the Web Graph
Konstantin Avrachenkov, Pawe¿ Pra¿at, Pawel Pralat, Paweł Prałat, Nan Ye Algorithms and Models for the Web Graph English 04.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Keren Censor-Hillel, Michele Flammini - Structural Information and Communication Complexity
Keren Censor-Hillel, Michele Flammini Structural Information and Communication Complexity English 13.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Leszek Antoni G¿sieniec, Leszek Antoni Gasieniec, Leszek Antoni Gąsieniec, Jesper Jansson, Christos Levcopoulos - Fundamentals of Computation Theory
Leszek Antoni G¿sieniec, Leszek Antoni Gasieniec, Leszek Antoni Gąsieniec, Jesper Jansson, Christos Levcopoulos Fundamentals of Computation Theory English 10.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Charles J. Colbourn, Roberto Grossi, Nadia Pisanti - Combinatorial Algorithms
Charles J. Colbourn, Roberto Grossi, Nadia Pisanti Combinatorial Algorithms English 11.07.2019 Paperback / Softback Fr. 103.00 6-7 weeks
Susanne Göbel - A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Susanne Göbel A Polynomial Translation of Mobile Ambients into Safe Petri Nets English 28.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Marin Lujak - Agreement Technologies
Marin Lujak Agreement Technologies English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 24.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks