Search Results for Logic design

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

SpringerLink (Online service)

(1207)

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)

Chen, Wai-Kai, 1936-

(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)

Castillo, Oscar. 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)

Hinchey, Mike. 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)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

Melin, Patricia. 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)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. 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)

Liu, Xin. editor.

(3)

Lopes, Antónia. editor.

(3)

Mano, M. Morris

(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)

Na, Zhenyu. 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)

Panigrahi, Bijaya Ketan. 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)

Taylor and Francis.

(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)

Bartocci, Ezio. editor.

(2)

Becker, Steffen. editor.

(2)

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

(2)

Bin, Eyal. editor.

(2)

Bishop, Robert H., 1957-

(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)

Brown, Stephen D.

(2)

Caro, Jaime. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Tümünü genişlet

Dil

(1293)

(9)

(2)

(1)

Yayın Yılı

-

(133)

(120)

(119)

(119)

(118)

(115)

(107)

(106)

(103)

(103)

(44)

(41)

(39)

(7)

(5)

(5)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(1153)

Computer science.

(1027)

Software engineering.

(743)

Artificial intelligence.

(359)

Computer Communication Networks.

(291)

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.

(60)

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).

(47)

Information storage and retrieval systems.

(43)

Systems engineering.

(36)

Artificial Intelligence (incl. Robotics).

(31)

(31)

Logic, Symbolic and mathematical.

(31)

Electronic circuits.

(27)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

Electronic data processing.

(23)

Microprocessors.

(23)

Programming Techniques.

(23)

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(21)

(21)

Computational intelligence.

(19)

Database management.

(18)

Bioinformatics.

(16)

(15)

Computer aided design.

(15)

Information Systems Applications (incl. Internet).

(15)

Computer vision.

(14)

Data transmission systems.

(14)

Telecommunication.

(14)

(13)

Data encryption (Computer science).

(13)

Electronic Circuits and Systems.

(13)

Electronic books.

(13)

Computer security.

(12)

Digital electronics.

(12)

Discrete Mathematics in Computer Science.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Signal processing.

(12)

Computer architecture.

(11)

Computer hardware.

(11)

Computer engineering.

(10)

Computer industry.

(10)

Logic circuits.

(10)

Communications Engineering, Networks.

(9)

Processor Architectures.

(9)

Computer organization.

(8)

Data structures (Computer scienc.

(8)

MANTIKSAL TASARIM.

(8)

Microprogramming.

(8)

(7)

Engineering design.

(7)

(7)

Memory management (Computer science).

(7)

Programming languages (Electronic computers).

(7)

Signal, Speech and Image Processing.

(7)

Translators (Computer programs).

(7)

Computer networks .

(6)

Control engineering.

(6)

MANTIKSAL DEVRELER.

(6)

Simulation and Modeling.

(6)

(5)

Computer communication systems.

(5)

Electronic digital computers -- Circuits.

(5)

Electronics and Microelectronics, Instrumentation.

(5)

Engineering mathematics.

(5)

Information Storage and Retrieval.

(5)

Logic design -- Data processing.

(5)

Mathematical Logic and Foundations.

(5)

Microprogramming .

(5)

Nanotechnology.

(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)

Control, Robotics, Automation.

(4)

Data Mining and Knowledge Discovery.

(4)

Electrical engineering.

(4)

Integrated circuits -- Very large scale integration.

(4)

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

(4)

Probability and Statistics in Computer Science.

(4)

Production engineering.

(4)

(4)

Software Engineering/Programming and Operating Systems.

(4)

(3)

Architecture, Computer.

(3)

Circuits and Systems.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Engineering and Networks.

(3)

Control and Systems Theory.

(3)

Digital and Analog Signal Processing.

(3)

(3)

Embedded Systems.

(3)

Embedded computer systems.

(3)

Industrial and Production Engineering.

(3)

Industrial engineering.

(3)

Logic circuits -- Computer-aided design.

(3)

Logic circuits -- Design and construction.

(3)

Mathematical logic.

(3)

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

(3)

Text processing (Computer science.

(3)

User Interfaces and Human Computer Interaction.

(3)

VHDL (Computer hardware description language)

(3)

Verilog (Computer hardware description language)

(3)

ANAHTARLAMA KURAMI.

(2)

Application-specific integrated circuits.

(2)

Arithmetic and logic units, Computer.

(2)

Automatic control.

(2)

Bilgisayar destekli tasarım.

(2)

Business Information Systems.

(2)

COMPUTERS -- Logic Design.

(2)

Complex Systems.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer system failures.

(2)

Computer-aided design.

(2)

Computer-aided engineering.

(2)

Control Structures and Microprogramming.

(2)

Control theory.

(2)

Data Structures and Information Theory.

(2)

(2)

Digital integrated circuits.

(2)

(2)

Electric power production.

(2)

Electrical Power Engineering.

(2)

Electrical and Electronic Engineering.

(2)

Electronic apparatus and appliances.

(2)

Electronic circuit design.

(2)

Electronic circuits--Testing.

(2)

Engineering -- Data processing.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Expert systems (Computer science)

(2)

Information and Communication, Circuits.

(2)

Input-output equipment (Computers).

(2)

Integrated circuits.

(2)

Linear integrated circuits.

(2)

Linguistics -- Philosophy.

(2)

Logic circuits -- Design and construction -- Data processing.

(2)

Logic circuits--Computer-aided design.

(2)

Low voltage integrated circuits.

(2)

Mantıksal Devreler.

(2)

Mantıksal tasarım.

(2)

Mathematical Models of Cognitive Processes and Neural Networks.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mechanical engineering.

(2)

Memory Structures.

(2)

Metal oxide semiconductors, Complementary.

(2)

Microelectromechanical systems.

(2)

Microelectronics.

(2)

Microsystems and MEMS.

(2)

Microtechnology.

(2)

Microwaves, RF Engineering and Optical Communications.

(2)

Neural networks (Computer science) .

(2)

Optical materials.

(2)

Philosophy (General).

(2)

(2)

Systems and Data Security.

(2)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.

(2)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

TECHNOLOGY / Electricity

(2)

User interfaces (Computer systems).

(2)

İNTEGRE DEVRELER.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Amplifiers (Electronics).

(1)

Analog-to-digital converters.

(1)

Application software.

(1)

Application specific integrated circuits -- Design and construction -- Data processing.

(1)

Application specific integrated circuits.

(1)

Application-specific integrated circuits -- Design and construction -- Computer-aided design.

(1)

Applied Dynamical Systems.

(1)

Architecture -- Quotations, maxims, etc. -- Dictionaries.

(1)

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

CRC Ekitapları

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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1309 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 12 13 14 15 16 .. 110

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.

157.

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings için kapak resmi

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

Yazar

Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers için kapak resmi

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

Yazar

Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00178-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Yazar

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01090-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings için kapak resmi

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Yazar

Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings için kapak resmi

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Yazar

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99927-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers için kapak resmi

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings için kapak resmi

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94205-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00151-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings için kapak resmi

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Yazar

Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00250-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Yazar

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Logics for Computer Science Classical and Non-Classical için kapak resmi

Logics for Computer Science Classical and Non-Classical

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92591-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Principles and Structures of FPGAs için kapak resmi

Principles and Structures of FPGAs

Principles and Structures of FPGAs

Yazar

Amano, Hideharu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-0824-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 12 13 14 15 16 .. 110

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11