Search Results - "Lecture notes in computer science,"

1

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization /

by Fahringer, Thomas, 1965-, Scholz, Bernhard, 1972-
Published 2003

“...Lecture notes in computer science ;...”

Book

2

The Design of Dynamic Data Structures /

by Overmars, Mark. H., 1958-
Published 1983

“...Lecture notes in computer science ;...”

Book

3

Formal and natural computing : essays dedicated to Grzegorz Rozenberg /

Published 2002

“...Lecture notes in computer science ;...”

Book

4

Cooperative bug isolation : winning thesis of the 2005 ACM doctoral dissertation competition /

by Liblit, Ben
Published 2007

“...Lecture notes in computer science ;...”

Book

5

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

6

Pervasive computing for quality of life enhancemanet : 5th International Conference on Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

7

Logical approaches to computational barriers : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

8

Typed lambda calculi and applications : 8th International Conference, TLCA 2007 : Paris, France, June 26-28, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

9

Integer programming and combinatorial optimization : 12th International IPCO Conference : Ithaca, NY, June 25-27, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

10

Autonomic and trusted computing : 4th International conference, ATC 2007, Hong Kong, China, July 11-13, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

11

Ubiquitous intelligence and computing : 4th International conference, UIC 2007, Hong Kong, July 11-13, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

12

Automata, languages and programming : 34th International Colloquium, ICALP 2007 : Wrocław, Poland, July 9-13, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

13

ECOOP 2007 - object-oriented programming : 21st European Conference : Berlin, Germany, July 30 - August 3, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

14

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 10th International Workshop, APPROX 2007 and 11th International Workshop, RANDOM 2007 : Princeton, NJ, USA, August 20-22, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

15

Static analysis : 14th International Symposium, SAS 2007 : Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

16

Evolvable systems: from biology to hardware : 7th International Conference, ICES 2007 : Wuhan, China, September 21-23, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

17

Machines, computations, and universality : 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

18

Principles and practice of constraint programming - CP 2007 : 13th International Conference, CP 2007 : Providence, RI, USA, September 23-27, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

19

FM 2006 : formal methods : 14 International Symposium on Formal Methods : Hamilton, Canada, August 21-27, 2006 : proceedings /

Published 2006

“...Lecture notes in computer science ;...”

Book

20

Computer algebra in scientific computing : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007 : proceedings /

Published 2007

“...Lecture notes in computer science ;...”

Book

Narrow Search