Тема, жанр, tags: Mathematics of Computing,Arithmetic and Logic Structures,Mathematical Logic and Foundations » Page 31 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics of Computing,Arithmetic and Logic Structures,Mathematical Logic and Foundations » Page 31

book Mathematik für Informatiker: Grundlegende Begriffe und Strukturen

Mathematik für Informatiker: Grundlegende Begriffe und Strukturen

pdf

Author: Rudolf Berghammer (auth.)
Language: German
Year: 2014

00

27.01.2024

0

0

book Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

pdf

Author: Vladimir P. Gerdt Wolfram Koepf Werner M. Seiler Evgenii V. Vorozhtsov (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Rechneraufbau und Rechnerarchitektur

Rechneraufbau und Rechnerarchitektur

pdf

Author: Axel Böttcher (auth.)
Language: German
Year: 2006

00

27.01.2024

2

0

book Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen

Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen

pdf

Author: Rudolf Berghammer (auth.)
Language: German
Year: 2013

00

27.01.2024

0

0

book Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?

Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?

pdf

Author: Michael Schenke (auth.)
Language: German
Year: 2013

00

27.01.2024

0

0

book Relational Methods for Computer Science Applications

Relational Methods for Computer Science Applications

pdf

Author: Jules Desharnais Ridha Khédri Ali Mili (auth.) Prof. Dr. Ewa Orłowska Prof. Dr. Andrzej Szałas (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

pdf

Author: Stefano Aguzzoli Simone Bova Vincenzo Marra (auth.) Sergei Artemov Anil Nerode (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

pdf

Author: Tilak Agerwala (auth.) André Seznec Joel Emer Michael O’Boyle Margaret Martonosi Theo Ungerer (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

pdf

Author: John L. Henning (auth.) David Kaeli Kai Sachs (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

pdf

Author: Biswajit Mishra Bashir M. Al-Hashimi (auth.) Lars Svensson José Monteiro (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0