Program Analysis and Compilation, Theory and Practice (Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Thomas W. Reps, Mooly Sagiv, Jörg Bauer

Program Analysis and Compilation, Theory and Practice (Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Thomas W. Reps, Mooly Sagiv, Jörg Bauer

£45.54

Computer Algebra in Scientific Computing (15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings (Theoretical Computer Science and General Issues))

By Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

Computer Algebra in Scientific Computing (15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings (Theoretical Computer Science and General Issues))

By Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

£45.06

Computer Science - Theory and Applications (Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Anna Frid, Andrey S. Morozov, Andrey Rybalchenko, Klaus W. Wagner

Computer Science - Theory and Applications (Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Anna Frid, Andrey S. Morozov, Andrey Rybalchenko, Klaus W. Wagner

£45.07

Formal Modeling and Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Joel Ouaknine, Frits W. Vaandrager

Formal Modeling and Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Joel Ouaknine, Frits W. Vaandrager

£45.01

Computer Algebra in Scientific Computing (14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6 2012 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

Computer Algebra in Scientific Computing (14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6 2012 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

£45.01

Reversible Computation (5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings (Lecture Notes in Computer Science))

By Gerhard W. Dueck, D. Michael Miller

Reversible Computation (5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings (Lecture Notes in Computer Science))

By Gerhard W. Dueck, D. Michael Miller

£42.08

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

£45.34

Component-Based Software Engineering (8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (Programming and Software Engineering) (Lecture Notes in Computer Science))

By George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford

Component-Based Software Engineering (8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (Programming and Software Engineering) (Lecture Notes in Computer Science))

By George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford

£45.54

Advanced ASIC Chip Synthesis (Using Synopsys (R) Design Compiler (TM) and PrimeTime (R))

By Bhatnagar, Himanshu

Advanced ASIC Chip Synthesis (Using Synopsys (R) Design Compiler (TM) and PrimeTime (R))

By Bhatnagar, Himanshu

£45.02

Rules and Rule Markup Languages for the Semantic Web (First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005 : Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Asaf Adi, Suzette Stoutenburg, Said Tabet

Rules and Rule Markup Languages for the Semantic Web (First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005 : Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Asaf Adi, Suzette Stoutenburg, Said Tabet

£45.66

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops (ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings (Lecture Not ..)

By Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops (ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings (Lecture Not ..)

By Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo

£89.15

Mathematical Foundations of Computer Science (32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Ludek Kucera, Antonin Kucera

Mathematical Foundations of Computer Science (32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Ludek Kucera, Antonin Kucera

£89.16

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

£45.03

Makin' Numbers (Howard Aiken and the Computer (History of Computing))

By I. Bernard Cohen, Gregory W. Welch

Makin' Numbers (Howard Aiken and the Computer (History of Computing))

By I. Bernard Cohen, Gregory W. Welch

Currently
Unavailable

Building the Data Warehouse

By W. H. Inmon, William H. Inmon

Building the Data Warehouse

By W. H. Inmon, William H. Inmon

Currently
Unavailable

Information Systems Interoperability (Advanced Software Development S.)

By Bernd J. Kramer, etc., Michael Papazoglou (Tilburg University, Tilburg, the Netherlands, Heinz-W. Schmidt

Information Systems Interoperability (Advanced Software Development S.)

By Bernd J. Kramer, etc., Michael Papazoglou (Tilburg University, Tilburg, the Netherlands, Heinz-W. Schmidt

Currently
Unavailable

Dependable Computing for Critical Applications (Dependable Computing and Fault-tolerant Systems)

By Ravishankar K. Iyer, W. Kent Fuchs, Virgil Gligor, Michele Morganti

Dependable Computing for Critical Applications (Dependable Computing and Fault-tolerant Systems)

By Ravishankar K. Iyer, W. Kent Fuchs, Virgil Gligor, Michele Morganti

Currently
Unavailable

Instructor's Edition

By W.P. Yohe

Instructor's Edition

By W.P. Yohe

Currently
Unavailable

Fril (Fuzzy and Evidential Reasoning in Artificial Intelligence (Uncertainty Theory in Artificial Intelligence S.))

By James Frederick Baldwin, T. P. Martin, Bruce W. Pilsworth (all of the Engineering Mathematics Departmen

Fril (Fuzzy and Evidential Reasoning in Artificial Intelligence (Uncertainty Theory in Artificial Intelligence S.))

By James Frederick Baldwin, T. P. Martin, Bruce W. Pilsworth (all of the Engineering Mathematics Departmen

Currently
Unavailable

Languages for Parallel Architectures (Design, Semantics, Implementation Models (Wiley series in parallel computing))

By J. W. de Bakker

Languages for Parallel Architectures (Design, Semantics, Implementation Models (Wiley series in parallel computing))

By J. W. de Bakker

Currently
Unavailable

Very Large Scale Integration Testing, Vol.5 (Advances in CAD for VLSI S.)

By T.W. Williams

Very Large Scale Integration Testing, Vol.5 (Advances in CAD for VLSI S.)

By T.W. Williams

Currently
Unavailable

Programmable Logic Controllers

By W. Bolton

Programmable Logic Controllers

By W. Bolton

Currently
Unavailable

View:
Safe Search(?):