Výsledky vyhledávání

Obálka

Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...

Vydáno: 2004

Získat plný text

Kniha

Obálka

Tools and algorithms for the construction and analysis of systems : 10th international conference TACAS 2004 held as part of the Joint European Conferences on Theory and Practice o...

Vydáno: 2004

Získat plný text

Kniha

Obálka

Advanced environments, tools, and applications for cluster computing : NATO advanced research workshop, IWCC 2001, Mangalia, Romania, september 1-6, 2001 : revised papers

Vydáno: 2002

Kniha

Obálka

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of So...

Vydáno: 2002

Kniha

Obálka

Multi-agent systems and applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : [Prague, Czech Republic, July 2-13, 2001] : selected revised papers

Vydáno: 2002

Kniha

Obálka

High performance computing : HiPC 2000. 7th international conference, Bangalore, India, December 17-20, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of The Joint European Conferences on Theory and Practice...

Vydáno: 2006

Plný text

Kniha

Obálka

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...

Vydáno: 2006

Plný text

Kniha

Obálka

Tools and algorithms for the construction and analysis of systems : 9th international conference TACAS 2003 held as part of the Joint European Conferences on Theory and Practice of...

Vydáno: 2003

Plný text

Kniha

Obálka

Foundations of software science and computation structures : 6th international conferenceg, FOSSACS 2003 held as part of the Joint European Conferences on Ttheory and Practice of S...

Vydáno: 2003

Plný text

Kniha

Obálka

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Vydáno: 2005

Plný text

Kniha

Obálka

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice...

Vydáno: 2007

Plný text

Kniha

Obálka

NETLAB : algorithms for pattern recognition

Autor Nabney, Ian, 1963- Vydáno: 2002

Kniha

Obálka

Cracking the coding interview : 189 programming questions and solutions

Autor McDowell, Gayle Laakmann, 1982- Vydáno: 2015

Kniha

Obálka

Tools and agorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice o...

Vydáno: 2002

Kniha

Obálka

High performance computing : HiPC 2002 : 9th international conference Bangalore, India, December 18-21, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Competing in the age of AI : strategy and leadership when algorithms and networks run the world

Autor Iansiti, Marco, 1961- Vydáno: 2020

Kniha

Obálka

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain,...

Vydáno: 1997

Kniha