Search Results for

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Logic design.

Yazar

SpringerLink (Online service)

(1118)

Voronkov, Andrei. editor.

(15)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(7)

Liu, Zhiming. editor.

(7)

Woodcock, Jim. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Governatori, Guido. editor.

(6)

Potapov, Igor. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Calude, Cristian S. editor.

(5)

Dastani, Mehdi. editor.

(5)

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

(5)

Fages, François. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Graf, Susanne. editor.

(5)

Leite, João. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Huisman, Marieke. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

LaMeres, Brock J. author.

(4)

Leucker, Martin. editor.

(4)

Meseguer, José. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peña, Ricardo. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Ungerer, Theo. editor.

(4)

Veith, Helmut. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zsók, Viktória. editor.

(4)

Alpuente, María. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Damiani, Ferruccio. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Derrick, John. editor.

(3)

Eekelen, Marko. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fisher, Michael. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fu, Haohuan. editor.

(3)

Gavrilova, Marina L. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hermanns, Holger. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Jones, Cliff B. editor.

(3)

Karhumäki, Juhani. editor.

(3)

Katz, Shmuel. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Koutny, Maciej. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Kučera, Antonín. editor.

(3)

Lees, Michael Harold. editor.

(3)

Leuschel, Michael. editor.

(3)

Li, Jinwen. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Markov, Igor L. author.

(3)

Mayr, Heinrich C. editor.

(3)

Małuszyński, Jan. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Nerode, Anil. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pfenning, Frank. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Queiroz, Ruy. editor.

(3)

Rahonis, George. 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)

Sebastiani, Roberto. editor.

(3)

Shi, Yong. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Tian, Yingjie. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(3)

Wirsing, Martin. editor.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Alfaro, Luca. editor.

(2)

Allemang, Dean. editor.

(2)

Anguita, Davide. author.

(2)

Artemov, Sergei. editor.

(2)

Ayala, José L. editor.

(2)

Baader, Franz. editor.

(2)

Baroglio, Cristina. 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)

Bonacina, Maria Paola. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Caro, Jaime. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cerone, Antonio. editor.

(2)

Cervesato, Iliano. editor.

(2)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(2)

Chechik, Marsha. editor.

(2)

Chen, Jianer. editor.

(2)

Chitil, Olaf. editor.

(2)

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

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Dawar, Anuj. editor.

(2)

Decker, Stefan. editor.

(2)

Tümünü genişlet

Dil

(1134)

(9)

(2)

(1)

Yayın Yılı

-

(128)

(117)

(114)

(113)

(112)

(110)

(105)

(99)

(98)

(97)

(38)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(1027)

Software engineering.

(742)

Artificial intelligence.

(341)

Computer Communication Networks.

(288)

Computer software.

(201)

Logics and Meanings of Programs.

(104)

Information Systems.

(100)

Computational complexity.

(96)

Operating systems (Computers).

(95)

Information systems.

(66)

Algebra -- Data processing.

(65)

Information theory.

(58)

Mathematical Logic and Formal Languages.

(55)

Computer simulation.

(54)

Computer system performance.

(51)

Programming Languages, Compilers, Interpreters.

(49)

Computer network architectures.

(47)

Data structures (Computer science).

(45)

Information storage and retrieval systems.

(43)

Systems engineering.

(33)

Artificial Intelligence (incl. Robotics).

(31)

Logic, Symbolic and mathematical.

(31)

(24)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

Electronic data processing.

(23)

Programming Techniques.

(23)

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(21)

Database management.

(18)

Bioinformatics.

(16)

(15)

Computer aided design.

(15)

Information Systems Applications (incl. Internet).

(15)

Microprocessors.

(15)

Data transmission systems.

(14)

(13)

Data encryption (Computer science).

(13)

(13)

Computer security.

(12)

Computer vision.

(12)

Discrete Mathematics in Computer Science.

(12)

Electronic circuits.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Computer hardware.

(11)

Computer industry.

(10)

Computer organization.

(8)

