Search Results for Design

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

16

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Software engineering.

Yazar

SpringerLink (Online service)

(907)

Voronkov, Andrei. editor.

(13)

Bernardo, Marco. editor.

(11)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Barthe, Gilles. editor.

(7)

Liu, Zhiming. editor.

(7)

Luo, Yuhua. editor.

(7)

Baldoni, Matteo. editor.

(6)

Dix, Jürgen. editor.

(6)

Margaria, Tiziana. editor.

(6)

Rozenberg, Grzegorz. editor.

(6)

Stafford, Judith A. editor.

(6)

Woodcock, Jim. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Governatori, Guido. editor.

(5)

Graf, Susanne. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Marcus, Aaron. editor.

(5)

Meyer, Bertrand. editor.

(5)

Palsberg, Jens. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wang, Wentao. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Barthès, Jean-Paul A. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Huisman, Marieke. editor.

(4)

Jacko, Julie A. editor.

(4)

Leite, João. editor.

(4)

Leucker, Martin. editor.

(4)

Montanari, Ugo. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peled, Doron A. editor.

(4)

Potapov, Igor. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Shishkov, Boris. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Veith, Helmut. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Alpuente, María. editor.

(3)

Aßmann, Uwe. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bravetti, Mario. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butler, Michael. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Cortellessa, Vittorio. editor.

(3)

Damiani, Ferruccio. editor.

(3)

Eekelen, Marko. editor.

(3)

Gavrilova, Marina L. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Hähnle, Reiner. editor.

(3)

Johnsen, Einar Broch. editor.

(3)

Jones, Cliff B. editor.

(3)

Koutny, Maciej. editor.

(3)

Lin, Zongkai. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Meseguer, José. editor.

(3)

Mezini, Mira. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Rahonis, George. editor.

(3)

Rammig, Franz J. editor.

(3)

Reis, Ricardo. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roşu, Grigore. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schätz, Bernhard. editor.

(3)

Shen, Weiming. editor.

(3)

Sokolsky, Oleg. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Aldini, Alessandro. editor.

(2)

Ayala, José L. editor.

(2)

Barth, Timothy J. editor.

(2)

Becker, Steffen. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bin, Eyal. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Bräunl, Thomas. author.

(2)

Cascini, Gaetano. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cerone, Antonio. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cousot, Radhia. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Degano, Pierpaolo. editor.

(2)

Derrick, John. editor.

(2)

Dershowitz, Nachum. editor.

(2)

Dignum, Frank. editor.

(2)

Dignum, Virginia. editor.

(2)

Dingel, Juergen. editor.

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Drossopoulou, Sophia. editor.

(2)

Dubois, Catherine. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Faber, Wolfgang. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Filipe, Joaquim. editor.

(2)

Fisher, Michael. editor.

(2)

Fitzgerald, John. editor.

(2)

France, Robert B. editor.

(2)

Fraser, Gordon. editor.

(2)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(2)

Galmiche, Didier. editor.

(2)

Gervasi, Osvaldo. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Giese, Holger. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gogolla, Martin. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

(2)

Gotzhein, Reinhard. editor.

(2)

Gray, Jeff. editor.

(2)

Griebel, Michael. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Gruhn, Volker. editor.

(2)

Grumberg, Orna. editor.

(2)

Gschwind, Thomas. editor.

(2)

Hage, Jurriaan. editor.

(2)

Hanus, Michael. editor.

(2)

Harrison, Michael D. editor.

(2)

Hermanns, Holger. editor.

(2)

Hierons, Robert M. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hinchey, Mike. editor.

(2)

Hinze, Ralf. editor.

(2)

Holcombe, Mike. editor.

(2)

Horváth, Zoltán. editor.

(2)

Hu, Zhenjiang. editor.

(2)

Imam, Neena. editor. (orcid)0000-0001-8860-4738

(2)

Inverardi, Paola. editor.

(2)

Jhala, Ranjit. editor.

(2)

Johnson, Michael. editor.

(2)

Joshi, Rajeev. editor.

(2)

Julliand, Jacques. editor.

(2)

Karczewski, Konrad. editor.

(2)

Katoen, Joost-Pieter. editor.

(2)

Katz, Shmuel. editor.

(2)

Tümünü genişlet

Dil

(906)

(16)

Yayın Yılı

-

(107)

(98)

(98)

(96)

(86)

(84)

(79)

(78)

(78)

(72)

(23)

(9)

(4)

(4)

(3)

(2)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(814)

(742)

Computer Communication Networks.

(268)

Artificial intelligence.

(214)

Information Systems.

(100)

Computer software.

(99)

Information systems.

(81)

Logics and Meanings of Programs.

(77)

Operating systems (Computers).

(74)

Computer simulation.

(59)

Computer system performance.

(55)

Programming Languages, Compilers, Interpreters.

(44)

Computer network architectures.

(42)

Computer aided design.

(39)

(39)

Systems engineering.

(35)

Mathematical Logic and Formal Languages.

(34)

Information storage and retrieval systems.

(30)

Algebra -- Data processing.

(26)

Computational complexity.

(24)

Programming Techniques.

(22)

Information theory.

(21)

Management information systems.

(21)

Data structures (Computer science).

(20)

Multimedia systems.

(20)

Artificial Intelligence (incl. Robotics).

(19)

Computer hardware.

(15)

Data protection.

(15)

Information Systems Applications (incl. Internet).

(15)

Engineering design.

(14)

Computation by Abstract Devices.

(13)

Computer industry.

(12)

(12)

Database management.

(12)

Management of Computing and Information Systems.

(12)

