Results 1 - 10 of 11 for General Search
Sorted by:
Sorted by:
PopularityOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, ProceedingsMerelo, Juan J ; Adamidis, Panagiotis ; Beyer, Hans-Georg Guervós, Juan Julián Merelo ; Adamidis, Panagiotis ; Beyer, Hans-Georg ; Fernández-Villacañas, José-Luis ; Schwefel, Hans-PaulBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
| 2 |
Material Type: Book
|
|
Contracts for System DesignBenveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.Foundations and Trends in Electronic Design Automation, 2018, Vol.12 (2-3), p.124-400 [Peer Reviewed Journal]Boston - Delft: Now PublishersFull text available |
| 3 |
Material Type: Book
|
|
Parallel Problem Solving from Nature-PPSN VI: 6th International Conference, Paris, France, September 18-20 2000 ProceedingsSchoenauer, Marc ; Deb, Kalyanmoy ; Rudolph, Günther ; Yao, Xin ; Lutton, Evelyne ; Merelo, Juan Julian ; Schwefel, Hans-Paul Lutton, Evelyne ; Merelo, Juan Julian ; Schoenauer, Marc ; Deb, Kalyanmoy ; Yao, Xin ; Rudolph, Günther ; Schwefel, Hans-PaulBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Full text available |
| 4 |
Material Type: Book
|
|
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 ProceedingsOliveira, José Nuno ; Zave, Pamela Zave, Pamela ; Oliveira, José NunoBerlin, Heidelberg: Springer Berlin Heidelberg 2001Full text available |
| 5 |
Material Type: Book
|
|
Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 ProceedingsPorto, V. W ; Saravanan, N ; Waagen, D ; Eiben, A. E Saravanan, N. ; Waagen, D. ; Porto, V. W. ; Eiben, A. E.Berlin, Heidelberg: Springer Berlin Heidelberg 1998Full text available |
| 6 |
Material Type: Book
|
|
New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. ProceedingsDumke, Reiner ; Abran, Alain Abran, Alain ; Dumke, ReinerBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Full text available |
| 7 |
Material Type: Book
|
|
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, ProceedingsHunt, Warren A., Jr ; Somenzi, Fabio Hunt, Warren A. ; Somenzi, FabioBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Full text available |
| 8 |
Material Type: Book
|
|
Evolutionary Programming VI: 6th International Conference, EP97 Indianapolis, Indiana, USA, April 13–16, 1997 ProceedingsAngeline, Peter J ; Reynolds, Robert G ; McDonnell, John R ; Eberhart, Russ McDonnell, John R. ; Eberhart, Russ ; Angeline, Peter J. ; Reynolds, Robert G.Berlin, Heidelberg: Springer Berlin Heidelberg 1997Full text available |
| 9 |
Material Type: Book
|
|
Database Theory - ICDT'99: 7th International Conference, Jerusalem, Israel, January 10-12, 1999, ProceedingsBeeri, Catriel ; Buneman, Peter Beeri, Catriel ; Buneman, PeterBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Full text available |
| 10 |
Material Type: Book
|
|
Bit-interleaved coded modulationGuillén i Fàbregas, A ; Martinez, Alfonso ; Caire, GFoundations and trends in communications and information theory, 2008, Vol.5 (1-2), p.1-153 [Peer Reviewed Journal]Hanover, Mass: Now PublishersFull text available |
Results 1 - 10 of 11 for General Search
Sorted by:
Sorted by:
PopularityOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Refine My Results
Subject
- Congresses (8)
- Kongress (8)
- E-Book Springer Lncs (7)
- Artificial Intelligence (6)
- Computers (6)
- Computer Software (6)
- Computation By Abstract Devices (5)
- Congrès (5)
- Software Engineering (4)
- Programming Techniques (4)
- Algorithm Analysis And Problem Complexity (4)
- Evolutionärer Algorithmus (4)
- Computing And Processing (3)
- Genetische Programmierung (3)
- Information Theory (3)
- Mathematical Logic (3)
- Algorithms (3)
- Mathematical Logic And Formal Languages (3)
- Logiciels (3)
-
More options
Creation Date
- Before1998 (2)
- 1998To1999 (3)
- 2000To2001 (3)
- 2002To2005 (5)
- After 2005 (6)
-
More options
Database/Library
- Lecture Notes in Computer Science Archive (through to 1996) (8)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (8)
- Springer Books (8)
- SpringerLINK Lecture Notes in Computer Science (2015) (8)
- SpringerLink Books Lecture Notes in Computer Science Archive (8)
- Springer Books Online Archive (8)
- Foundations and Trends in Technology (3)
- Academic OneFile (3)
- Publisher website (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 