Results 1 - 10 of 7,137 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (1,003)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
Concepts and Guidelines of Feature Modeling for Product Line Software EngineeringGacek, CristinaLecture notes in computer science, 2002, Vol.2319, p.62-77 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
| 2 |
Material Type: Book Chapter
|
|
Software Verification with BLASTBall, Thomas ; Rajamani, Sriram KLecture notes in computer science, 2003, Vol.2648, p.235-239 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
| 3 |
Material Type: Book Chapter
|
|
Amino Acid Production ProcessesFaurie, Robert ; Thommel, JürgenMicrobial Production of l-Amino Acids, 2003, Vol.79, p.1-35Germany: Springer Berlin / HeidelbergFull text available |
| 4 |
Material Type: Book Chapter
|
|
What Went Wrong: Explaining CounterexamplesBall, Thomas ; Rajamani, Sriram KLecture notes in computer science, 2003, Vol.2648, p.121-136 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
| 5 |
Material Type: Book Chapter
|
|
MetaEdit— A flexible graphical environment for methodology modellingSmolander, Kari ; Lyytinen, Kalle ; Tahvanainen, Veli-Pekka ; Marttiin, PenttiAdvanced Information Systems Engineering, 2005, p.168-193 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 6 |
Material Type: Book Chapter
|
|
Thread-Modular Model CheckingBall, Thomas ; Rajamani, Sriram KLecture notes in computer science, 2003, Vol.2648, p.213-224 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
| 7 |
Material Type: Book Chapter
|
|
Timed InterfacesSangiovanni-Vincentelli, Alberto ; Sifakis, JosephEmbedded Software, 2002, Vol.2491, p.108-122 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
| 8 |
Material Type: Book Chapter
|
|
Interface Theories for Component-Based DesignHenzinger, Thomas A ; Kirsch, Christoph MEmbedded Software, 2001, Vol.2211, p.148-165 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
| 9 |
Material Type: Book Chapter
|
|
LOKI — A cryptographic primitive for authentication and secrecy applicationsBrown, Lawrence ; Pieprzyk, Josef ; Seberry, JenniferAdvances in Cryptology — AUSCRYPT '90, 2005, p.229-236 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 10 |
Material Type: Book Chapter
|
|
EasyLiving: Technologies for Intelligent EnvironmentsThomas, Peter ; Gellersen, Hans-WHandheld and Ubiquitous Computing, 2000, Vol.1927, p.12-29 [Peer Reviewed Journal]Germany: Springer Berlin / HeidelbergFull text available |
Results 1 - 10 of 7,137 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (1,003)
Refine My Results
Subject
- Electrical Engineering (1,522)
- Technology (1,262)
- Science & Technology (1,256)
- Computer Science (1,002)
- Software Engineering (933)
- Circuits & Components (792)
- Engineering (764)
- Applied Sciences (749)
- Exact Sciences And Technology (729)
- Computer Science; Control Theory; Systems (597)
- Computer Science, Theory & Methods (544)
- Software (511)
- Computer Science, Software Engineering (507)
- Engineering, Electrical & Electronic (481)
- Biomedical Engineering (474)
- Mechanical Engineering (460)
- Engineering: General (349)
- Electronics Engineering (307)
- Communications Engineering / Telecommunications (263)
- Environmental Engineering & Technology (250)
-
More options
Creation Date
- Before1977 (37)
- 1977To1986 (145)
- 1987To1995 (152)
- 1996To2005 (2,003)
- After 2005 (3,852)
-
More options
Database/Library
- Springer Books (7,137)
- SpringerLink Books Lecture Notes in Computer Science Archive (2,582)
- Lecture Notes in Computer Science Archive (through to 1996) (1,751)
- SpringerLINK Lecture Notes in Computer Science (2015) (1,167)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1,163)
- Science Citation Index Expanded (Web of Science) (645)
- IngentaConnect Journals (91)
- JSTOR eBooks (23)
- DOAB: Directory of Open Access Books (23)
- JSTOR eBooks: Open Access (23)
- OAPEN (23)
- ACM Digital Library (19)
- Springer Nature - Springer Lecture Notes in Physics eBooks (17)
- SpringerLINK Lecture Notes in Physics Archive (Through 1996) (16)
- Springer Nature - Springer Lecture Notes in Mathematics eBooks (13)
- SpringerLINK Lecture Notes in Mathematics Contemporary (1997-present) (13)
- Wiley Online Library All Obooks (12)
- ScienceDirect eBooks (10)
- Elsevier ScienceDirect eBook - All Access Books (10)
-
More options
Language
- English (7,080)
- French (33)
- Japanese (22)
- German (19)
- Interlingue (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 