|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 437 occurrences of 265 keywords
|
|
|
Results
Found 725 publication records. Showing 723 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Fred W. Glover, César Rego |
Ejection chain and filter-and-fan methods in combinatorial optimization. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
MSC classification 90C59, 90C27, 90C06 |
15 | K. A. Ariyawansa, Yuntao Zhu |
Stochastic semidefinite programming: a new paradigm for stochastic optimization. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
MSC Classification 90C15, 90C51, 90C05 |
15 | Linda S. Moonen |
Algorithms for some graph theoretical optimization problems. |
4OR |
2006 |
DBLP DOI BibTeX RDF |
MSC classification 05C85 |
15 | Antonino Giorgio Spera |
Asymptotically Good Codes from Generalized Algebraic-Geometry Codes. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
MSC (2000): Primary 94B27, Secondary 14H45 |
15 | E. J. Cheon, Takao Kato, S. Kim |
On the Minimum Length of some Linear Codes of Dimension 5. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
MSC 2000 94B65, 05B25, 51E20, 94B05 |
15 | Steven Chamberland, Samuel Pierre |
On the Design Problem of Cellular Wireless Networks. |
Wirel. Networks |
2005 |
DBLP DOI BibTeX RDF |
BSC and MSC location, tabu search, cellular networks, capacity planning, topological design |
15 | Latha A. Kant |
Design and Performance Modeling and Simulation of Self-Healing Mechanisms for Wireless Communication Networks. |
Annual Simulation Symposium |
2002 |
DBLP DOI BibTeX RDF |
Fault Management (FM), Network Management System (NMS), Global System for Mobile Communications (GSM), Mobile Switching Center (MSC), Serving GPRS Support Node (SGSN), Self-healing, General Packet Radio Services (GPRS) |
15 | Markus Neher 0001 |
The Mean Value Form for Complex Analytic Functions. |
Computing |
2001 |
DBLP DOI BibTeX RDF |
MSC Subject Classifications: 65G20, 30-04, 65G30 |
15 | Whe Dar Lin, Jinn-ke Jan |
A Wireless-based Authentication and Anonymous Channels for Large Scale Area. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
Mobile stations (MSs), anonymous channel, home network (HN), visit network (VN) mobile network switching center (MSC) |
15 | Hajo Broersma, Elias Dahlhaus, Ton Kloks |
Algorithms for the Treewidth and Minimum Fill-in of HHD-Free Graphs. |
WG |
1997 |
DBLP DOI BibTeX RDF |
MSC 68R10 |
15 | Björn Regnell, Michael Andersson, Johan Bergstrand |
A Hierarchical Use Case Model with Graphical Representation. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
Message Sequence Chart (MSC), software engineering, requirements engineering, scenarios, use cases, graphical representation, graphical languages |
15 | Bettina Just |
Integer Relations Among Algebraic Numbers. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
MSC 68Q25, 12F10, 68Q40 |
11 | Okan Topçu, Mehmet Adak, Halit Oguztüzün |
Metamodeling live sequence charts for code generation. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Code generation, Metamodeling, Message sequence charts, Live sequence charts |
11 | Hua-Fu Li |
Pattern discovery and change detection of online music query streams. |
Multim. Tools Appl. |
2009 |
DBLP DOI BibTeX RDF |
Music query streams, Melody structure mining, Change detection, Multimedia data mining |
11 | Farah Alsudani, Matthew Casey |
The effect of aesthetics on web credibility. |
BCS HCI |
2009 |
DBLP BibTeX RDF |
aesthetics, credibility, unity, Gestalt theory |
11 | Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik |
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Weiqi Wang, Yanbo J. Wang, René Bañares-Alcántara, Zhanfeng Cui, Frans Coenen |
Application of Classification Association Rule Mining for Mammalian Mesenchymal Stem Cell Differentiation. |
ICDM |
2009 |
DBLP DOI BibTeX RDF |
Classification Association Rule Mining, Mesenchymal Stem Cells, Data Mining, Differentiation, Tissue Engineering |
11 | Marcel Worring |
Searching and Finding in Large Video Collections. |
MMM |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Maria Elizabeth Gonzalez, Attila Bilgic |
Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation |
11 | Issam Jabri, Nicolas Krommenacker, Thierry Divoux, Adel Soudani |
IEEE 802.11 Load Balancing: An Approach for QoS Enhancement. |
Int. J. Wirel. Inf. Networks |
2008 |
DBLP DOI BibTeX RDF |
Quality of service, Load balancing, OPNET, Protocol specification, IEEE802.11 |
11 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
11 | Jiexin Lian, Zhaoxia Hu, Sol M. Shatz |
Simulation-based analysis of UML statechart diagrams: methods and case studies. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, UML statecharts, Design analysis |
11 | Liana Silva, Célio A. Santana, Fernando Rocha, Maíra Paschoalino, Gabriel Falconieri, Lúcio Ribeiro, Renata Medeiros de Carvalho, Sérgio Soares, Cristine Gusmão |
Applying XP to an Agile-Inexperienced Software Development Team. |
XP |
2008 |
DBLP DOI BibTeX RDF |
XP-Inexperienced, Adaptation, Teaching, Agile Methods |
11 | David Ramírez 0001, Javier Vía, Ignacio Santamaría |
A generalization of the magnitude squared coherence spectrum for more than two signals: definition, properties and estimation. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Yankelevich |
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ian McLoughlin 0001 |
Secure Embedded Systems: The Threat of Reverse Engineering. |
ICPADS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Fredrik Sikström, Mikael Ericsson, Anna-Karin Christiansson, K. Niklasson |
Tools for Simulation Based Fixture Design to Reduce Deformation in Advanced Fusion Welding. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Abdolmajid Mousavi, Behrouz H. Far |
Revisiting Safe Realizability of Message Sequence Charts Specifications. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Dan Xia, Weishan Chen, Junkao Liu, Luhui Han |
Simulation Study on the Body Side-Sway Characteristic for Rigid Robot Fish. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Mario Piattini, Félix García 0001 |
Adapting the course "quality of information systems" to E.H.E.A guidelines. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
European higher education area (EHEA), quality of information systems, software engineering |
11 | Amirrudin Kamsin |
Integrated 3D Multimedia Web Based Application in Biology: A Prototype. |
CGIV |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Erliang Zeng, Chengyong Yang, Tao Li 0001, Giri Narasimhan |
On the Effectiveness of Constraints Sets in Clustering Genes. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Christian F. J. Lange, Michel R. V. Chaudron |
Interactive Views to Improve the Comprehension of UML Models - An Experimental Validation. |
ICPC |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Shangbin Run, Baoling Han, Qingsheng Luo, Xiaochuan Zhao |
The Research and Simulation on the Walking Trajectory of the Hexapod Walking Bio-robot. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
hexapod walking Bio-robot, gait planning, kinematics simulation, virtual prototype, ADAMS |
11 | Andre Oboler, Ian Sommerville |
Research Documentation Guidelines - Capturing knowledge, improving research. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Chao-Lieh Chen |
Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Maniam Kaliannan, Halimah Awang, Murali Raman |
Technology adoption in the public sector: an exploratory study of e-government in Malaysia. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
adoption issues, multimedia super corridor, e-government, e-procurement |
11 | Xinguo Deng, Ziyu Lin, Weiqing Chen, Ruliang Xiao, Lina Fang, Ling Li |
Modeling Web Service Choreography and Orchestration with Colored Petri Nets. |
SNPD (2) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Wei Xu, Xingming Li |
A Shared-Path-Protection Based Heuristic Algorithm for the Capacity Placement Problem in Mesh Networks. |
SNPD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar |
Specification of Timed EFSM Fault Models in SDL. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines |
11 | Peter Schuster 0001 |
Problems as Solutions. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
uniform continuity, unique existence, countable choice, completeness, Metric spaces, constructive mathematics |
11 | Satish Yada, Bharadwaj S. Amrutur, Rubin A. Parekhji |
Modified Stability Checking for On-line Error Detection. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
crosstalk faults and transient faults, SEU testing, modified stability checking, delay faults, self-checking circuits, Concurrent testing, on-line error detection |
11 | Nicolas Baudru, Rémi Morin |
Synthesis of Safe Message-Passing Systems. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Katherine Moriwaki, Jonah Brucker-Cohen |
Lessons from the scrapyard: creative uses of found materials within a workshop setting. |
AI Soc. |
2006 |
DBLP DOI BibTeX RDF |
DIY computing, Musical controllers, Artistic applications, Education, Wearables, Fashion, Sustainable design |
11 | Natalia Juristo Juzgado |
Educational Objectives for Empirical Methods. |
Empirical Software Engineering Issues |
2006 |
DBLP DOI BibTeX RDF |
Education, Experimentation, Empirical Software Engineering |
11 | Nicolas Baudru, Rémi Morin |
The Synthesis Problem of Netcharts. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Robin G. Scott, Robert C. Richardson |
A Novel USAR Digging Mechanism. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Werner Damm, Tobe Toben, Bernd Westphal |
On the Expressive Power of Live Sequence Charts. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Dalia Krieger |
On Critical Exponents in Fixed Points of Non-erasing Morphisms. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Christophe Damas, Bernard Lambeau, Axel van Lamsweerde |
Scenarios, goals, and state machines: a win-win partnership for model synthesis. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation |
11 | Abdelouahed Gherbi, Ferhat Khendek |
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Hua-Fu Li, Man-Kwan Shan, Suh-Yin Lee |
Detecting Changes in User-Centered Music Query Streams. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
11 | John P. Watt, Oluwafemi O. Ajayi, Jipu Jiang, Jos Koetsier, Richard O. Sinnott |
A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jeff Kramer |
Component-Based Modeling, Analysis and Animation. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Dalia Krieger |
On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Issam Jabri, Nicolas Krommenacker, Adel Soudani, Thierry Divoux |
Load Balancing Approach for Wireless IEEE 802.11 QoS Enhancement. (PDF / PS) |
PWC |
2006 |
DBLP DOI BibTeX RDF |
QoS Protocol, Load Balancing, Wireless LAN, SDL |
11 | Peter Schuster 0001, Júlia Zappe |
Do Noetherian Modules Have Noetherian Basis Functions?. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
11 | David Harel, Shahar Maoz |
Assert and negate revisited: modal semantics for UML sequence diagrams. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms |
11 | Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero |
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
scenario-based verification, model checking, formal methods, Requirements/specifications |
11 | Bill Mitchell |
Resolving Race Conditions in Asynchronous Partial Order Scenarios. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
formal methods, Requirements analysis, distributed programming |
11 | Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde |
Generating Annotated Behavior Models from End-User Scenarios. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation |
11 | Florentin Ipate, Mike Holcombe |
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. |
XP |
2005 |
DBLP DOI BibTeX RDF |
finite state machines, unit testing, functional testing, state diagrams, stream X-machines |
11 | Mike Holcombe, Bhavnidhi Kalra |
Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. |
XP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
Race-free Scenarios of Message Sequence Charts. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
Race Conditions in Message Sequence Charts. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hugo Hedberg, Joachim Neves Rodrigues, Fredrik Kristensen, Henrik Svensson, Matthias Kamuf, Viktor Öwall |
Teaching Digital ASIC Design to Students with Heterogeneous Previous Knowledge. |
MSE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Mike Griffiths |
Teaching Agile Project Management to the PMI. |
AGILE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Azlinah Mohamed, Syed Helmy Syed Abu Bakar |
Evolution of Information Systems in Malaysia. |
EGOV |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Arnab Ray, Bikram Sengupta, Rance Cleaveland |
Secure Requirements Elicitation Through Triggered Message Sequence Charts. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Tamar Benaya, Ela Zur |
Can students improve their undergraduate schievements and get accepted to graduate school? |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
master's program |
11 | Blaise Genest, Anca Muscholl, Dietrich Kuske |
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Alessandra Cavarra, Juliana Küster Filipe |
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Simon Pickin 0001, Jean-Marc Jézéquel |
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Cecilia Sik-Lányi, Erzsébet Bacsa, Rita Mátrai, Zsolt Tibor Kosztyán, Ilona Pataky |
The Design Question of Development of Multimedia Educational Software for Aphasia Patients. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Hasan Ural, Hüsnü Yenigün |
Towards Design Recovery from Observations. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke |
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Xiaoming Yu, Shenghua Zhang, Erwin Johnson |
A discrete post-processing method for structural optimization. |
Eng. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Finite element, Mathematical Programming, Design of experiments, Structural design, Discrete Optimization |
11 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Synthesis of Behavioral Models from Scenarios. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts |
11 | Anca Muscholl, Doron A. Peled |
Deciding Properties of Message Sequence Charts. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Blaise Genest, Anca Muscholl, Doron A. Peled |
Message Sequence Charts. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Matthias Beyer, Winfried Dulz, Fenhua Zhen |
Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Neil R. Watson, Nigel W. John, William J. Crowther |
Simulation of Unmanned Air Vehicle Flocking. |
TPCG |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Helen M. Edwards, J. Barrie Thompson |
Reflections on a UK Masters Level Software Engineering Programme Intended for the Home and International Market. |
CSEE&T |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Software Architecture Modeling & Analysis: A Rigorous Approach. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Javier López 0001, Juan J. Ortega, José Luis Vivas, José M. Troya |
How to Specify Security Services: A Practical Approach. |
Communications and Multimedia Security |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Uwe Gerecke, Patrick Hohmann, Bernardo Wagner |
Educational Robotics in a Systems Design Masters Program. |
ICALT |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Ramesh Srinivasan |
Articulating the Digital Environment Via Community-Generated Ontologies. |
Digital Cities |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Hesham Kamal Arafat Mohamed, Bruno Müller-Clostermann |
Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes |
Looking for Better Integration of Design and Performance Engineering. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Benoit Parreaux, Daniel Vincent, Gérard Babonneau |
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Javier López 0001, Juan J. Ortega, José M. Troya |
Applying SDL to Formal Analysis of Security Systems. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Susanne Graf, Ileana Ober |
A Real-Time Profile for UML and How to Adapt It to SDL. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Yong He, Daniel Amyot, Alan W. Williams |
Synthesizing SDL from Use Case Maps: An Experiment. |
SDL Forum |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Winfried Dulz, Fenhua Zhen |
MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Ingolf Krüger |
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Javier López 0001, Juan J. Ortega, José M. Troya |
Protocol Engineering Applied to Formal Analysis of Security Systems. |
InfraSec |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Sung Goo Cho, Hyun Ku Jeong, Joong Soo Ma |
Performance Optimization Technique of Location Registration in Public Transportation. |
CDMA International Conference |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001 |
Compactness and Continuity, Constructively Revisited. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Dale A. Carnegie |
Electronics Education: A Systems Based Mechatronic Approach. |
DELTA |
2002 |
DBLP DOI BibTeX RDF |
electronics education, autonomous mobile robotics, Mechatronics |
Displaying result #601 - #700 of 723 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|