Search Results - "Lecture notes in computer science ;"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 2,115
- Computer science 2,056
- Computer networks 1,370
- Computer security 1,338
- Data processing 1,319
- Software engineering 1,185
- Computer software 1,081
- Database management 822
- Data encryption (Computer science) 819
- Data mining 746
- Electronic data processing 745
- Human-computer interaction 738
- Security measures 704
- Computer vision 686
- Mathematics 623
- Image processing 524
- Machine learning 496
- Distributed processing 486
- Computer algorithms 485
- Parallel processing (Electronic computers) 481
- Formal methods (Computer science) 441
- Digital techniques 437
- Computer programming 425
- Intelligent agents (Computer software) 419
- Internet 414
- Computers 386
- Computer simulation 383
- Programming languages (Electronic computers) 383
- Pattern recognition systems 372
- Verification 364
-
1
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
Published 2005“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...
Published 2005“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday /
Published 2005“…Lecture notes in computer science ;…”
Book -
4
From integrated publication and information systems to virtual information and knowledge environments : essays dedicated to Erich J. Neuhold on the occasion of his 65th birthday /
Published 2005“…Lecture notes in computer science ;…”
Book -
5
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
Published 2005“…Lecture notes in computer science ;…”
Book -
6
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 /
Published 2005“…Lecture notes in computer science ;…”
Conference Proceeding Book -
7
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
Published 2005“…Lecture notes in computer science ;…”
Book -
8
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /
Published 2006“…Lecture notes in computer science ;…”
Book -
9
Active, real-time, and temporal database systems.
Request a PDF (UCB only)
Conference Proceeding -
10
Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers /
Published 2006“…Lecture notes in computer science ;…”
Conference Proceeding Book -
11
Validation of stochastic systems : a guide to current research /
Published 2004“…Lecture notes in computer science ;…”
Access full-text online
Book -
12
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro,...
Published 2004“…Lecture notes in computer science ;…”
Access full-text online
Conference Proceeding Book -
13
Primality testing in polynomial time : from randomized algorithms to "primes is in P" /
Published 2004“…Lecture notes in computer science ;…”
Access full-text online
Book -
14
Uncertain projective geometry : statistical reasoning for polyhedral object reconstruction /
Published 2004“…Lecture notes in computer science ;…”
Book -
15
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
Published 2004“…Lecture notes in computer science ;…”
Access full-text online
Book -
16
Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, revised lectures /
Published 2004“…Lecture notes in computer science ;…”
Access full-text online
Conference Proceeding Book -
17
Graph transformation, specifications, and nets : in memory of Hartmut Ehrig /
Published 2018“…Lecture notes in computer science ;…”
Full Text (via Springer)
eBook -
18
Reasoning web second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures /
Published 2006“…Lecture notes in computer science ;…”
Electronic Conference Proceeding eBook -
19
Network analysis : methodological foundations /
Published 2005“…Lecture notes in computer science ;…”
Book -
20
Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /
Published 2007“…Lecture notes in computer science ;…”
Electronic eBook