Theorem Proving in Higher Order Logics by Joe Hurd, Tom Melham - 2005 - 408 pages
Theorem Proving in Higher Order Logics - 2005 - 409 pages
Theorem Proving in Higher Order Logics by Joe Hurd, Tom Melham - 2005 - 408 pages
Theorem Proving in Higher Order Logics by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan - 2004 - 336 pages
Theorem Proving in Higher Order Logics by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan - 2004 - 336 pages
Theorem Proving in Higher Order Logics - 2004 - 337 pages
Theorem Proving in Higher Order Logics - 2003 - 367 pages
Theorem Proving in Higher Order Logics by Burkhart Wolff - 2003 - 366 pages
Theorem Proving in Higher Order Logics by Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - 2002 - 347 pages
Theorem Proving in Higher Order Logics - 2002 - 349 pages
Theorem Proving in Higher Order Logics by Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - 2002 - 347 pages
Theorem Proving in Higher Order Logics by Richard J. Boulton, Paul B. Jackson - 2001 - 393 pages
Theorem Proving in Higher Order Logics by Richard J. Boulton, Paul B. Jackson - 2001 - 393 pages
Theorem Proving in Higher Order Logics - 2001 - 395 pages
Theorem Proving in Higher Order Logics - 2000 - 535 pages
Theorem Proving in Higher Order Logics - 1999 - 359 pages
Theorem Proving in Higher Order Logics by Yves Bertot - 1999 - 358 pages
Theorem proving in higher order logics by Yves Bertot - 1999 - 358 pages
Theorem proving in higher order logics by Jim Grundy, Malcolm Charles Newey - 1998 - 496 pages
Theorem Proving in Higher Order Logics by Jim Grundy, Malcolm Newey - 1998 - 496 pages
Theorem Proving in Higher Order Logics - 1998 - 497 pages
Theorem Proving in Higher Order Logics - 1997 - 337 pages
Theorem Proving in Higher Order Logics - 1997 - 339 pages
Theorem Proving in Higher Order Logics - 1997 - 339 pages
Theorem proving in higher order logics by Joakim Wright, Jim Grundy, John Harrison - 1996 - 446 pages
Theoretical Aspects of Computer Software by Naoki Kobayashi, Benjamin C. Pierce - 2001 - 559 pages
Theoretical Aspects of Computer Software - 2001 - 561 pages
Theoretical Aspects of Computer Software - 1997 - 639 pages
Theoretical Aspects of Computer Software - 1997 - 638 pages
Theoretical Aspects of Computer Software - 1994 - 885 pages
Theoretical aspects of computer software by Masami Hagiya, John C. Mitchell - 1994 - 885 pages
Theoretical Aspects of Computing - ICTAC 2004 by Zhiming Liu, Keijiro Araki - 2005 - 562 pages
Theoretical Aspects of Computing - ICTAC 2006 by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone - 2006 - 370 pages
Theoretical Aspects of Computing - ICTAC 2008 by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun - 2008 - 454 pages
Theoretical Aspects of Computing - ICTAC 2009 by Martin Leucker, Charles Carroll Morgan - 2009 - 357 pages
Theoretical Aspects of Computing -- ICTAC 2011 by Antonio Cerone, Pekka Pihlajasaari - 2011 - 267 pages
Theoretical Computer Science by Christian S. Calude - 2010 - 387 pages
Theoretical Introduction to Programming by Bruce Mills - 2006 - 358 pages
Theoretische und praktische Einführung von softwareunterstütztem Wissensmanagement in einem IT-Beratungsunternehmen by Steffi Baumann - 2002 - 129 pages
Theory and Applications of Satisfiability Testing - SAT 2010 by Ofer Strichman - 2010 - 400 pages
Theory and formal methods by Geoffrey Burn, Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, British Computer Society - 1993 - 325 pages
Theory and Practice of Algorithms in (Computer) Systems by Alberto Marchetti-Spaccamela, Michael Segal - 2011 - 265 pages
Theory and Practice of Model Transformations by Laurence Tratt - 2010 - 278 pages
Theory and Practice of Model Transformations by Richard F. Paige - 2009 - 285 pages
Theory and Practice of Model Transformations by Antonio Vallecillo - 2008 - 259 pages
Theory and Practice of Relational Databases by Stefan Stanczyk, Bob Champion, Richard Leyton - 2004 - 264 pages
Theory and Practice of Relational Databases by Stefan Stanczyk, Dr. Bob Champion, Richard Leyton - 2001 - 253 pages
Theory and practice of software technology by Domenico Ferrari, Mario Bolognani, Joseph Goguen - 1983 - 245 pages
Theory and Practice of Uncertain Programming by Baoding Liu - 2009 - 204 pages
Theory of Program Structures by Sheila A. Greibach - 1975 - 364 pages
Theory of Security and Applications by Sebastian Moedersheim, Catuscia Palamidessi - 2012 - 225 pages
Thinking Machines and the Philosophy of Computer Science - 2010 - 435 pages
Third IEEE International Software Engineering Standards Symposium and Forum (ISESS 97) by IEEE Computer Society. Technical Council on Software Engineering - 1997 - 320 pages
Third International Conference on Software Engineering for Telecommunication Switching Systems, 27-29 June, 1978 by Institution of Electrical Engineers. Electronics Division - 1978 - 199 pages
Third Working Conference on Reverse Engineering by IEEE Computer Society. TCSE Committee on Reverse Engineering - 1996 - 297 pages
Théorie Et Pratique Du Workflow by Thomas Schäl - 1997 - 220 pages
Time bomb 2000 by Edward Yourdon, Jennifer Yourdon - 1998 - 416 pages
Time bomb 2000 by Edward Yourdon, Jennifer Yourdon - 1998 - 416 pages
Time bomb 2000 by Edward Yourdon, Jennifer Yourdon - 1998 - 416 pages
Tog on software design by Bruce Tognazzini - 1996 - 407 pages
Tog on software design by Bruce Tognazzini - 1996 - 407 pages
Tomcat by Jason Brittain, Ian F. Darwin - 2003 - 303 pages
Tomcat by Jason Brittain, Ian F. Darwin - 2003 - 303 pages
Tomcat by Jason Brittain, Ian F. Darwin - 2003 - 303 pages
Tool zur Überwachung von Windows-Diensten im Versicherungswesen: Graphische Umsetzung mit SWT by Angelina Jung - 2012 - 44 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2006 - 506 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2005 - 588 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2004 - 608 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2003 - 604 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2002 - 482 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2001 - 588 pages
Tools and Algorithms for the Construction and Analysis of Systems - 2000 - 552 pages
Tools and Algorithms for the Construction and Analysis of Systems by Bernhard Steffen - 1998 - 455 pages
Tools and Algorithms for the Construction and Analysis of Systems - 1998 - 457 pages
Tools and Algorithms for the Construction and Analysis of Systems - 1997 - 433 pages
Tools and Algorithms for the Construction and Analysis of Systems by Ed Brinksma - 1997 - 431 pages
Tools and Algorithms for the Construction and Analysis of Systems - 1996 - 435 pages
Tools and Algorithms for the Construction and Analysis of Systems - 1995 - 291 pages
Tools and Algorithms for the Construction of Analysis of Systems - 1999 - 445 pages
Tools and Notions for Program Construction - 1982 - 399 pages
Tools for structured design by Marilyn Bohl, Maria Rynn - 1992 - 320 pages
Top Productivity Through Software Reuse by Klaus Schmid - 2011 - 247 pages
Topics in Distributed Algorithms by Gerard Tel - 1991 - 240 pages
Tornado and Vxworks by Christof Wehner - 2006 - 196 pages
Tornado and Vxworks by Christof Wehner - 2006 - 196 pages
Toward zero-defect programming by Allan M. Stavely - 1999 - 240 pages
Towards a Service-Based Internet - 2011 - 338 pages
Towards a Service-Based Internet by Elisabetta Di Nitto, Ramin Yahyapour - 2010 - 240 pages
Towards a Service-Based Internet. ServiceWave 2010 Workshops by Michel Cezon, Yaron Wolfsthal - 2011 - 209 pages
Towards a Software Factory by Michiel Van Genuchten - 1992 - 176 pages
Towards system safety by Felix Redmill, Tom Anderson - 1999 - 255 pages
Transactional Agents by Khaled Nagi - 2001 - 205 pages
Transactional Agents by Khaled Nagi - 2001 - 205 pages
Transactional Information Systems by Gerhard Weikum, Gottfried Vossen - 2002 - 853 pages
Transactional Information Systems by Gerhard Weikum, Gottfried Vossen - 2002 - 853 pages
Transactional information systems by Gerhard Weikum, Gottfried Vossen - 2002 - 853 pages
Transactional Information Systems by Gerhard Weikum, Gottfried Vossen - 2001 - 852 pages
Transactions of Computational Collective Intelligence IV by Ngoc-Thanh Nguyen - 2011 - 211 pages
Transactions on Aspect-Oriented Software Development I by Awais Rashid, Mehmet Aksit - 2006 - 334 pages
Transactions on Aspect-Oriented Software Development II by Awais Rashid, Mehmet Aksit - 2006 - 288 pages
Transactions on Aspect-Oriented Software Development V - 2009 - 265 pages
Transactions on Aspect-Oriented Software Development VI by Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jezequel - 2009 - 267 pages
Transactions on Aspect-Oriented Software Development VIII - 2011 - 225 pages
Transactions on Computational Collective Intelligence I by Ngoc-Thanh Nguyen - 2010 - 207 pages
Transactions on Computational Collective Intelligence II by Ngoc Thanh Nguyen - 2011 - 197 pages
Transactions on Computational Collective Intelligence III by Ngoc Thanh Nguyen - 2011 - 215 pages
Transactions on Computational Collective Intelligence V by Ngoc Thanh Nguyen - 2011 - 213 pages
Transactions on Computational Science I by Marina Gavrilova - 2008 - 181 pages
Transactions on Computational Science II by Marina L. Gavrilova, Yingxu Wang, C. J. Kenneth Tan - 2008 - 247 pages
Transactions on Computational Science X - 2011 - 366 pages
Transactions on Computational Science XV by Marina L. Gavrilova, Cong-Vinh Phan, C.J. Kenneth Tan - 2012 - 217 pages
Transactions on Pattern Languages of Programming II by Paris Avgeriou, Ralph Johnson - 2011 - 125 pages
Transactions on Petri Nets and Other Models of Concurrency II by Kurt Jensen - 2009 - 297 pages
Transactions on Petri Nets and Other Models of Concurrency III by Jonathan Billington - 2009 - 275 pages
Transactions on Petri Nets and Other Models of Concurrency IV - 2011 - 225 pages
Transactions on Petri Nets and Other Models of Concurrency V by Kurt Jensen, Susanna Donatelli, Jetty Kleijn - 2012 - 293 pages
Transfer von EDV-gestützten Qualitätssicherungskonzepten im arabischen Raum by Issam Al-Khouri - 2005 - 121 pages
Transferring software engineering tool technology by Stan Przybylinski, Priscilla J. Fowler, Carnegie-Mellon University. Software Engineering Institute, IEEE Computer Society, ACM Sigsoft - 1988 - 165 pages
Transforming Enterprise Cloud Services by William Y. Chang - 2010 - 428 pages
Translation Memories am Beispiel von Transit 3.0 by Elisabetta D'Amato - 2001 - 53 pages
Trends I Software Engineering - 2001 - 350 pages
Trends I Software Engineering - 2001 - 350 pages
Trends i Software Engineering - 2001 - 350 pages
Trends in Constraint Programming - 2010 - 408 pages
Trends in Distributed Systems: Towards a Universal Service Market by Claudia Linnhoff-Popien - 2000 - 339 pages
Trends in Distributed Systems: Towards a Universal Service Market by Claudia Linnhoff-Popien - 2000 - 339 pages
Trends in Enterprise Architecture Research by Erik Proper - 2010 - 101 pages
Trends in Intelligent Robotics - 2010 - 370 pages
Tried and True Object Development by Ari Jaaksi - 1999 - 315 pages
Troubled IT Projects by John M. Smith - 2001 - 256 pages
Troubled IT projects by John Smith, John M. Smith, Institution of Electrical Engineers - 2001 - 256 pages
Troubleshooting Microsoft Technologies by Chris Wolf - 2003 - 705 pages
Troubleshooting Oracle Performance by Christian Antognini - 2008 - 616 pages
Trust and Deception in Virtual Societies by Cristiano Castelfranchi - 2001 - 257 pages
Trust and Deception in Virtual Societies by Cristiano Castelfranchi - 2001 - 257 pages
Trustworthy Computing by M. Sahinoglu - 2007 - 368 pages
Trustworthy Computing by M. Sahinoglu - 2007 - 368 pages
Trustworthy Global Computing by Martin Wirsing - 2010 - 380 pages
Trustworthy Global Computing by Christos Kaklamanis - 2009 - 217 pages
Trustworthy Global Computing by Gilles Barthe, Cédric Fournet - 2008 - 400 pages
Trustworthy Software Development Processes by Qing Wang, Vahid Garousi, Raymond Madachy - 2009 - 412 pages
Trustworthy Systems Through Quantitative Software Engineering by Lawrence Bernstein, C. M. Yuhas - 2005 - 437 pages
Trustworthy Systems Through Quantitative Software Engineering by Lawrence Bernstein, C. M. Yuhas - 2005 - 437 pages
TSP(SM) Coaching Development Teams by Watts S. Humphrey - 2006 - 448 pages
TSP(SM) Leading a Development Team by Watts S. Humphrey - 2005 - 336 pages
TSP--leading a development team by Watts S. Humphrey - 2006 - 307 pages
Tuning and Customizing a Linux System by Daniel L. Morrill - 2002 - 464 pages
Tutorial software quality assurance by Tsun S. Chow - 1985 - 497 pages
Tutorial, human factors in software development by Bill Curtis, IEEE Computer Society - 1981 - 641 pages
Two bits by Christopher M. Kelty - 2008 - 378 pages
Type and Effect Systems by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson - 1999 - 253 pages
Types and Programming Languages by Benjamin C. Pierce - 2002 - 623 pages
1 2 3