Results 1 - 10 of 817 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Online access. The library also has physical copies. |
| 2 |
Material Type: Article
|
|
The TTT Algorithm: A Redundancy-Free Approach to Active Automata LearningIsberner, Malte ; Howar, Falk ; Steffen, Bernhard Smolka, Scott A. ; Bonakdarpour, BorzooRuntime Verification, p.307-322 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 3 |
Material Type: Article
|
|
Improving the Big Mac Attack on Elliptic Curve CryptographyDanger, Jean-Luc ; Guilley, Sylvain ; Hoogvorst, Philippe ; Murdica, Cédric ; Naccache, David Ryan, Peter Y. A. ; Naccache, David ; Quisquater, Jean-JacquesThe New Codebreakers, 2016, p.374-386 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 4 |
Material Type: Article
|
|
Quantum Finite Automata: A Modern IntroductionSay, A.C. Cem ; Yakaryılmaz, Abuzer Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaComputing with New Resources, p.208-222 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 5 |
Material Type: Article
|
|
Synergistic Characteristic of Human Hand during Grasping Tasks in Daily LifeLiu, Mingjin ; Xiong, Caihua Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, XianminIntelligent Robotics and Applications, p.67-76 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 6 |
Material Type: Article
|
|
Aspects of Reversibility for Classical AutomataKutrib, Martin Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaComputing with New Resources, p.83-98 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 7 |
Material Type: Article
|
|
MassiveThreads: A Thread Library for High Productivity LanguagesNakashima, Jun ; Taura, Kenjiro Agha, Gul ; Kobayashi, Naoki ; Matsuoka, Satoshi ; Taura, Kenjiro ; Masuhara, Hidehiko ; Igarashi, Atsushi ; Shibayama, EtsuyaConcurrent Objects and Beyond, p.222-238 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 8 |
Material Type: Article
|
|
Making Use of Design PrinciplesChandra Kruse, Leona ; Seidel, Stefan ; Purao, Sandeep Helfert, Markus ; Kenneally, Jim ; Venable, John ; Donnellan, Brian ; Tuunanen, Tuure ; Parsons, JeffreyTackling Society's Grand Challenges with Design Science, p.37-51 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 9 |
Material Type: Article
|
|
A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic NeurorehabilitationMa, Ye ; Xie, Sheng Quan ; Zhang, Yanxin Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, XianminIntelligent Robotics and Applications, p.390-401 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 10 |
Material Type: Article
|
|
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationBucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga Hennicker, Rolf ; De Nicola, RoccoSoftware, Services, and Systems, p.582-601 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
Results 1 - 10 of 817 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
Subject
- Science & Technology (798)
- Technology (798)
- Computer Science (797)
- Computer Science, Theory & Methods (751)
- Computer Science, Software Engineering (662)
- Exact Sciences And Technology (658)
- Applied Sciences (655)
- Computer Science; Control Theory; Systems (583)
- Software (511)
- Computer Science, Information Systems (303)
- Memory Organisation. Data Processing (229)
- Computer Science, Artificial Intelligence (186)
- Information Systems. Data Bases (183)
- Software Engineering (161)
- Computer Systems And Distributed Systems. User Interface (160)
- Telecommunications And Information Theory (107)
- Engineering (71)
- Telecommunications (69)
- Engineering, Electrical & Electronic (64)
- Theoretical Computing (63)
- Engenharia De Software (1)
- Ciência Da Computação (1)
-
More options
Creation Date
- Before1993 (5)
- 1993To1997 (5)
- 1998To2001 (65)
- 2002To2011 (632)
- After 2011 (111)
-
More options
Library
Database/Library
- SpringerLINK Lecture Notes in Computer Science (2015) (815)
- Lecture Notes in Computer Science Archive (through to 1996) (815)
- Science Citation Index Expanded (Web of Science) (698)
- IngentaConnect Journals (109)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (7)
- Springer Books (7)
- SpringerLink Books Lecture Notes in Computer Science Archive (5)
- Springer Books Online Archive (5)
- EZB Electronic Journals Library (4)
- Springer Nature - Springer Journals All 2022 (3)
- Computers and Applied Sciences Complete (3)
- ScienceDirect Journals (3)
- SpringerLink (Online service) (3)
- SpringerLINK Lecture Notes in Computer Science (2012) (1)
- Business Source Complete (BSC) 商管财经类全文数据库(完整版) (1)
- NORA - Norwegian Open Research Archives (1)
- Springer Nature - Springer Computer Science eBooks 2016 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2016) (1)
- Aerospace Database (1)
- IEEE Electronic Library (IEL) Journals (1)
-
More options
Language
- Japanese (50)
- Russian (1)
-
More options
Journal Title
- Advanced Web Technologies And Applications (96)
- Database And Expert Systems Applications, Proceedings (70)
- Database And Expert Systems Applications (69)
- Mobile Communications (42)
- Information Security And Privacy (35)
- Information Security And Privacy, Proceedings (35)
- Formal Methods And Software Engineering, Proceedings (35)
- Formal Methods And Software Engineering (34)
- Computing With New Resources (26)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 