Algorithm Analysis and Problem Complexity.

(11)

Bioinformatics.

(11)

(11)

(10)

Data encryption (Computer science).

(9)

(8)

Telecommunication.

(8)

Application software.

(7)

Computer security.

(7)

(7)

Electronic data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

User interfaces (Computer systems).

(7)

Microprogramming.

(6)

Special Purpose and Application-Based Systems.

(6)

Computer Appl. in Administrative Data Processing.

(5)

Computer organization.

(5)

Computer vision.

(5)

Engineering mathematics.

(5)

Industrial engineering.

(5)

Operating Systems.

(5)

Optical data processing.

(5)

Simulation and Modeling.

(5)

Business Information Systems.

(4)

Computer engineering.

(4)

Computer logic.

(4)

Discrete Mathematics in Computer Science.

(4)

(4)

Génie logiciel.

(4)

Information Storage and Retrieval.

(4)

Logic, Symbolic and mathematical.

(4)

Monoclonal antibodies.

(4)

Programming languages (Electronic computers).

(4)

User Interfaces and Human Computer Interaction.

(4)

Communications Engineering, Networks.

(3)

Computers and civilization.

(3)

Data Mining and Knowledge Discovery.

(3)

Data structures (Computer scienc.

(3)

Electronic books.

(3)

Microprocessors.

(3)

Probability and Statistics in Computer Science.

(3)

Software engineering

(3)

Special purpose computers.

(3)

System Performance and Evaluation.

(3)

(2)

COMPUTERS -- Software Development & Engineering -- General.

(2)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

Computational Biology/Bioinformatics.

(2)

Computer Science, general.

(2)

Computer communication systems.

(2)

Economics/Management Science.

(2)

Electronic circuits.

(2)

Engineering -- Data processing.

(2)

Information technology.

(2)

Innovation and Technology Management.

(2)

(2)

(2)

Medical records -- Data processing.

(2)

Models and Principles.

(2)

Social sciences -- Data processing.

(2)

(2)

Software architecture.

(2)

Systems and Data Security.

(2)

Systems theory.

(2)

Technological innovations.

(2)

Aging -- Research.

(1)

(1)

Application software -- Development.

(1)

Architectural design.

(1)

Architecture, Computer.

(1)

(1)

(1)

(1)

Automobiles -- Design and construction.

(1)

Automotive computers.

(1)

Benchmarking (Management)

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Distributed Systems -- Cloud Computing.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Software Development & Engineering -- Systems Analysis & Design.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Programming / Software Development

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Chemical engineering.

(1)

(1)

Circuits and Systems.

(1)

Civil engineering.

(1)

Cloud Computing.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Commercial law.

(1)

Component software.

(1)

Computational Biology.

(1)

Computational intelligence.

(1)

Computer Applications.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer graphics.

(1)

Computer programming.

(1)

Computer software -- Development.

(1)

Computer software -- Quality control.

(1)

Computer systems -- Reliability.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Control engineering systems.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Structures.

(1)

Digital electronics.

(1)

Electronic commerce.

(1)

Electronic data processing -- Management.

(1)

Electronic data processing personnel -- Certification

(1)

Electronic data processing personnel -- Certification -- Study guides.

(1)

Embedded computer systems.

(1)

Emergency medicine.

(1)

Energy Policy, Economics and Management.

(1)

Engineering economy.

(1)

(1)

Environmental sciences.

(1)

Expert systems (Computer science)

(1)

Finance/Investment/Banking.

(1)

Guides de l'étudiant.

(1)

(1)

(1)

Image processing.

(1)

Industrial and Production Engineering.

(1)

(1)

Information Systems and Communication Service.

(1)

Ingénierie des systèmes.

(1)

Interactive multimedia.

(1)

Java (Computer program language).

(1)

Knowledge management.

(1)

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

(1)

(1)

Memory management (Computer scie.

(1)

(1)

Nanotechnology.

(1)

Numerical analysis.

(1)

Optical pattern recognition.

(1)

Ordinateurs -- Conception et construction.

(1)

Pattern recognition.

(1)

Plasma (Ionized gases).

(1)

Political science.

(1)

Production engineering.

(1)

Production/Logistics/Supply Chain Management.

(1)

Project management.

(1)

Renewable and Green Energy.

(1)

Renewable energy sources.

(1)

Science -- Data processing.

(1)

Science -- Philosophy.

(1)

Science, Technology and Society.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Software Design.

(1)

(1)

(1)

Sustainable development.

(1)

Symbolic and Algebraic Manipulation.

(1)

(1)

Systems engineering

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

923 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 77

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II için kapak resmi

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91803-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I için kapak resmi

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91797-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III için kapak resmi

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Yazar

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91806-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design için kapak resmi

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

Yazar

Vaziri, Daryoush Daniel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-22875-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I için kapak resmi

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Yazar

Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92141-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Design Science Methodology for Information Systems and Software Engineering için kapak resmi

Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering

Yazar

Wieringa, Roel J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43839-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures için kapak resmi

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07317-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Collaborative Design for Embedded Systems Co-modelling and Co-simulation için kapak resmi

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54118-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Process Design for Natural Scientists An Agile Model-Driven Approach için kapak resmi

Process Design for Natural Scientists An Agile Model-Driven Approach

Process Design for Natural Scientists An Agile Model-Driven Approach

Yazar

Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45006-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems için kapak resmi

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

Yazar

Biedermann, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-08047-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings için kapak resmi

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Yazar

Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.

Yer Numarası

ONLINE(334682.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38853-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures için kapak resmi

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Yazar

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334688.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38874-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 77

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11