Výsledky vyhledávání - 9783540732457~

1

Obálka

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the ocassion of his 60th birthday /

Vydáno 2007

“...978-3-540-73146-7...”

Kniha

2

Obálka

Rough sets and knowledge technology : second international conference, RSKT 2007, Toronto, Canada, May 14-16, 2007 : proceedings /

Vydáno 2007

“...978-3-540-72457-5...”

Kniha

3

Obálka

Information security and privacy : 12th Australasian Conference, ACISP 2007 : Townsville, Australia, July 2-4, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73457-4...”

Kniha

4

Obálka

Logic, language, information, and computation : 14th international workshop, WOLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73443-7...”

Kniha

5

Obálka

Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies : Geneva, Switzerland, June 25-29, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73229-7...”

Kniha

6

Obálka

Developments in Language Theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73207-5...”

Kniha

7

Obálka

Term rewriting and applications : 18th International Conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73447-5...”

Kniha

8

Obálka

Security and privacy in ad-hoc and sensor networks : 4th European Workshop, ESAS 2007 : Cambridge, UK, July 2-3, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73274-7...”

Kniha

9

Obálka

Foundations of Augmented Cognition : third International Conference, FAC 2007 : held as part of HCI International 2007 : Beijing, China, July 22-27, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73215-0...”

Kniha

10

Obálka

Combinatorial optimization and appliactions : first International Conference, COCOA 2007 : Xi'an, China, August 14-16, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73555-7...”

Kniha

11

Obálka

Human interface and the management of information : methods, techniques and tools in information design : Symposium on Human Interface 2007 : held as part of HCI International 2007 : Beijing, China, July 22-27, 2007 : proceedings. Part I /

Vydáno 2007

“...978-3-540-73344-7...”

Kniha

12

Obálka

Algorithms and data structures : 10th International Workshop, WADS 2007 : Halifax, Canada, August 15-17, 2007 : proceedings /

Vydáno 2007

“...978-3-540-73948-7...”

Kniha

13

Obálka

Algorithmic methods for railway optimization : International Dagstuhl Workshop Railway Optimization : Dagstuhl Castle, Germany, June 20-25, 2004 : Bergen, Norway, September 16-17, 2004 : revised selected papers /

Vydáno 2007

“...978-3-540-74245-6...”

Kniha

14

Obálka

Advances in geometric modeling and processing : 5th International Conference, GMP 2008 : Hangzhou, China, April 23-25, 2008 : proceedings /

Vydáno 2008

“...978-3-540-79245-1...”

Kniha