Results 1 - 10 of 76,945 for General Search
Show only
- Full Text Online (28,610)
- Peer-reviewed Journals (11,210)
Refined by:
language:
English
Book Chapters
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D.Correct Hardware Design and Verification Methods, 2003, p.66-80 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 2 |
Material Type: Book Chapter
|
|
Xs Are for Trajectory Evaluation, Booleans Are for Theorem ProvingAagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W.Correct Hardware Design and Verification Methods, 1999, p.202-218 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 3 |
Material Type: Book Chapter
|
|
Model-Driven Development (WMDD 2004)Aagedal, Jan Øyvind ; Bézivin, Jean ; Linington, Peter F.Object-Oriented Technology. ECOOP 2004 Workshop Reader, p.148-157Berlin, Heidelberg: Springer Berlin HeidelbergNo full-text |
| 4 |
Material Type: Book Chapter
|
|
Towards a Plug and Play Architecture for TelecommunicationsAagesen, Finn Arve ; Helvik, Bjarne E. ; Wuwongse, Vilas ; Meling, Hein ; Bræk, Rolv ; Johansen, UlrikIntelligence in Networks, p.321-334Boston, MA: Springer USFull text available |
| 5 |
Material Type: Book Chapter
|
|
Organization LearningAalders, Albert FerdinandCultivating Organizational Excellence, 2023, p.97-124 [Peer Reviewed Journal]Switzerland: Springer International Publishing AGNo full-text |
| 6 |
Material Type: Book Chapter
|
|
Enterprise Tomography Driven Governance of Federated ERP in a CloudAalmink, Jan ; Balloul, Lama ; Glagau, Jan ; Gómez, Jorge MarxICT Innovations 2009, p.257-264Berlin, Heidelberg: Springer Berlin HeidelbergNo full-text |
| 7 |
Material Type: Book Chapter
|
|
On Horizontal Specification Architectures and Their Aspect-Oriented ImplementationsAaltonen, Timo ; Katara, Mika ; Kurki-Suonio, Reino ; Mikkonen, TommiTransactions on Aspect-Oriented Software Development II, p.1-29 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergNo full-text |
| 8 |
Material Type: Book Chapter
|
|
ForewordAarno, Daniel ; Engblom, JakobSoftware and System Development Using Virtual Platforms, 2014United States: Elsevier Science & TechnologyFull text available |
| 9 |
Material Type: Book Chapter
|
|
Simulator IntegrationAarno, Daniel ; Engblom, JakobSoftware and System Development Using Virtual Platforms, 2015, p.1-1United States: ElsevierFull text available |
| 10 |
Material Type: Book Chapter
|
|
Software and System Development using Virtual PlatformsAarno, Daniel ; Engblom, JakobSoftware and System Development Using Virtual Platforms, 2014United States: Elsevier Science & TechnologyFull text available |
Results 1 - 10 of 76,945 for General Search
Personalize your results
Refine Search Results
Expand My Results
Show only
- Full Text Online (28,610)
- Peer-reviewed Journals (11,210)
Refine My Results
Subject
- Architecture (21,805)
- Science & Technology (17,828)
- Technology (17,429)
- Computer Science (16,754)
- Computer Science, Hardware & Architecture (11,256)
- Computer Science, Theory & Methods (8,751)
- Social Sciences (8,393)
- Arts (7,594)
- Applied Arts (7,482)
- Arts & Humanities (6,814)
- Buildings (6,228)
- Information Architecture (6,195)
- Behavioral Sciences (5,497)
- Computer Architecture & Logic Design (5,381)
- Engineering (5,106)
- Applied Sciences (4,114)
- Computer Science, Information Systems (4,007)
- Computer Science, Software Engineering (3,725)
- Theory Of Architecture (3,598)
- Sociology (3,331)
-
More options
Creation Date
- Before1973 (90)
- 1973To1985 (332)
- 1986To1997 (1,987)
- 1998To2010 (24,273)
- After 2010 (54,915)
-
More options
Database/Library
- Springer Books (24,749)
- Taylor & Francis eBooks A-Z (18,565)
- SpringerLINK Lecture Notes in Computer Science (2015) (10,836)
- Lecture Notes in Computer Science Archive (through to 1996) (9,740)
- JSTOR eBooks (8,270)
- ScienceDirect eBooks (5,382)
- eBook - All Access Books [EBAAB] (5,366)
- Wiley Online Library All Obooks (4,672)
- Cambridge Core All Books (4,625)
- De Gruyter eBooks (4,386)
- DOAB: Directory of Open Access Books (3,995)
- JSTOR eBooks: Open Access (3,285)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3,258)
- Wiley Online Book 2010 to present (2,952)
- OAPEN (2,779)
- Science Citation Index Expanded (Web of Science) (2,041)
- Gale eBooks (1,798)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1,658)
- Springer Books Online Archive (1,433)
- Project MUSE Open Access Books (1,220)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 