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 .. 83 84 85 86 87 .. 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.

1.

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings için kapak resmi

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Yazar

Hanus, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69611-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings için kapak resmi

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Yazar

Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69738-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers için kapak resmi

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Yazar

Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70816-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings için kapak resmi

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

Yazar

Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70918-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers için kapak resmi

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Yazar

Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70945-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers için kapak resmi

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

Yazar

Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70952-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers için kapak resmi

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Yazar

Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71156-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71209-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings için kapak resmi

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Yazar

Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71229-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71289-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Nicola, Rocco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71316-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday için kapak resmi

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Yazar

Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71322-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 83 84 85 86 87 .. 110

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11