Book serie: / Книги серии: Texts in Theoretical Computer Science. An EATCS Series » Page 2299 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts in Theoretical Computer Science. An EATCS Series » Page 2299

book Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

pdf

Author: Erich Grädel Phokion G. Kolaitis Leonid Libkin Maarten Marx Joel Spencer Moshe Y. Vardi Yde Venema Scott Weinstein
Language: English
Year: 2004

00

26.01.2024

0

0

book The next wave in computing, optimization, and decision technologies

The next wave in computing, optimization, and decision technologies

pdf

Author: Golden B. Raghavan S. Wasil E. (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Metaheuristics: Progress in Complex Systems Optimization

Metaheuristics: Progress in Complex Systems Optimization

pdf

Author: Karl F. Doerner Michel Gendreau Peter Greistorfer Walter Gutjahr Richard F. Hartl Marc Reimann
Language: English
Year: 2007

00

26.01.2024

1

0

book The Information Security Dictionary

The Information Security Dictionary

pdf

Author: Urs E. Gattiker
Language: English
Year: 2004

00

26.01.2024

1

0

book Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings

Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings

pdf

Author: Alex Biryukov Christophe De Cannière Michaël Quisquater (auth.) Matt Franklin (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Modelling Distributed Systems

Modelling Distributed Systems

pdf

Author: Wan Fokkink
Language: English
Year: 2007

00

26.01.2024

2

0

book Parameterized Complexity Theory

Parameterized Complexity Theory

pdf

Author: Jörg Flum Martin Grohe
Language: English
Year: 2006

00

26.01.2024

0

0

book Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry: International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers

Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry: International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers

pdf

Author: Christoph Sklarczyk Horst Perner (auth.) Petra Perner Ovidio Salvetti (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Wireless OFDM Systems: How to Make Them Work?

Wireless OFDM Systems: How to Make Them Work?

pdf

Author: Marc Engels
Language: English
Year: 2002

00

26.01.2024

2

0

book Wide-Bandwidth High Dynamic Range D/a Converters

Wide-Bandwidth High Dynamic Range D/a Converters

pdf

Author: Konstantinos Doris Arthur H. M. van Roermund Domine Leenaerts
Language: English
Year: 2006

00

26.01.2024

0

0