» książki » Computers - Programming - Compilers
 |
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:
160,99 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
161,03 |
| |
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:
162,95 |
| |
Advanced Game Programming for Intellivision
ISBN: 9781716485633 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
166,46 |
| |
Definitive ANTLR 4 Reference
ISBN: 9781934356999 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on top. This completely rewritten new edition of the bestselling Definitive ANTLR Reference shows you how to take advantage of these new features. Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file... |
cena:
166,90 |
| |
Trends in Functional Programming: 16th International Symposium, Tfp 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ISBN: 9783319391090 / Angielski / Miękka / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2...
|
cena:
169,08 |
| |
Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ISBN: 9783319733043 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming.
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angel...
|
cena:
169,08 |
| |
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ISBN: 9783319425467 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data. This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, ...
|
cena:
169,08 |
| |
C ALS Erste Programmiersprache: Aus Den Standards C11 Und C17
ISBN: 9783658452087 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
| |
Auf Der Fährte Von C#: Einführung Und Referenz
ISBN: 9783540278887 / Niemiecki / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten anderen BA1/4chern zu C# wird dabei aber nicht das Schreiben von Code, sondern das objektorientierte Denken und die Entwicklung eines guten Programmierstils in den Mittelpunkt gestellt. Da der Autor als Zielplattform nicht nur .NET, sondern auch Mono anspricht, und zudem bereits Version 3.0 der Sprache C# und deren Erweiterungen wie beispielsweise LambdaausdrA1/4cke, Erweiterungsmethoden und Linq abdeckt, sind Sie auch fA1/4r die Zukunft gut...
a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten an...
|
cena:
169,28 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