Data structures (Computer scienc.

(8)

Digital electronics.

(8)

Microprogramming.

(8)

(7)

Logic circuits.

(7)

(7)

Memory management (Computer science).

(7)

Programming languages (Electronic computers).

(7)

Translators (Computer programs).

(7)

Simulation and Modeling.

(6)

Computer communication systems.

(5)

Information Storage and Retrieval.

(5)

Mathematical Logic and Foundations.

(5)

Operating Systems.

(5)

Optical pattern recognition.

(5)

Social sciences -- Data processing.

(5)

Special Purpose and Application-Based Systems.

(5)

Symbolic and Algebraic Manipulation.

(5)

Theory of Computation.

(5)

Arithmetic and Logic Structures.

(4)

Computer Science, general.

(4)

Data Mining and Knowledge Discovery.

(4)

Electronic books.

(4)

Electronic digital computers -- Circuits.

(4)

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Telecommunication.

(4)

Architecture, Computer.

(3)

Circuits and Systems.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer architecture.

(3)

(3)

Engineering design.

(3)

MANTIKSAL DEVRELER.

(3)

MANTIKSAL TASARIM.

(3)

Mathematical logic.

(3)

Microprogramming .

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

(3)

Text processing (Computer science.

(3)

(2)

Application-specific integrated circuits.

(2)

Arithmetic and logic units, Computer.

(2)

Business Information Systems.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer engineering.

(2)

Computer system failures.

(2)

Digital integrated circuits.

(2)

Electrical engineering.

(2)

Electronic circuits--Testing.

(2)

Engineering mathematics.

(2)

Information and Communication, Circuits.

(2)

Input-output equipment (Computers).

(2)

Integrated circuits.

(2)

Linear integrated circuits.

(2)

Logic circuits--Computer-aided design.

(2)

Mantıksal Devreler.

(2)

Mantıksal tasarım.

(2)

Memory Structures.

(2)

Nanotechnology.

(2)

Philosophy (General).

(2)

(2)

Processor Architectures.

(2)

Signal processing.

(2)

Systems and Data Security.

(2)

User Interfaces and Human Computer Interaction.

(2)

Amplifiers (Electronics).

(1)

Analog-to-digital converters.

(1)

Application software.

(1)

Asynchronous circuits -- Design and construction.

(1)

(1)

Bipolar transistors.

(1)

(1)

Chemistry -- Mathematics.

(1)

(1)

Coding and Information Theory.

(1)

Computational linguistics.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer graphics.

(1)

Computer integrated manufacturing systems.

(1)

Computer interfaces.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computer science—Mathematics.

(1)

Computerarchitektur.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Control engineering systems.

(1)

Control theory.

(1)

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

(1)

(1)

Digital integrated circuits -- Design and construction.

(1)

Digital multimeters.

(1)

(1)

Discrete cosine transforms.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- DEVRELER.

(1)

(1)

Economics/Management Science.

(1)

Electric networks, Passive.

(1)

Electronic apparatus and appliances.

(1)

Electronic instruments, Digital.

(1)

Elektronik Sayısal Bilgisayarlar -- Devreler.

(1)

Elektronik sayısal bilgisayarlar -- Devreler.

(1)

Expert systems (Computer science).

(1)

Feedback (Electronics).

(1)

Feedforward control systems.

(1)

Genetic epistemology.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Information Systems and Communication Service.

(1)

Instruments--Display systems.

(1)

Integrated circuits--Design and construction.

(1)

Integrated circuits--Testing.

(1)

Integrated circuits--Very large scale integration.

(1)

Linear systems.

(1)

Linguistics -- Philosophy.

(1)

Logic circuits -- Design and construction.

(1)

Mantıksal Tasarım.

(1)

Mantıksal devreler.

(1)

Matematiksel mantık.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical analysis.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer scie.

(1)

Microcomputers--Buses.

(1)

Microwave amplifiers.

(1)

Mikrocontroller.

(1)

Models and Principles.

(1)

Molecular electronics.

(1)

Natural language processing (Computer science).

(1)

Nonlinear control theory.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Operational amplifiers.

(1)

Operations research.

(1)

Optical data processing.

(1)

Optical materials.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

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ç

1147 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 96

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.

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings için kapak resmi

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Yazar

Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24741-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design için kapak resmi

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Yazar

Moschytz, George S. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00096-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers için kapak resmi

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Yazar

Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-32-9987-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Transactions on High-Performance Embedded Architectures and Compilers V için kapak resmi

Transactions on High-Performance Embedded Architectures and Compilers V

Transactions on High-Performance Embedded Architectures and Compilers V

Yazar

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58834-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Introduction to Logic Circuits & Logic Design with Verilog için kapak resmi

Introduction to Logic Circuits & Logic Design with Verilog

Introduction to Logic Circuits & Logic Design with Verilog

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13605-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog için kapak resmi

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8776-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII için kapak resmi

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Yazar

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Logic Functions and Equations Binary Models for Computer Science için kapak resmi

Logic Functions and Equations Binary Models for Computer Science

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02420-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach için kapak resmi

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach

Yazar

Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91962-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Beyond-CMOS Technologies for Next Generation Computer Design için kapak resmi

Beyond-CMOS Technologies for Next Generation Computer Design

Beyond-CMOS Technologies for Next Generation Computer Design

Yazar

Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Introduction to Digital Systems Design için kapak resmi

Introduction to Digital Systems Design

Introduction to Digital Systems Design

Yazar

Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92804-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17465-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 96

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11