|
Theory and Applications of Relational Structures as Knowledge Instruments II
|
Harrie de SwartEwa Or?owskaGunther SchmidtMarc Roubens |
Springer |
_ |
2006 |
|
|
Theory and Applications of Satisfiability Testing
|
Fahiem BacchusToby Walsh |
Springer |
_ |
2005 |
|
|
Theory and Applications of Satisfiability Testing
|
Holger H. HoosDavid G. Mitchell |
Springer |
_ |
2005 |
|
|
Theory and Applications of Satisfiability Testing
|
Enrico GiunchigliaArmando Tacchella |
Springer |
_ |
2004 |
|
|
Theory and Applications of Satisfiability Testing - SAT 2006
|
Armin BiereCarla P. Gomes |
Springer |
_ |
2006 |
|
|
Theory and Applications of Satisfiability Testing - SAT 2009
|
Oliver Kullmann |
Springer |
_ |
2009 |
|
|
Theory and Applications of Satisfiability Testing - SAT 2011
|
Karem A. SakallahLaurent Simon |
Springer |
_ |
2011 |
|
|
Theory and Applications of Satisfiability Testing � SAT 2007
|
Jo�o Marques-SilvaKarem A. Sakallah |
Springer |
_ |
2007 |
|
|
Theory and Applications of Satisfiability Testing � SAT 2008
|
Hans Kleine B�ningXishun Zhao |
Springer |
_ |
2008 |
|
|
Theory and Applications of Satisfiability Testing � SAT 2010
|
Ofer StrichmanStefan Szeider |
Springer |
_ |
2010 |
|
|
Theory and Applications of Satisfiability Testing � SAT 2012
|
Alessandro CimattiRoberto Sebastiani |
Springer |
_ |
2012 |
|
|
Theory and Practice in Distributed Systems
|
Kenneth P. BirmanFriedemann MatternAndr� Schiper |
Springer |
_ |
1995 |
|
|
Theory and Practice of Algorithms in (Computer) Systems
|
Alberto Marchetti-SpaccamelaMichael Segal |
Springer |
_ |
2011 |
|
|
Theory and Practice of Digital Libraries
|
Panayiotis ZaphirisGeorge BuchananEdie RasmussenFernando Loizides |
Springer |
9783642332906 |
2012 |
|
|
Theory and Practice of Model Transformations
|
Richard F. Paige |
Springer |
_ |
2009 |
|
|
Theory and Practice of Model Transformations
|
Zhenjiang HuJuan de Lara |
Springer |
9783642304767 |
2012 |
|
|
Theory and Practice of Model Transformations
|
Laurence TrattMartin Gogolla |
Springer |
_ |
2010 |
|
|
Theory and Practice of Model Transformations
|
Jordi CabotEelco Visser |
Springer |
_ |
2011 |
|
|
Theory and Practice of Model Transformations
|
Antonio VallecilloJeff GrayAlfonso Pierantonio |
Springer |
_ |
2008 |
|
|
Theory and Practice of Natural Computing
|
Adrian-Horia DediuCarlos Mart�n-VideBianca Truthe |
Springer |
_ |
2012 |
|
|
Theory and Practice of Parallel Programming
|
Takayasu ItoAkinori Yonezawa |
Springer |
_ |
1995 |
|
|
Theory Is Forever
|
Juhani Karhum�kiHermann MaurerGheorghe P?unGrzegorz Rozenberg |
Springer |
_ |
2004 |
|
|
Theory of Computing and Systems
|
D. DolevZ. GalilM. Rodeh |
Springer |
_ |
1992 |
|
|
Theory of Cryptography
|
Daniele Micciancio |
Springer |
_ |
2010 |
|
|
Theory of Cryptography
|
Omer Reingold |
Springer |
_ |
2009 |
|