» książki » Computers - Programming - Compilers
 |
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an
ISBN: 9783031911200 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,28 |
 |
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an
ISBN: 9783031911170 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,28 |
 |
Programming Languages and Systems: 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory an
ISBN: 9783032227195 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,28 |
 |
Programming Languages and Systems: 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory an
ISBN: 9783032227225 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,28 |
 |
Design and Implementation of Programming Languages: Proceedings of a Dod Sponsored Workshop, Ithaca, October 1976
ISBN: 9783540083603 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,28 |
 |
Trends in Functional Programming: 15th International Symposium, Tfp 2014, Soesterberg, the Netherlands, May 26-28, 2014. Revised Selected Papers
ISBN: 9783319146744 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area.
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 201...
|
cena:
166,32 |
 |
Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Revised Selected Papers
ISBN: 9783319148052 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Si...
|
cena:
166,32 |
 |
Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, Luxembourg, Luxembourg, November 6, 2014, Revised S
ISBN: 9783319174037 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Languag...
|
cena:
166,32 |
 |
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--October 1, 2014. Proceedings
ISBN: 9783319150741 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this... This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Mac... |
cena:
166,32 |
 |
Modelling Foundations and Applications: 11th European Conference, Ecmfa 2015, Held as Part of Staf 2015, L`aquila, Italy, July 20-24, 2015. Proceeding
ISBN: 9783319211503 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in LAquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions. The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and...
This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015...
|
cena:
166,32 |
 |
Software Engineering for Resilient Systems: 7th International Workshop, Serene 2015, Paris, France, September 7-8, 2015. Proceedings
ISBN: 9783319231280 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in P...
|
cena:
166,32 |
 |
Programming Languages: 19th Brazilian Symposium Sblp 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
ISBN: 9783319240114 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil... |
cena:
166,32 |
 |
Globalizing Domain-Specific Languages: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
ISBN: 9783319261713 / Angielski / Miękka / 89 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,32 |
 |
Software Engineering: International Summer Schools, Laser 2013-2014, Elba, Italy, Revised Tutorial Lectures
ISBN: 9783319284057 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lecture notes from the 10th LASER Summer School on SoftwareEngineering: Leading-Edge Software Engineering.
Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lec...
|
cena:
166,32 |
 |
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, Sbmf 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ISBN: 9783319294728 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation. This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, B... |
cena:
166,32 |
 |
Programming Languages: 18th Brazilian Symposium, Sblp 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
ISBN: 9783319118628 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.
This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. Th...
|
cena:
166,32 |
 |
Make Your Own Compiler This Way: Targeting for PIC16 and STM8 MCUs
ISBN: 9781969818288 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,60 |
 |
Python Programming for Beginners 2021: The Best Guide for Beginners to Learn Python Programming
ISBN: 9791280762313 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
168,79 |
 |
Mlir for Machine Learning Compilers: TENSORFLOW, PYTORCH, AND HARDWARE ACCELERATION: Optimize inference and training with dialect design, graph transf
ISBN: 9798272164148 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
168,86 |
 |
Coding: All the Basic Need to Learn Programming Like a Pro. This Book Includes Python, Java, and C ++
ISBN: 9781914045073 / Angielski / Twarda / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
172,88 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
